gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-16 14:29:05 -07:00
Code Issues Projects Releases Wiki Activity

dev-ml/facile: drop stdlib-shims requirement

Browse Source 
Closes: https://bugs.gentoo.org/892689
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2023-01-31 08:51:01 +01:00
parent 95a6fed5be
commit 547ff673f2
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
dev-ml/facile/files/facile-1.1.4-dune.patch
View File

@@ -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