diff options
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, 0 insertions, 63 deletions
diff --git a/dev-util/herdtools7/Manifest b/dev-util/herdtools7/Manifest deleted file mode 100644 index 49dbef2dd5d3..000000000000 --- a/dev-util/herdtools7/Manifest +++ /dev/null @@ -1,4 +0,0 @@ -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 deleted file mode 100644 index 5c45f880ea1a..000000000000 --- a/dev-util/herdtools7/files/herdtools7-7.47-mkdir.patch +++ /dev/null @@ -1,21 +0,0 @@ -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 deleted file mode 100644 index b30623969e84..000000000000 --- a/dev-util/herdtools7/herdtools7-7.47.ebuild +++ /dev/null @@ -1,30 +0,0 @@ -# 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 deleted file mode 100644 index cee379b15409..000000000000 --- a/dev-util/herdtools7/metadata.xml +++ /dev/null @@ -1,8 +0,0 @@ -<?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> |