[gentoo-commits] repo/gentoo:master commit in: dev-ml/facile/files/
commit: 547ff673f2d0807d1e91a372f754ceda642aa17f Author: Alfredo Tupone gentoo org> AuthorDate: Tue Jan 31 07:51:01 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Tue Jan 31 07:52:02 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=547ff673 dev-ml/facile: drop stdlib-shims requirement Closes: https://bugs.gentoo.org/892689 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/facile/files/facile-1.1.4-dune.patch | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/dev-ml/facile/files/facile-1.1.4-dune.patch b/dev-ml/facile/files/facile-1.1.4-dune.patch index f9c667cabb1d..f740a80c4cd5 100644 --- a/dev-ml/facile/files/facile-1.1.4-dune.patch +++ b/dev-ml/facile/files/facile-1.1.4-dune.patch @@ -21,10 +21,9 @@ new file mode 100644 index 000..d28179f --- /dev/null +++ b/lib/dune -@@ -0,0 +1,5 @@ +@@ -0,0 +1,4 @@ +(library + (public_name facile) -+ (libraries stdlib-shims) + (ocamlopt_flags (-unsafe -noassert -inline 10)) +) diff --git a/lib_test/dune b/lib_test/dune
[gentoo-commits] repo/gentoo:master commit in: dev-ml/facile/files/, dev-ml/facile/
commit: b418632d46c6b67f90e56eae45fa41e86da2ae4d
Author: Alfredo Tupone gentoo org>
AuthorDate: Mon Jan 30 20:35:27 2023 +
Commit: Alfredo Tupone gentoo org>
CommitDate: Mon Jan 30 20:37:06 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b418632d
dev-ml/facile: add 1.1.4
Signed-off-by: Alfredo Tupone gentoo.org>
dev-ml/facile/Manifest | 1 +
dev-ml/facile/facile-1.1.4.ebuild | 21 +++
dev-ml/facile/files/facile-1.1.4-dune.patch | 42 +
3 files changed, 64 insertions(+)
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest
index 65406b20bc00..8d6cbde9bf91 100644
--- a/dev-ml/facile/Manifest
+++ b/dev-ml/facile/Manifest
@@ -1 +1,2 @@
DIST facile-1.1.3.tar.gz 99656 BLAKE2B
19d81c48c39b96083628cc40eb9aca7e8ad7dea4ae81c884bfb22daa56135ac411698d57b68f3112829a1fc53d29612627809901c6e30eb4672776508eee57b2
SHA512
78d315188e661245eb7306b645e9baaca94db0b952b57dbc8597bf2f75cab5604c8f4cf850209464e802c636f592552c8b492730cb28896d2acd7f413346
+DIST facile-1.1.4.tbz 83874 BLAKE2B
a0921615425124b6f1ba51a939bd4c89bcab71a0341e5b866f2c44d89863c077c42f269fcee2a8e302c580ce618c4e765f826fd9c4855f9e992c35cbdc8660db
SHA512
b4484275ebf7f0bd271d865c6745bd1784e2260060470f64f86a18833a9663efbf56b089ae668c51f57bc8473281af4e92d461b87eefb2c62162fa7da60838f9
diff --git a/dev-ml/facile/facile-1.1.4.ebuild
b/dev-ml/facile/facile-1.1.4.ebuild
new file mode 100644
index ..d3e4a42f5a4d
--- /dev/null
+++ b/dev-ml/facile/facile-1.1.4.ebuild
@@ -0,0 +1,21 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="OCaml constraint programming library on integer & integer set
finite domains"
+HOMEPAGE="http://opti.recherche.enac.fr/;
+SRC_URI="https://github.com/Emmanuel-PLF/${PN}/releases/download/${PV}/${P}.tbz;
+
+LICENSE="LGPL-2.1"
+SLOT="0/${PV}"
+
+KEYWORDS="~alpha ~amd64 ~arm64 ~ppc ~ppc64 ~x86"
+IUSE="+ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]"
+DEPEND="${RDEPEND}"
+
+PATCHES=( "${FILESDIR}"/${P}-dune.patch )
diff --git a/dev-ml/facile/files/facile-1.1.4-dune.patch
b/dev-ml/facile/files/facile-1.1.4-dune.patch
new file mode 100644
index ..f9c667cabb1d
--- /dev/null
+++ b/dev-ml/facile/files/facile-1.1.4-dune.patch
@@ -0,0 +1,42 @@
+diff --git a/dune-project b/dune-project
+new file mode 100644
+index 000..7d8f2ba
+--- /dev/null
b/dune-project
+@@ -0,0 +1,2 @@
++(lang dune 2.9)
++(name facile)
+diff --git a/examples/dune b/examples/dune
+new file mode 100644
+index 000..b804a36
+--- /dev/null
b/examples/dune
+@@ -0,0 +1,4 @@
++(executables
++ (libraries facile)
++ (names coins golf golomb jobshop magic marriage prolog seven_eleven tiles)
++)
+diff --git a/lib/dune b/lib/dune
+new file mode 100644
+index 000..d28179f
+--- /dev/null
b/lib/dune
+@@ -0,0 +1,5 @@
++(library
++ (public_name facile)
++ (libraries stdlib-shims)
++ (ocamlopt_flags (-unsafe -noassert -inline 10))
++)
+diff --git a/lib_test/dune b/lib_test/dune
+new file mode 100644
+index 000..e8993ee
+--- /dev/null
b/lib_test/dune
+@@ -0,0 +1,7 @@
++(executable
++ (libraries facile)
++ (name queens))
++
++(rule
++ (alias runtest)
++ (action (run ./queens.exe 8)))
[gentoo-commits] repo/gentoo:master commit in: dev-ml/facile/files/
commit: 9e4ee21441d8265d5702bda2d1f02c4dec0fb115
Author: Michael Mair-Keimberger (asterix) gmail
com>
AuthorDate: Tue Aug 8 16:20:41 2017 +
Commit: Andreas Sturmlechner gentoo org>
CommitDate: Tue Aug 8 17:15:28 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e4ee214
dev-ml/facile: remove unused patch
Closes: https://github.com/gentoo/gentoo/pull/5358
dev-ml/facile/files/facile-1.1-ocaml4.patch | 29 -
1 file changed, 29 deletions(-)
diff --git a/dev-ml/facile/files/facile-1.1-ocaml4.patch
b/dev-ml/facile/files/facile-1.1-ocaml4.patch
deleted file mode 100644
index 3c755631236..000
--- a/dev-ml/facile/files/facile-1.1-ocaml4.patch
+++ /dev/null
@@ -1,29 +0,0 @@
-Index: facile-1.1/src/facile.mli
-===
facile-1.1.orig/src/facile.mli
-+++ facile-1.1/src/facile.mli
-@@ -127,7 +127,7 @@ module Data :
- module Hashtbl :
- sig
- type ('a, 'b) t
-- val create : int -> ('a, 'b) t
-+ val create : ?random:bool -> int -> ('a, 'b) t
- val get : ('a, 'b) t -> ('a, 'b) Hashtbl.t
- val add : ('a, 'b) t -> 'a -> 'b -> unit
- val find : ('a, 'b) t -> 'a -> 'b
-Index: facile-1.1/src/fcl_data.cmi
-===
-Binary files facile-1.1.orig/src/fcl_data.cmi and facile-1.1/src/fcl_data.cmi
differ
-Index: facile-1.1/src/fcl_data.mli
-===
facile-1.1.orig/src/fcl_data.mli
-+++ facile-1.1/src/fcl_data.mli
-@@ -23,7 +23,7 @@ end
-
- module Hashtbl : sig
- type ('a, 'b) t
-- val create : int -> ('a, 'b) t
-+ val create : ?random:bool -> int -> ('a, 'b) t
- val get : ('a, 'b) t -> ('a, 'b) Hashtbl.t
- val add : ('a, 'b) t -> 'a -> 'b -> unit
- val find : ('a, 'b) t -> 'a -> 'b
