[gentoo-commits] repo/gentoo:master commit in: dev-ml/facile/files/

[gentoo-commits] repo/gentoo:master commit in: dev-ml/facile/files/

[Andreas Sturmlechner]

commit:     9e4ee21441d8265d5702bda2d1f02c4dec0fb115
Author:     Michael Mair-Keimberger (asterix) <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Tue Aug  8 16:20:41 2017 +0000
Commit:     Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
CommitDate: Tue Aug  8 17:15:28 2017 +0000
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..00000000000
--- 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

[gentoo-commits] repo/gentoo:master commit in: dev-ml/facile/files/

[Alfredo Tupone]

commit:     547ff673f2d0807d1e91a372f754ceda642aa17f
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Jan 31 07:51:01 2023 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Jan 31 07:52:02 2023 +0000
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 <tupone <AT> 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 0000000..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