diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-08-04 08:53:53 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-08-04 08:53:53 +0100 |
commit | e3872864be25f7421015bef2732fa57c0c9fb726 (patch) | |
tree | 9cb29a544215119b5c5538e37211b994ce1c87ae /dev-util/herdtools7/herdtools7-7.51.ebuild | |
parent | 480486b52ea64765faf696c88b2c6a26a5a454d4 (diff) |
gentoo resync : 04.08.2018
Diffstat (limited to 'dev-util/herdtools7/herdtools7-7.51.ebuild')
-rw-r--r-- | dev-util/herdtools7/herdtools7-7.51.ebuild | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/dev-util/herdtools7/herdtools7-7.51.ebuild b/dev-util/herdtools7/herdtools7-7.51.ebuild new file mode 100644 index 000000000000..80e9b8f64f1b --- /dev/null +++ b/dev-util/herdtools7/herdtools7-7.51.ebuild @@ -0,0 +1,26 @@ +# Copyright 1999-2018 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit opam + +DESCRIPTION="The Herd toolsuite to deal with .cat memory models" +HOMEPAGE="http://diy.inria.fr/sources/index.html" +SRC_URI="https://github.com/herd/herdtools7/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="CeCILL-B" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="" + +DEPEND="dev-ml/ocamlbuild" +RDEPEND=">=dev-lang/ocaml-4.02.0" + +src_compile() { + ./build.sh /usr || die "Build failed" +} + +src_install() { + ./install.sh "${ED}/usr" || die "Install failed" +} |