diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
| commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
| tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-util/herdtools7 | |
| parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) | |
gentoo resync : 14.07.2018
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..49dbef2dd5d3 --- /dev/null +++ b/dev-util/herdtools7/Manifest @@ -0,0 +1,4 @@ +AUX herdtools7-7.47-mkdir.patch 318 BLAKE2B ae22c24b4d9c4ea6ecb7b862ca73df1f5ed09a53bff1bb1e2e520131dad92e0f98c1fbbfef159ffe23670d019f90b7af7482a9f594eff86b64dc8ef237fc3350 SHA512 de4556ef77eec10e4b9800289d27e27fb306a8801754dd210801c1113bf005bb29a0dc1d9ce9a8bcd2db32fbe589c8b77c4a57cb8ac41bab6932894a35726dcc +DIST herdtools7-7.47.tar.gz 763045 BLAKE2B 983411c9c383fabba70598a5b6891f8c1cbc6ff803c2c5b855834cc17f560085e4db03adc193e8f132568f2468164ba84563b8cfae539c27e6877582a0e374b5 SHA512 85295815fb725b78e7015f597cdad10c3a52db2e40b179efb314f6750c7e5ec09393fac4038dafe0b7eb3f5db74d10a032384a384adf3c97bf846cb016f5180c +EBUILD herdtools7-7.47.ebuild 620 BLAKE2B 7a90ac83d7aa7eb9f2d944807751d73af6e9ab23282202c6e85a6df91d2e84be26d2797f8f91714393ce769876739331d29f65b233035a63818311996e71ed5e SHA512 1241971eb805151c01893df0d385a1a07113039659f014663e6e0e4f6c2af2330ba6b88e1a19b016ef227492ac8e0d2815bc2f96f4afc10bfde7349658e0d8e4 +MISC metadata.xml 249 BLAKE2B 9e4529cdac0a55f14c36fde3fa54e30645a61a73d58e83ce460edf84d729bb3cd4cdc3e52d588690945508bc7d253b1edfb7734ebee94a88b75fee249a043c84 SHA512 ecad16da7f98e9b1cb1882147e6d8b7d541e4839d92fc26f3db1bea69ed633637da9259947b2b78d204a11d0edd3daa84f173613b6dc19110b5406c6fddfa7f0 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> |