diff options
| author |   Patrick McLean <chutzpah@gentoo.org> | 2017-09-15 10:43:03 -0700 |
|---|---|---|
| committer | Patrick McLean <chutzpah@gentoo.org> | 2017-09-15 10:43:28 -0700 |
| commit | 95b5122d208ce11bc1482999ea368ff7adb85d5b (patch) | |
| tree | 8eeba6bdc3ace4ff9653471a42cc13cd797dea2e /dev-util/herdtools7 | |
| parent | licenses: Add CeCILL-B license (diff) | |
| download | gentoo-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/Manifest | 1 | ||||
| -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, 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> |