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.14.ebuild29
2 files changed, 30 insertions, 0 deletions
diff --git a/dev-ml/mccs/Manifest b/dev-ml/mccs/Manifest
index 15f8de3c4fa9..309a250e3f9b 100644
--- a/dev-ml/mccs/Manifest
+++ b/dev-ml/mccs/Manifest
@@ -1 +1,2 @@
DIST mccs-1.1.13.tar.gz 1024449 BLAKE2B c653c7d0b5fb6f9ea8facd8bfab517d80c7ec8cfd1ca512d81b81760e1d21c6978696af1cac596f0b11014464851c0c32e3bb5c6f70d88ad1bb7ef0034b8ff7d SHA512 2c2bc3c0e82b53a0e20c2542704eba8e3a2a1884f31b1a0a0079dd22fc02be8a8a62e582bdbf501339be0e9d6824872d737087e0fe150073b29b374505de073d
+DIST mccs-1.1.14.tar.gz 1024455 BLAKE2B 60a8170bcef250532f69d78df72906f944b392dc858c6b88e19fab367d71c19a4316c78f1285fbd120fb9212c2a3f15be3c3ec9bc2262aab80bed6b0dcc76cca SHA512 f7a50473efb7823f61dda2753be4887cebc6aa43c1cc9de2596a15b418fbc577ea60d96f66488a1008032f75bbc3b3b090017d5846d5558463bd8ca062270895
diff --git a/dev-ml/mccs/mccs-1.1.14.ebuild b/dev-ml/mccs/mccs-1.1.14.ebuild
new file mode 100644
index 000000000000..85495f2cda7f
--- /dev/null
+++ b/dev-ml/mccs/mccs-1.1.14.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+MY_PV=$(ver_rs 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"
+S="${WORKDIR}"/ocaml-${PN}-$(ver_rs 2 '-')
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
+IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ dev-ml/cudf:=
+ sci-mathematics/glpk:=
+"
+DEPEND="${RDEPEND}
+ test? (
+ dev-ml/extlib:=
+ )
+"