diff options
| -rw-r--r-- | dev-ml/facile/files/facile-1.1.4-dune.patch | 3 |
1 files changed, 1 insertions, 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 |