gentoo auto-resync : 24:07:2022 - 14:53:22

3 files changed, 0 insertions, 54 deletions

diff --git a/dev-util/herdtools7/Manifest b/dev-util/herdtools7/Manifest
index 6b99bf8019d1..78c9737dbf26 100644
--- a/dev-util/herdtools7/Manifest
+++ b/dev-util/herdtools7/Manifest
@@ -1,6 +1,3 @@
-AUX herdtools7-7.47-mkdir.patch 318 BLAKE2B ae22c24b4d9c4ea6ecb7b862ca73df1f5ed09a53bff1bb1e2e520131dad92e0f98c1fbbfef159ffe23670d019f90b7af7482a9f594eff86b64dc8ef237fc3350 SHA512 de4556ef77eec10e4b9800289d27e27fb306a8801754dd210801c1113bf005bb29a0dc1d9ce9a8bcd2db32fbe589c8b77c4a57cb8ac41bab6932894a35726dcc
-DIST herdtools7-7.47.tar.gz 763045 BLAKE2B 983411c9c383fabba70598a5b6891f8c1cbc6ff803c2c5b855834cc17f560085e4db03adc193e8f132568f2468164ba84563b8cfae539c27e6877582a0e374b5 SHA512 85295815fb725b78e7015f597cdad10c3a52db2e40b179efb314f6750c7e5ec09393fac4038dafe0b7eb3f5db74d10a032384a384adf3c97bf846cb016f5180c
 DIST herdtools7-7.51.tar.gz 803546 BLAKE2B 17a6c4cbb8fc1034ddb0ec3eb4438181142943634157d0f20c752ee5e04f4dc30d2512b9a7a2df22517b9182986795e4e1a6992a9aa44e35a4cdd877ee1d91c3 SHA512 35edc4360ec97a7c26fbd6c0e5e02e9032a54cdaf20d7cdab32ea28d69b08991404fb601ee73fe8bff79126335dc83b6d7a4204964eedf39a6a6776bc2a9bc6d
-EBUILD herdtools7-7.47.ebuild 620 BLAKE2B 7a90ac83d7aa7eb9f2d944807751d73af6e9ab23282202c6e85a6df91d2e84be26d2797f8f91714393ce769876739331d29f65b233035a63818311996e71ed5e SHA512 1241971eb805151c01893df0d385a1a07113039659f014663e6e0e4f6c2af2330ba6b88e1a19b016ef227492ac8e0d2815bc2f96f4afc10bfde7349658e0d8e4
 EBUILD herdtools7-7.51.ebuild 575 BLAKE2B b234695daeb1dd16dd4fa87969f232f078a4c6813e88e37d3c695de59ac719796088125dae7e0c98ca046d1c9078fcead5e88d16f2ca4f3f3200de6465ba0746 SHA512 3cf644c29f29d17d743049f968b8315255d42520ce9b3a77dc3ec84ce80752a58a47137119d18105317cbf91a35dda5592e12f4dadef36372e54ff4e51085ee5
 MISC metadata.xml 250 BLAKE2B 0b272f56e53b7d76c6d5c253fbe5d7c4c9a1d7b58c21e2f59b8323a5f5cd2791c64651fdfa243a8f560ac9c0a0ff38fcffdc24290fa6d18100da0cadffc19845 SHA512 076f0dbffbab6987cfab48a5ff3631789190c570c35515cc77de5757760f19a8ad615f642e7d61b12344ffc77c599e6ff8b79b67329e69929fdd19a7c80723ff
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"
-}