summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-08-26 19:50:20 +0200
committerAlexis Ballier <aballier@gentoo.org>2017-08-26 20:34:01 +0200
commit69cf2321446c95170077aa8e914817419e236b5d (patch)
tree8cfa3878a41c25ebb95c2a0c42f79993279c6dd6 /dev-ml/mccs
parentx11-misc/ipager: EAPI 6 bump (diff)
downloadgentoo-69cf2321446c95170077aa8e914817419e236b5d.tar.gz
gentoo-69cf2321446c95170077aa8e914817419e236b5d.tar.bz2
gentoo-69cf2321446c95170077aa8e914817419e236b5d.zip
dev-ml/mccs: initial import
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'dev-ml/mccs')
-rw-r--r--dev-ml/mccs/Manifest1
-rw-r--r--dev-ml/mccs/mccs-1.1.2c.ebuild30
-rw-r--r--dev-ml/mccs/metadata.xml11
3 files changed, 42 insertions, 0 deletions
diff --git a/dev-ml/mccs/Manifest b/dev-ml/mccs/Manifest
new file mode 100644
index 000000000000..03cf3fbb95e1
--- /dev/null
+++ b/dev-ml/mccs/Manifest
@@ -0,0 +1 @@
+DIST mccs-1.1.2c.tar.gz 54497 SHA256 b54fd68ae50f02c83516412a5733836d11d12838e97ece2f895e663cb5a40b23 SHA512 53a96aab7abe02cc77ec35341f4e1ca3c5896fb13f7dc36902a014bfba29d50dfebe0457178abcc12dc065aa1e98b8175c2128fc9a799fd696d6ce9348b2281b WHIRLPOOL 005c946bb01c11084e2387c464375fd942803675679d8fa632a01b408ac6ab98b4e8fd35239e6c21de6a5d8536ab9144c6a7dd7515a772c40c087a01c3a9bd1c
diff --git a/dev-ml/mccs/mccs-1.1.2c.ebuild b/dev-ml/mccs/mccs-1.1.2c.ebuild
new file mode 100644
index 000000000000..3451a9f9423a
--- /dev/null
+++ b/dev-ml/mccs/mccs-1.1.2c.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit versionator opam
+
+MY_PV=$(replace_version_separator 2 '+')
+
+DESCRIPTION="Multi Criteria CUDF Solver"
+HOMEPAGE="http://www.i3s.unice.fr/~cpjm/misc/ https://github.com/AltGr/ocaml-mccs/issues"
+SRC_URI="https://github.com/AltGr/ocaml-mccs/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+ dev-ml/cudf:=
+ sci-mathematics/glpk:=
+"
+DEPEND="${RDEPEND}
+ dev-ml/jbuilder"
+
+S=${WORKDIR}/ocaml-${PN}-$(replace_version_separator 2 '-')
+
+src_compile() {
+ jbuilder build -p ${PN} || die
+}
diff --git a/dev-ml/mccs/metadata.xml b/dev-ml/mccs/metadata.xml
new file mode 100644
index 000000000000..0ba4139391c5
--- /dev/null
+++ b/dev-ml/mccs/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+</maintainer>
+ <upstream>
+ <remote-id type="github">AltGr/ocaml-mccs</remote-id>
+ </upstream>
+</pkgmetadata>