summaryrefslogtreecommitdiff
path: root/dev-util/herdtools7
diff options
context:
space:
mode:
Diffstat (limited to 'dev-util/herdtools7')
-rw-r--r--dev-util/herdtools7/Manifest2
-rw-r--r--dev-util/herdtools7/herdtools7-7.51.ebuild26
2 files changed, 28 insertions, 0 deletions
diff --git a/dev-util/herdtools7/Manifest b/dev-util/herdtools7/Manifest
index 49dbef2dd5d3..d8002ca6dcf5 100644
--- a/dev-util/herdtools7/Manifest
+++ b/dev-util/herdtools7/Manifest
@@ -1,4 +1,6 @@
AUX herdtools7-7.47-mkdir.patch 318 BLAKE2B ae22c24b4d9c4ea6ecb7b862ca73df1f5ed09a53bff1bb1e2e520131dad92e0f98c1fbbfef159ffe23670d019f90b7af7482a9f594eff86b64dc8ef237fc3350 SHA512 de4556ef77eec10e4b9800289d27e27fb306a8801754dd210801c1113bf005bb29a0dc1d9ce9a8bcd2db32fbe589c8b77c4a57cb8ac41bab6932894a35726dcc
DIST herdtools7-7.47.tar.gz 763045 BLAKE2B 983411c9c383fabba70598a5b6891f8c1cbc6ff803c2c5b855834cc17f560085e4db03adc193e8f132568f2468164ba84563b8cfae539c27e6877582a0e374b5 SHA512 85295815fb725b78e7015f597cdad10c3a52db2e40b179efb314f6750c7e5ec09393fac4038dafe0b7eb3f5db74d10a032384a384adf3c97bf846cb016f5180c
+DIST herdtools7-7.51.tar.gz 803546 BLAKE2B 17a6c4cbb8fc1034ddb0ec3eb4438181142943634157d0f20c752ee5e04f4dc30d2512b9a7a2df22517b9182986795e4e1a6992a9aa44e35a4cdd877ee1d91c3 SHA512 35edc4360ec97a7c26fbd6c0e5e02e9032a54cdaf20d7cdab32ea28d69b08991404fb601ee73fe8bff79126335dc83b6d7a4204964eedf39a6a6776bc2a9bc6d
EBUILD herdtools7-7.47.ebuild 620 BLAKE2B 7a90ac83d7aa7eb9f2d944807751d73af6e9ab23282202c6e85a6df91d2e84be26d2797f8f91714393ce769876739331d29f65b233035a63818311996e71ed5e SHA512 1241971eb805151c01893df0d385a1a07113039659f014663e6e0e4f6c2af2330ba6b88e1a19b016ef227492ac8e0d2815bc2f96f4afc10bfde7349658e0d8e4
+EBUILD herdtools7-7.51.ebuild 575 BLAKE2B b234695daeb1dd16dd4fa87969f232f078a4c6813e88e37d3c695de59ac719796088125dae7e0c98ca046d1c9078fcead5e88d16f2ca4f3f3200de6465ba0746 SHA512 3cf644c29f29d17d743049f968b8315255d42520ce9b3a77dc3ec84ce80752a58a47137119d18105317cbf91a35dda5592e12f4dadef36372e54ff4e51085ee5
MISC metadata.xml 249 BLAKE2B 9e4529cdac0a55f14c36fde3fa54e30645a61a73d58e83ce460edf84d729bb3cd4cdc3e52d588690945508bc7d253b1edfb7734ebee94a88b75fee249a043c84 SHA512 ecad16da7f98e9b1cb1882147e6d8b7d541e4839d92fc26f3db1bea69ed633637da9259947b2b78d204a11d0edd3daa84f173613b6dc19110b5406c6fddfa7f0
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"
+}