summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPatrick McLean <chutzpah@gentoo.org>2017-09-15 10:43:03 -0700
committerPatrick McLean <chutzpah@gentoo.org>2017-09-15 10:43:28 -0700
commit95b5122d208ce11bc1482999ea368ff7adb85d5b (patch)
tree8eeba6bdc3ace4ff9653471a42cc13cd797dea2e /dev-util/herdtools7
parentlicenses: Add CeCILL-B license (diff)
downloadgentoo-95b5122d208ce11bc1482999ea368ff7adb85d5b.tar.gz
gentoo-95b5122d208ce11bc1482999ea368ff7adb85d5b.tar.bz2
gentoo-95b5122d208ce11bc1482999ea368ff7adb85d5b.zip
dev-util/herdtools7: New package, the Herd toolsuite to deal with .cat memory models
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'dev-util/herdtools7')
-rw-r--r--dev-util/herdtools7/Manifest1
-rw-r--r--dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch21
-rw-r--r--dev-util/herdtools7/herdtools7-7.47.ebuild30
-rw-r--r--dev-util/herdtools7/metadata.xml8
4 files changed, 60 insertions, 0 deletions
diff --git a/dev-util/herdtools7/Manifest b/dev-util/herdtools7/Manifest
new file mode 100644
index 000000000000..cbd644626b23
--- /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 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..f4e8a84c5b07
--- /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 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>