1 |
commit: b418632d46c6b67f90e56eae45fa41e86da2ae4d |
2 |
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
3 |
AuthorDate: Mon Jan 30 20:35:27 2023 +0000 |
4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
5 |
CommitDate: Mon Jan 30 20:37:06 2023 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b418632d |
7 |
|
8 |
dev-ml/facile: add 1.1.4 |
9 |
|
10 |
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> |
11 |
|
12 |
dev-ml/facile/Manifest | 1 + |
13 |
dev-ml/facile/facile-1.1.4.ebuild | 21 +++++++++++++++ |
14 |
dev-ml/facile/files/facile-1.1.4-dune.patch | 42 +++++++++++++++++++++++++++++ |
15 |
3 files changed, 64 insertions(+) |
16 |
|
17 |
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest |
18 |
index 65406b20bc00..8d6cbde9bf91 100644 |
19 |
--- a/dev-ml/facile/Manifest |
20 |
+++ b/dev-ml/facile/Manifest |
21 |
@@ -1 +1,2 @@ |
22 |
DIST facile-1.1.3.tar.gz 99656 BLAKE2B 19d81c48c39b96083628cc40eb9aca7e8ad7dea4ae81c884bfb22daa56135ac411698d57b68f3112829a1fc53d29612627809901c6e30eb4672776508eee57b2 SHA512 78d315188e661245eb7306b645e9baaca94db0b9511112b57dbc8597bf2f75cab5604c8f4cf850209464e802c636f592552c8b492730cb28896d2acd7f413346 |
23 |
+DIST facile-1.1.4.tbz 83874 BLAKE2B a0921615425124b6f1ba51a939bd4c89bcab71a0341e5b866f2c44d89863c077c42f269fcee2a8e302c580ce618c4e765f826fd9c4855f9e992c35cbdc8660db SHA512 b4484275ebf7f0bd271d865c6745bd1784e2260060470f64f86a18833a9663efbf56b089ae668c51f57bc8473281af4e92d461b87eefb2c62162fa7da60838f9 |
24 |
|
25 |
diff --git a/dev-ml/facile/facile-1.1.4.ebuild b/dev-ml/facile/facile-1.1.4.ebuild |
26 |
new file mode 100644 |
27 |
index 000000000000..d3e4a42f5a4d |
28 |
--- /dev/null |
29 |
+++ b/dev-ml/facile/facile-1.1.4.ebuild |
30 |
@@ -0,0 +1,21 @@ |
31 |
+# Copyright 1999-2023 Gentoo Authors |
32 |
+# Distributed under the terms of the GNU General Public License v2 |
33 |
+ |
34 |
+EAPI=8 |
35 |
+ |
36 |
+inherit dune |
37 |
+ |
38 |
+DESCRIPTION="OCaml constraint programming library on integer & integer set finite domains" |
39 |
+HOMEPAGE="http://opti.recherche.enac.fr/" |
40 |
+SRC_URI="https://github.com/Emmanuel-PLF/${PN}/releases/download/${PV}/${P}.tbz" |
41 |
+ |
42 |
+LICENSE="LGPL-2.1" |
43 |
+SLOT="0/${PV}" |
44 |
+ |
45 |
+KEYWORDS="~alpha ~amd64 ~arm64 ~ppc ~ppc64 ~x86" |
46 |
+IUSE="+ocamlopt" |
47 |
+ |
48 |
+RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]" |
49 |
+DEPEND="${RDEPEND}" |
50 |
+ |
51 |
+PATCHES=( "${FILESDIR}"/${P}-dune.patch ) |
52 |
|
53 |
diff --git a/dev-ml/facile/files/facile-1.1.4-dune.patch b/dev-ml/facile/files/facile-1.1.4-dune.patch |
54 |
new file mode 100644 |
55 |
index 000000000000..f9c667cabb1d |
56 |
--- /dev/null |
57 |
+++ b/dev-ml/facile/files/facile-1.1.4-dune.patch |
58 |
@@ -0,0 +1,42 @@ |
59 |
+diff --git a/dune-project b/dune-project |
60 |
+new file mode 100644 |
61 |
+index 0000000..7d8f2ba |
62 |
+--- /dev/null |
63 |
++++ b/dune-project |
64 |
+@@ -0,0 +1,2 @@ |
65 |
++(lang dune 2.9) |
66 |
++(name facile) |
67 |
+diff --git a/examples/dune b/examples/dune |
68 |
+new file mode 100644 |
69 |
+index 0000000..b804a36 |
70 |
+--- /dev/null |
71 |
++++ b/examples/dune |
72 |
+@@ -0,0 +1,4 @@ |
73 |
++(executables |
74 |
++ (libraries facile) |
75 |
++ (names coins golf golomb jobshop magic marriage prolog seven_eleven tiles) |
76 |
++) |
77 |
+diff --git a/lib/dune b/lib/dune |
78 |
+new file mode 100644 |
79 |
+index 0000000..d28179f |
80 |
+--- /dev/null |
81 |
++++ b/lib/dune |
82 |
+@@ -0,0 +1,5 @@ |
83 |
++(library |
84 |
++ (public_name facile) |
85 |
++ (libraries stdlib-shims) |
86 |
++ (ocamlopt_flags (-unsafe -noassert -inline 10)) |
87 |
++) |
88 |
+diff --git a/lib_test/dune b/lib_test/dune |
89 |
+new file mode 100644 |
90 |
+index 0000000..e8993ee |
91 |
+--- /dev/null |
92 |
++++ b/lib_test/dune |
93 |
+@@ -0,0 +1,7 @@ |
94 |
++(executable |
95 |
++ (libraries facile) |
96 |
++ (name queens)) |
97 |
++ |
98 |
++(rule |
99 |
++ (alias runtest) |
100 |
++ (action (run ./queens.exe 8))) |