diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-util/herdtools7 | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-util/herdtools7')
| -rw-r--r-- | dev-util/herdtools7/Manifest | 4 | ||||
| -rw-r--r-- | dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch | 21 | ||||
| -rw-r--r-- | dev-util/herdtools7/herdtools7-7.47.ebuild | 30 | ||||
| -rw-r--r-- | dev-util/herdtools7/metadata.xml | 8 |
4 files changed, 63 insertions, 0 deletions
diff --git a/dev-util/herdtools7/Manifest b/dev-util/herdtools7/Manifest new file mode 100644 index 000000000000..b10741bdb219 --- /dev/null +++ b/dev-util/herdtools7/Manifest @@ -0,0 +1,4 @@ +AUX herdtools7-7.47-mkdir.patch 318 SHA256 5aee359c1a3ac300f2cd6ac3a48a4de8ca052579609738598aa09aaf041fa61a SHA512 de4556ef77eec10e4b9800289d27e27fb306a8801754dd210801c1113bf005bb29a0dc1d9ce9a8bcd2db32fbe589c8b77c4a57cb8ac41bab6932894a35726dcc WHIRLPOOL 76707485cc52e9c8544c7a77a194c8424dc8cee1e6ccdd5bdad8c65143c9b54adb7c3bca351783e23c6069d7a4726176fa7f5639b4e4dd29f42c10025fe62306 +DIST herdtools7-7.47.tar.gz 763045 SHA256 04703fe1c5f6fab3de7e67e3f6ede4971994bfd758c05823ca3e67748183e83d SHA512 85295815fb725b78e7015f597cdad10c3a52db2e40b179efb314f6750c7e5ec09393fac4038dafe0b7eb3f5db74d10a032384a384adf3c97bf846cb016f5180c WHIRLPOOL ea9340cb18fc4a946586eff9cbe2e7eafa398224a2dddc04326f467b91ee1eb534f8d4c2758c11a58fe93504868e74e8598cb953fac30c6eb1fec5917a976039 +EBUILD herdtools7-7.47.ebuild 620 SHA256 7bad5c6471a37b22744a3774cd4325e1cf344821c60ca758411d83627fe55010 SHA512 1241971eb805151c01893df0d385a1a07113039659f014663e6e0e4f6c2af2330ba6b88e1a19b016ef227492ac8e0d2815bc2f96f4afc10bfde7349658e0d8e4 WHIRLPOOL cc5cc281ecc84f2e26fa09043395cbe7767476b71880ba56ed2b0412c85601262102f55f2c091e4e26d493efcd7537e96ba78cac7cb0312cd55e95f3c5329772 +MISC metadata.xml 249 SHA256 3b18a42db7cce5a365b12a200f0aa5d39d4d2c071a848527ca329fe343713ba1 SHA512 ecad16da7f98e9b1cb1882147e6d8b7d541e4839d92fc26f3db1bea69ed633637da9259947b2b78d204a11d0edd3daa84f173613b6dc19110b5406c6fddfa7f0 WHIRLPOOL 78ffa4cbe5b88bd41d13bd30de85ca23af0d1f381eacd8cf63ca65b05ee4211544ba6b4214821aaeb350e6ade8b6c365bd11f716e13637cc8e98104edb86e8a9 diff --git a/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch b/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch new file mode 100644 index 000000000000..5c45f880ea1a --- /dev/null +++ b/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch @@ -0,0 +1,21 @@ +diff --git a/install.sh b/install.sh +index 72f6163..e84c645 100755 +--- a/install.sh ++++ b/install.sh +@@ -17,6 +17,16 @@ fi + BINDIR=$PREFIX/bin + LIBDIR=$PREFIX/share/herdtools7 + ++if ! [ -d $BINDIR ] ++then ++ mkdir -p $BINDIR ++fi ++ ++if ! [ -d $LIBDIR ] ++then ++ mkdir -p $LIBDIR ++fi ++ + cpbin () { + SUB=$1 + EXECS="$2" diff --git a/dev-util/herdtools7/herdtools7-7.47.ebuild b/dev-util/herdtools7/herdtools7-7.47.ebuild new file mode 100644 index 000000000000..b30623969e84 --- /dev/null +++ b/dev-util/herdtools7/herdtools7-7.47.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +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" + +PATCHES=( + "${FILESDIR}/${P}-mkdir.patch" +) + +src_compile() { + ./build.sh /usr || die "Build failed" +} + +src_install() { + ./install.sh "${ED}/usr" || die "Install failed" +} diff --git a/dev-util/herdtools7/metadata.xml b/dev-util/herdtools7/metadata.xml new file mode 100644 index 000000000000..cee379b15409 --- /dev/null +++ b/dev-util/herdtools7/metadata.xml @@ -0,0 +1,8 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <email>chutzpah@gentoo.org</email> + <name>Patrick McLean</name> + </maintainer> +</pkgmetadata> |