* [gentoo-commits] repo/gentoo:master commit in: dev-util/herdtools7/
@ 2017-09-15 17:45 Patrick McLean
0 siblings, 0 replies; 4+ messages in thread
From: Patrick McLean @ 2017-09-15 17:45 UTC (permalink / raw
To: gentoo-commits
commit: fdbd8bef321b0affd852dfb1cd3d25a96318872d
Author: Patrick McLean <chutzpah <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 15 17:44:38 2017 +0000
Commit: Patrick McLean <chutzpah <AT> gentoo <DOT> org>
CommitDate: Fri Sep 15 17:44:57 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fdbd8bef
dev-util/herdtools7: Make sure to die properly if build fails, update ocaml dep
Package-Manager: Portage-2.3.8, Repoman-2.3.3
dev-util/herdtools7/herdtools7-7.47.ebuild | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/dev-util/herdtools7/herdtools7-7.47.ebuild b/dev-util/herdtools7/herdtools7-7.47.ebuild
index f4e8a84c5b0..fbd02aff8ec 100644
--- a/dev-util/herdtools7/herdtools7-7.47.ebuild
+++ b/dev-util/herdtools7/herdtools7-7.47.ebuild
@@ -15,16 +15,16 @@ KEYWORDS="~amd64 ~x86"
IUSE=""
DEPEND="dev-ml/ocamlbuild"
-RDEPEND=">=dev-lang/ocaml-4.01.0"
+RDEPEND=">=dev-lang/ocaml-4.02.0"
PATCHES=(
"${FILESDIR}/${P}-mkdir.patch"
)
src_compile() {
- ./build.sh /usr
+ ./build.sh /usr || die "Build failed"
}
src_install() {
- ./install.sh "${ED}/usr"
+ ./install.sh "${ED}/usr" || die "Install failed"
}
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-util/herdtools7/
@ 2017-09-15 18:22 Patrick McLean
0 siblings, 0 replies; 4+ messages in thread
From: Patrick McLean @ 2017-09-15 18:22 UTC (permalink / raw
To: gentoo-commits
commit: 638b9f87e8d55c88b3c82ce550349098c27f30f3
Author: Patrick McLean <chutzpah <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 15 18:22:47 2017 +0000
Commit: Patrick McLean <chutzpah <AT> gentoo <DOT> org>
CommitDate: Fri Sep 15 18:22:47 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=638b9f87
dev-util/herdtools7: Fix tarball filename in 7.47 (oops)
Package-Manager: Portage-2.3.8, Repoman-2.3.3
dev-util/herdtools7/Manifest | 2 +-
dev-util/herdtools7/herdtools7-7.47.ebuild | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-util/herdtools7/Manifest b/dev-util/herdtools7/Manifest
index cbd644626b2..554438c17b7 100644
--- a/dev-util/herdtools7/Manifest
+++ b/dev-util/herdtools7/Manifest
@@ -1 +1 @@
-DIST 7.47.tar.gz 763045 SHA256 04703fe1c5f6fab3de7e67e3f6ede4971994bfd758c05823ca3e67748183e83d SHA512 85295815fb725b78e7015f597cdad10c3a52db2e40b179efb314f6750c7e5ec09393fac4038dafe0b7eb3f5db74d10a032384a384adf3c97bf846cb016f5180c WHIRLPOOL ea9340cb18fc4a946586eff9cbe2e7eafa398224a2dddc04326f467b91ee1eb534f8d4c2758c11a58fe93504868e74e8598cb953fac30c6eb1fec5917a976039
+DIST herdtools7-7.47.tar.gz 763045 SHA256 04703fe1c5f6fab3de7e67e3f6ede4971994bfd758c05823ca3e67748183e83d SHA512 85295815fb725b78e7015f597cdad10c3a52db2e40b179efb314f6750c7e5ec09393fac4038dafe0b7eb3f5db74d10a032384a384adf3c97bf846cb016f5180c WHIRLPOOL ea9340cb18fc4a946586eff9cbe2e7eafa398224a2dddc04326f467b91ee1eb534f8d4c2758c11a58fe93504868e74e8598cb953fac30c6eb1fec5917a976039
diff --git a/dev-util/herdtools7/herdtools7-7.47.ebuild b/dev-util/herdtools7/herdtools7-7.47.ebuild
index fbd02aff8ec..b30623969e8 100644
--- a/dev-util/herdtools7/herdtools7-7.47.ebuild
+++ b/dev-util/herdtools7/herdtools7-7.47.ebuild
@@ -7,7 +7,7 @@ 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"
+SRC_URI="https://github.com/herd/herdtools7/archive/${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="CeCILL-B"
SLOT="0"
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-util/herdtools7/
@ 2018-08-03 20:57 Patrick McLean
0 siblings, 0 replies; 4+ messages in thread
From: Patrick McLean @ 2018-08-03 20:57 UTC (permalink / raw
To: gentoo-commits
commit: 449d47052ac7abec73082c344a16394364fa63f8
Author: Patrick McLean <chutzpah <AT> gentoo <DOT> org>
AuthorDate: Fri Aug 3 20:56:00 2018 +0000
Commit: Patrick McLean <chutzpah <AT> gentoo <DOT> org>
CommitDate: Fri Aug 3 20:57:45 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=449d4705
dev-utils/herdtools7: Version bump to 1.51
Package-Manager: Portage-2.3.44, Repoman-2.3.10
dev-util/herdtools7/Manifest | 1 +
dev-util/herdtools7/herdtools7-7.51.ebuild | 26 ++++++++++++++++++++++++++
2 files changed, 27 insertions(+)
diff --git a/dev-util/herdtools7/Manifest b/dev-util/herdtools7/Manifest
index 0394d5bf589..545f1b64cf3 100644
--- a/dev-util/herdtools7/Manifest
+++ b/dev-util/herdtools7/Manifest
@@ -1 +1,2 @@
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/herdtools7-7.51.ebuild b/dev-util/herdtools7/herdtools7-7.51.ebuild
new file mode 100644
index 00000000000..80e9b8f64f1
--- /dev/null
+++ b/dev-util/herdtools7/herdtools7-7.51.ebuild
@@ -0,0 +1,26 @@
+# Copyright 1999-2018 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+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"
+
+src_compile() {
+ ./build.sh /usr || die "Build failed"
+}
+
+src_install() {
+ ./install.sh "${ED}/usr" || die "Install failed"
+}
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-util/herdtools7/
@ 2024-03-12 0:29 Sam James
0 siblings, 0 replies; 4+ messages in thread
From: Sam James @ 2024-03-12 0:29 UTC (permalink / raw
To: gentoo-commits
commit: 2da78e48caab8c62305b61f22818daa14781048c
Author: Eli Schwartz <eschwartz93 <AT> gmail <DOT> com>
AuthorDate: Mon Mar 11 23:42:59 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Mar 12 00:28:40 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2da78e48
dev-util/herdtools7: add github upstream metadata
Signed-off-by: Eli Schwartz <eschwartz93 <AT> gmail.com>
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-util/herdtools7/metadata.xml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/dev-util/herdtools7/metadata.xml b/dev-util/herdtools7/metadata.xml
index bd6443d4a375..07a2cf512972 100644
--- a/dev-util/herdtools7/metadata.xml
+++ b/dev-util/herdtools7/metadata.xml
@@ -5,4 +5,7 @@
<email>chutzpah@gentoo.org</email>
<name>Patrick McLean</name>
</maintainer>
+ <upstream>
+ <remote-id type="github">herd/herdtools7</remote-id>
+ </upstream>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 4+ messages in thread
end of thread, other threads:[~2024-03-12 0:29 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-03-12 0:29 [gentoo-commits] repo/gentoo:master commit in: dev-util/herdtools7/ Sam James
-- strict thread matches above, loose matches on Subject: below --
2018-08-03 20:57 Patrick McLean
2017-09-15 18:22 Patrick McLean
2017-09-15 17:45 Patrick McLean
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox