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
