diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-01-31 08:51:01 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-01-31 08:52:02 +0100 |
| commit | 547ff673f2d0807d1e91a372f754ceda642aa17f (patch) | |
| tree | 8f67efa0bb84ccf119c734393f7c754cde16220d /dev-ml/facile | |
| parent | dev-python/pip: Bump to 23.0 (diff) | |
| download | gentoo-547ff673f2d0807d1e91a372f754ceda642aa17f.tar.gz gentoo-547ff673f2d0807d1e91a372f754ceda642aa17f.tar.bz2 gentoo-547ff673f2d0807d1e91a372f754ceda642aa17f.zip | |
dev-ml/facile: drop stdlib-shims requirement
Closes: https://bugs.gentoo.org/892689
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/facile')
| -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 |