diff options
Diffstat (limited to 'dev-util/herdtools7')
| -rw-r--r-- | dev-util/herdtools7/Manifest | 2 | ||||
| -rw-r--r-- | dev-util/herdtools7/herdtools7-7.51.ebuild | 26 |
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" +} |