summaryrefslogtreecommitdiff
path: root/dev-ml/facile
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-01-31 09:01:31 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-01-31 09:01:31 +0000
commite9bf3526a3a5e02396f24203bf8535a21b6f9784 (patch)
treea14d6832a5139117f06ad9045537f23d4b6fbf58 /dev-ml/facile
parent4b70b249bd1fe7302633ca0b4f7abd22dd269d02 (diff)
gentoo auto-resync : 31:01:2023 - 09:01:31
Diffstat (limited to 'dev-ml/facile')
-rw-r--r--dev-ml/facile/Manifest2
-rw-r--r--dev-ml/facile/files/facile-1.1.4-dune.patch3
2 files changed, 2 insertions, 3 deletions
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest
index 9392b7219015..10695257e756 100644
--- a/dev-ml/facile/Manifest
+++ b/dev-ml/facile/Manifest
@@ -1,5 +1,5 @@
AUX facile-1.1-make.patch 1613 BLAKE2B e469aa4820358b9d197251c6b3c6150c0aeaca8362d104441fc35e975e401776e1d23804a160cd6b37c545c769c0c856ff871d0428bbde47828fc9cc79125d20 SHA512 024132dfacce666c1f52f331fe5ec9f927dbabc1742b44aa11be7ae8851c25943afea5f2f99b3e544127b5c49af7d7337d4b59c60165a777990402855100ebc0
-AUX facile-1.1.4-dune.patch 911 BLAKE2B 37c3f4271c28c5d04b3bbf437e255920fdd8dac93a1610b628d5424f2443573afd6590028c4e84894245e2aee4fe710b13fb740aa869e84359fc41f99394525e SHA512 ff91480da10cfde789cfb1ff005dc7501c922ddd9056bc4a24772e15935cccb8b088aacee353469e11b23c98afca98615f2e12abd20c40cdf32b2d811b750648
+AUX facile-1.1.4-dune.patch 883 BLAKE2B d563aff52eda151c9579c378253b74811759a8e66cae9dc775ebf3bed3717d6289ec40a107610032de3c575a8c98cd45651fe7d26c7a08e55887b1d2c61ad613 SHA512 df90e73916b2e42d20bae837c24be96633ef34fe731bac07307ade12fb10fbf5c575658ee295c5003f28aa989574fe323c7a3040b6063bf8522d0691a5255a5e
DIST facile-1.1.3.tar.gz 99656 BLAKE2B 19d81c48c39b96083628cc40eb9aca7e8ad7dea4ae81c884bfb22daa56135ac411698d57b68f3112829a1fc53d29612627809901c6e30eb4672776508eee57b2 SHA512 78d315188e661245eb7306b645e9baaca94db0b9511112b57dbc8597bf2f75cab5604c8f4cf850209464e802c636f592552c8b492730cb28896d2acd7f413346
DIST facile-1.1.4.tbz 83874 BLAKE2B a0921615425124b6f1ba51a939bd4c89bcab71a0341e5b866f2c44d89863c077c42f269fcee2a8e302c580ce618c4e765f826fd9c4855f9e992c35cbdc8660db SHA512 b4484275ebf7f0bd271d865c6745bd1784e2260060470f64f86a18833a9663efbf56b089ae668c51f57bc8473281af4e92d461b87eefb2c62162fa7da60838f9
EBUILD facile-1.1.3-r1.ebuild 1371 BLAKE2B a95ab724e5e95eddbeb057e7599f79875169d3008bc3b2651d69907c4d4649bf4e9a8886d8224048860f95870be154d2c46f8ffeefa8ad42e7dfec574dcac919 SHA512 7aa98cb8865baa7d7c04fb1982f2c3fdeb623a46e14b501896fe9ba088df3b72f543be18464909c9cc29cfb7dc301907bad73a9da21c7a8167facf7d8e867c74
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