1 |
commit: 449d47052ac7abec73082c344a16394364fa63f8 |
2 |
Author: Patrick McLean <chutzpah <AT> gentoo <DOT> org> |
3 |
AuthorDate: Fri Aug 3 20:56:00 2018 +0000 |
4 |
Commit: Patrick McLean <chutzpah <AT> gentoo <DOT> org> |
5 |
CommitDate: Fri Aug 3 20:57:45 2018 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=449d4705 |
7 |
|
8 |
dev-utils/herdtools7: Version bump to 1.51 |
9 |
|
10 |
Package-Manager: Portage-2.3.44, Repoman-2.3.10 |
11 |
|
12 |
dev-util/herdtools7/Manifest | 1 + |
13 |
dev-util/herdtools7/herdtools7-7.51.ebuild | 26 ++++++++++++++++++++++++++ |
14 |
2 files changed, 27 insertions(+) |
15 |
|
16 |
diff --git a/dev-util/herdtools7/Manifest b/dev-util/herdtools7/Manifest |
17 |
index 0394d5bf589..545f1b64cf3 100644 |
18 |
--- a/dev-util/herdtools7/Manifest |
19 |
+++ b/dev-util/herdtools7/Manifest |
20 |
@@ -1 +1,2 @@ |
21 |
DIST herdtools7-7.47.tar.gz 763045 BLAKE2B 983411c9c383fabba70598a5b6891f8c1cbc6ff803c2c5b855834cc17f560085e4db03adc193e8f132568f2468164ba84563b8cfae539c27e6877582a0e374b5 SHA512 85295815fb725b78e7015f597cdad10c3a52db2e40b179efb314f6750c7e5ec09393fac4038dafe0b7eb3f5db74d10a032384a384adf3c97bf846cb016f5180c |
22 |
+DIST herdtools7-7.51.tar.gz 803546 BLAKE2B 17a6c4cbb8fc1034ddb0ec3eb4438181142943634157d0f20c752ee5e04f4dc30d2512b9a7a2df22517b9182986795e4e1a6992a9aa44e35a4cdd877ee1d91c3 SHA512 35edc4360ec97a7c26fbd6c0e5e02e9032a54cdaf20d7cdab32ea28d69b08991404fb601ee73fe8bff79126335dc83b6d7a4204964eedf39a6a6776bc2a9bc6d |
23 |
|
24 |
diff --git a/dev-util/herdtools7/herdtools7-7.51.ebuild b/dev-util/herdtools7/herdtools7-7.51.ebuild |
25 |
new file mode 100644 |
26 |
index 00000000000..80e9b8f64f1 |
27 |
--- /dev/null |
28 |
+++ b/dev-util/herdtools7/herdtools7-7.51.ebuild |
29 |
@@ -0,0 +1,26 @@ |
30 |
+# Copyright 1999-2018 Gentoo Foundation |
31 |
+# Distributed under the terms of the GNU General Public License v2 |
32 |
+ |
33 |
+EAPI=7 |
34 |
+ |
35 |
+inherit opam |
36 |
+ |
37 |
+DESCRIPTION="The Herd toolsuite to deal with .cat memory models" |
38 |
+HOMEPAGE="http://diy.inria.fr/sources/index.html" |
39 |
+SRC_URI="https://github.com/herd/herdtools7/archive/${PV}.tar.gz -> ${P}.tar.gz" |
40 |
+ |
41 |
+LICENSE="CeCILL-B" |
42 |
+SLOT="0" |
43 |
+KEYWORDS="~amd64 ~x86" |
44 |
+IUSE="" |
45 |
+ |
46 |
+DEPEND="dev-ml/ocamlbuild" |
47 |
+RDEPEND=">=dev-lang/ocaml-4.02.0" |
48 |
+ |
49 |
+src_compile() { |
50 |
+ ./build.sh /usr || die "Build failed" |
51 |
+} |
52 |
+ |
53 |
+src_install() { |
54 |
+ ./install.sh "${ED}/usr" || die "Install failed" |
55 |
+} |