commit: 95b5122d208ce11bc1482999ea368ff7adb85d5b
Author: Patrick McLean <chutzpah <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 15 17:43:03 2017 +0000
Commit: Patrick McLean <chutzpah <AT> gentoo <DOT> org>
CommitDate: Fri Sep 15 17:43:28 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=95b5122d
dev-util/herdtools7: New package, the Herd toolsuite to deal with .cat memory
models
Package-Manager: Portage-2.3.8, Repoman-2.3.3
dev-util/herdtools7/Manifest | 1 +
.../herdtools7/files/herdtools7-7.47-mkdir.patch | 21 +++++++++++++++
dev-util/herdtools7/herdtools7-7.47.ebuild | 30 ++++++++++++++++++++++
dev-util/herdtools7/metadata.xml | 8 ++++++
4 files changed, 60 insertions(+)
diff --git a/dev-util/herdtools7/Manifest b/dev-util/herdtools7/Manifest
new file mode 100644
index 00000000000..cbd644626b2
--- /dev/null
+++ b/dev-util/herdtools7/Manifest
@@ -0,0 +1 @@
+DIST 7.47.tar.gz 763045 SHA256
04703fe1c5f6fab3de7e67e3f6ede4971994bfd758c05823ca3e67748183e83d SHA512
85295815fb725b78e7015f597cdad10c3a52db2e40b179efb314f6750c7e5ec09393fac4038dafe0b7eb3f5db74d10a032384a384adf3c97bf846cb016f5180c
WHIRLPOOL
ea9340cb18fc4a946586eff9cbe2e7eafa398224a2dddc04326f467b91ee1eb534f8d4c2758c11a58fe93504868e74e8598cb953fac30c6eb1fec5917a976039
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 00000000000..5c45f880ea1
--- /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 00000000000..f4e8a84c5b0
--- /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";
+
+LICENSE="CeCILL-B"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+DEPEND="dev-ml/ocamlbuild"
+RDEPEND=">=dev-lang/ocaml-4.01.0"
+
+PATCHES=(
+ "${FILESDIR}/${P}-mkdir.patch"
+)
+
+src_compile() {
+ ./build.sh /usr
+}
+
+src_install() {
+ ./install.sh "${ED}/usr"
+}
diff --git a/dev-util/herdtools7/metadata.xml b/dev-util/herdtools7/metadata.xml
new file mode 100644
index 00000000000..cee379b1540
--- /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>[email protected]</email>
+ <name>Patrick McLean</name>
+ </maintainer>
+</pkgmetadata>
