From 547ff673f2d0807d1e91a372f754ceda642aa17f Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Tue, 31 Jan 2023 08:51:01 +0100 Subject: [PATCH] dev-ml/facile: drop stdlib-shims requirement Closes: https://bugs.gentoo.org/892689 Signed-off-by: Alfredo Tupone --- 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 f9c667cabb1dd..f740a80c4cd55 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