1 |
commit: 5920fe2a95ab2797eba5dae7c9f1e660c8b37f65 |
2 |
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org> |
3 |
AuthorDate: Mon Mar 28 07:12:35 2016 +0000 |
4 |
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org> |
5 |
CommitDate: Mon Mar 28 07:12:35 2016 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5920fe2a |
7 |
|
8 |
dev-ml/facile: bump to 1.1.2 |
9 |
|
10 |
Package-Manager: portage-2.2.28 |
11 |
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org> |
12 |
|
13 |
dev-ml/facile/Manifest | 1 + |
14 |
dev-ml/facile/facile-1.1.2.ebuild | 51 +++++++++++++++++++++++++++++++++++++++ |
15 |
2 files changed, 52 insertions(+) |
16 |
|
17 |
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest |
18 |
index b383fe3..4d913b5 100644 |
19 |
--- a/dev-ml/facile/Manifest |
20 |
+++ b/dev-ml/facile/Manifest |
21 |
@@ -1,2 +1,3 @@ |
22 |
DIST facile-1.1.1.tar.gz 99454 SHA256 150a6c269277ce14e9c953dbcf409bfedc795abc1558ac6e338609b1e64fa38c SHA512 2e14c65f9c8d0d7363a2c7bd117ebc52fe1949e6e364e0e8d33b25880d3a505bc92b7d26f33d6b7deed09dc6d8eaeb0274d69dbb5fdb2d217bbd9eafb5efc2ae WHIRLPOOL cd08ccc78466b0d858fa6645805226d8d19f021a1bf0f52743fa99ee73f833774c1b240c77780c104380ec45ef076a2d85847f2fc13d6e3816cbd7b1b5f71b6a |
23 |
+DIST facile-1.1.2.tar.gz 99755 SHA256 ea8b72d1d171fb44c0c6dafbddac0ccb0a453a7caafd1852919d4f805eded367 SHA512 12c086a9e1d7b2d76c36fa3d7b519da24199bb958b56050d5635cd6eb0288b6d98845b4ade74e22127b2abd405f359b0a33cfd776042187f3ab506ad656676df WHIRLPOOL d643b8b7151fa262542f6408acda23b6a29466b48fc288ea9efc8b024c418e95ca50ef005a09c61f6030faddbff6d2f013b1ffddd4544291f8387b29303a0a32 |
24 |
DIST facile-1.1.tar.gz 96343 SHA256 a87a6ba7869104f85828c19a9681758bd1d01c816581ba09ac483739ad4ae5ca SHA512 5048daa30bc0de47465f3978cc9079e29407e35f03a3e0d6656b61838e750f62370562e26b5377d30afa478974f19e962a4a3b5a4f8fbd6661bf6f6485d90565 WHIRLPOOL a3aa0b50e51042fcdb90dffb62da483730738c1ed48eadcc1a329cc2f6529a985f50efe157231cc566ca909194468fb505ced2d653f71c3c39fd85a32e2d4558 |
25 |
|
26 |
diff --git a/dev-ml/facile/facile-1.1.2.ebuild b/dev-ml/facile/facile-1.1.2.ebuild |
27 |
new file mode 100644 |
28 |
index 0000000..62aba48 |
29 |
--- /dev/null |
30 |
+++ b/dev-ml/facile/facile-1.1.2.ebuild |
31 |
@@ -0,0 +1,51 @@ |
32 |
+# Copyright 1999-2014 Gentoo Foundation |
33 |
+# Distributed under the terms of the GNU General Public License v2 |
34 |
+# $Id$ |
35 |
+ |
36 |
+EAPI=5 |
37 |
+ |
38 |
+inherit eutils |
39 |
+ |
40 |
+DESCRIPTION="A constraint programming library on integer and integer set finite domains written in OCaml" |
41 |
+HOMEPAGE="http://www.recherche.enac.fr/log/facile/" |
42 |
+SRC_URI="http://www.recherche.enac.fr/log/facile/distrib/${P}.tar.gz" |
43 |
+ |
44 |
+LICENSE="LGPL-2.1" |
45 |
+SLOT="0/${PV}" |
46 |
+ |
47 |
+KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86 ~x86-fbsd" |
48 |
+IUSE="+ocamlopt" |
49 |
+ |
50 |
+RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]" |
51 |
+DEPEND="${RDEPEND} |
52 |
+ sys-apps/sed" |
53 |
+ |
54 |
+src_prepare() { |
55 |
+ # Fix building on FreeBSD |
56 |
+ epatch "${FILESDIR}/${PN}"-1.1-make.patch |
57 |
+ # Disable building native code objects if we dont have/want ocamlopt |
58 |
+ if ! use ocamlopt; then |
59 |
+ sed -i -e 's/\.opt//' src/Makefile || die "failed to change native code compiler to bytecode ones" |
60 |
+ sed -i -e 's/ facile\.cmxa//' src/Makefile || die "failed to remove native code objects" |
61 |
+ sed -i -e 's/\.opt/.out/g' \ |
62 |
+ -e 's: src/facile\.cmxa::'\ |
63 |
+ -e 's: src/facile\.a::'\ |
64 |
+ -e 's:^.*facile\.cmxa::'\ |
65 |
+ -e 's:^.*facile\.a::' Makefile || die "failed to remove native code objects" |
66 |
+ fi |
67 |
+} |
68 |
+ |
69 |
+src_configure(){ |
70 |
+ # This is a custom configure script and it does not support standard options |
71 |
+ ./configure --faciledir "${D}"$(ocamlc -where)/facile/ || die |
72 |
+} |
73 |
+ |
74 |
+src_test() { |
75 |
+ emake check |
76 |
+} |
77 |
+ |
78 |
+src_install(){ |
79 |
+ dodir $(ocamlc -where) |
80 |
+ emake install |
81 |
+ dodoc README |
82 |
+} |