diff options
| author |   David Seifert <soap@gentoo.org> | 2022-07-24 13:28:14 +0200 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2022-07-24 13:28:14 +0200 |
| commit | 8ddc10fda1d075c2b0d49d20f89debf92a9daf34 (patch) | |
| tree | ee80d38292f33e6b448aae10a794b3f5c148be40 /dev-util/herdtools7 | |
| parent | dev-ml/rresult: drop 0.5.0 (diff) | |
| download | gentoo-8ddc10fda1d075c2b0d49d20f89debf92a9daf34.tar.gz gentoo-8ddc10fda1d075c2b0d49d20f89debf92a9daf34.tar.bz2 gentoo-8ddc10fda1d075c2b0d49d20f89debf92a9daf34.zip | |
dev-util/herdtools7: drop 7.47
Signed-off-by: David Seifert <soap@gentoo.org>
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 |
3 files changed, 0 insertions, 52 deletions
diff --git a/dev-util/herdtools7/Manifest b/dev-util/herdtools7/Manifest index 545f1b64cf38..fecb3c610f43 100644 --- a/dev-util/herdtools7/Manifest +++ b/dev-util/herdtools7/Manifest @@ -1,2 +1 @@ -DIST herdtools7-7.47.tar.gz 763045 BLAKE2B 983411c9c383fabba70598a5b6891f8c1cbc6ff803c2c5b855834cc17f560085e4db03adc193e8f132568f2468164ba84563b8cfae539c27e6877582a0e374b5 SHA512 85295815fb725b78e7015f597cdad10c3a52db2e40b179efb314f6750c7e5ec09393fac4038dafe0b7eb3f5db74d10a032384a384adf3c97bf846cb016f5180c DIST herdtools7-7.51.tar.gz 803546 BLAKE2B 17a6c4cbb8fc1034ddb0ec3eb4438181142943634157d0f20c752ee5e04f4dc30d2512b9a7a2df22517b9182986795e4e1a6992a9aa44e35a4cdd877ee1d91c3 SHA512 35edc4360ec97a7c26fbd6c0e5e02e9032a54cdaf20d7cdab32ea28d69b08991404fb601ee73fe8bff79126335dc83b6d7a4204964eedf39a6a6776bc2a9bc6d 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" -} |