diff options
| author |   Mark Wright <gienah@gentoo.org> | 2020-10-13 16:50:30 +1100 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2020-10-13 23:53:28 +1100 |
| commit | 9aa0111f86d460408b259cf971afca19c5d25921 (patch) | |
| tree | 764f5a69c81c85b48edc8822b6d329e7df95f295 /dev-ml/mccs | |
| parent | dev-ml/lwt: Bump to 5.3.0 (diff) | |
| download | gentoo-9aa0111f86d460408b259cf971afca19c5d25921.tar.gz gentoo-9aa0111f86d460408b259cf971afca19c5d25921.tar.bz2 gentoo-9aa0111f86d460408b259cf971afca19c5d25921.zip | |
dev-ml/mccs: Dependency of dev-ml/opam-solver
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Mark Wright <gienah@gentoo.org>
Diffstat (limited to 'dev-ml/mccs')
| -rw-r--r-- | dev-ml/mccs/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/mccs/mccs-1.1.11.ebuild | 29 | ||||
| -rw-r--r-- | dev-ml/mccs/metadata.xml | 11 |
3 files changed, 41 insertions, 0 deletions
diff --git a/dev-ml/mccs/Manifest b/dev-ml/mccs/Manifest new file mode 100644 index 000000000000..191a387e9903 --- /dev/null +++ b/dev-ml/mccs/Manifest @@ -0,0 +1 @@ +DIST mccs-1.1.11.tar.gz 1008163 BLAKE2B 49f173b99baa1acfd96f8ef873b664ba61dc9a770ad62873f956f017e3940737be74f5d5392d4043c9ade3e74e09d9c6b11c47af7755558b25f1f62e6ab80d84 SHA512 095393ca63fb591a833a7a37117a80a2e817b437bbcd655301b376f749a3756c8aff26b2fcdebfc5f68b9c30d8971a7ba057f610117516e3e85a3fe7bd3906d0 diff --git a/dev-ml/mccs/mccs-1.1.11.ebuild b/dev-ml/mccs/mccs-1.1.11.ebuild new file mode 100644 index 000000000000..d3f8dab35e06 --- /dev/null +++ b/dev-ml/mccs/mccs-1.1.11.ebuild @@ -0,0 +1,29 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +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" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~x86" +IUSE="+ocamlopt test" + +RDEPEND=" + dev-ml/cudf:= + sci-mathematics/glpk:= +" +DEPEND="${RDEPEND} + test? ( + dev-ml/extlib:= + ) +" + +S=${WORKDIR}/ocaml-${PN}-$(ver_rs 2 '-') diff --git a/dev-ml/mccs/metadata.xml b/dev-ml/mccs/metadata.xml new file mode 100644 index 000000000000..cb477b7c6e26 --- /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="person"> + <email>gienah@gentoo.org</email> + <name>Mark Wright</name> + </maintainer> + <upstream> + <remote-id type="github">AltGr/ocaml-mccs</remote-id> + </upstream> +</pkgmetadata> |