summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml')
-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>