diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-31 03:00:52 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-31 03:00:52 +0000 |
| commit | 4b70b249bd1fe7302633ca0b4f7abd22dd269d02 (patch) | |
| tree | c39fc6439ab9c72db6a0f070fe02312591ccc963 /dev-ml/facile | |
| parent | 182063dd85a03f2086258946276c8967945ffe95 (diff) | |
gentoo auto-resync : 31:01:2023 - 03:00:52
Diffstat (limited to 'dev-ml/facile')
| -rw-r--r-- | dev-ml/facile/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/facile/facile-1.1.4.ebuild | 21 | ||||
| -rw-r--r-- | dev-ml/facile/files/facile-1.1.4-dune.patch | 42 |
3 files changed, 66 insertions, 0 deletions
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest index 83d4f3971b39..9392b7219015 100644 --- a/dev-ml/facile/Manifest +++ b/dev-ml/facile/Manifest @@ -1,4 +1,7 @@ AUX facile-1.1-make.patch 1613 BLAKE2B e469aa4820358b9d197251c6b3c6150c0aeaca8362d104441fc35e975e401776e1d23804a160cd6b37c545c769c0c856ff871d0428bbde47828fc9cc79125d20 SHA512 024132dfacce666c1f52f331fe5ec9f927dbabc1742b44aa11be7ae8851c25943afea5f2f99b3e544127b5c49af7d7337d4b59c60165a777990402855100ebc0 +AUX facile-1.1.4-dune.patch 911 BLAKE2B 37c3f4271c28c5d04b3bbf437e255920fdd8dac93a1610b628d5424f2443573afd6590028c4e84894245e2aee4fe710b13fb740aa869e84359fc41f99394525e SHA512 ff91480da10cfde789cfb1ff005dc7501c922ddd9056bc4a24772e15935cccb8b088aacee353469e11b23c98afca98615f2e12abd20c40cdf32b2d811b750648 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 +EBUILD facile-1.1.4.ebuild 549 BLAKE2B 2b72093f9ae52f6e66f614ea3013767a2c83664bfd929c162b98a66ed79c82a65089089ae87da88ea71f0498776f9cbaf1133ba3733fbe6ae6e4d7126f25329a SHA512 2b7665f492f8ee0630e7156ba056601b793c1481bde9e9e4034613bbf8cb6c92dcbaa1d7afedd3bfb612fdbc9d3201de6985086c6af019d61c4d24cff806c3c1 MISC metadata.xml 427 BLAKE2B 5d2175a32c7c2005d4f7ce47d7c775053f4b0c2d4e707138669db582d5239356ae8a53c5b48b3751580a72db52d256250fc4aec98cfc17b40ed7567571f954df SHA512 a5add2382c31da550a44168738d8d0b10711f5d225320dac43f67e07ab443ce345b79ba027822d3e29845325a8cc0b70c20894deea260e7fad4081bbe86b6724 diff --git a/dev-ml/facile/facile-1.1.4.ebuild b/dev-ml/facile/facile-1.1.4.ebuild new file mode 100644 index 000000000000..d3e4a42f5a4d --- /dev/null +++ b/dev-ml/facile/facile-1.1.4.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="OCaml constraint programming library on integer & integer set finite domains" +HOMEPAGE="http://opti.recherche.enac.fr/" +SRC_URI="https://github.com/Emmanuel-PLF/${PN}/releases/download/${PV}/${P}.tbz" + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" + +KEYWORDS="~alpha ~amd64 ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]" +DEPEND="${RDEPEND}" + +PATCHES=( "${FILESDIR}"/${P}-dune.patch ) diff --git a/dev-ml/facile/files/facile-1.1.4-dune.patch b/dev-ml/facile/files/facile-1.1.4-dune.patch new file mode 100644 index 000000000000..f9c667cabb1d --- /dev/null +++ b/dev-ml/facile/files/facile-1.1.4-dune.patch @@ -0,0 +1,42 @@ +diff --git a/dune-project b/dune-project +new file mode 100644 +index 0000000..7d8f2ba +--- /dev/null ++++ b/dune-project +@@ -0,0 +1,2 @@ ++(lang dune 2.9) ++(name facile) +diff --git a/examples/dune b/examples/dune +new file mode 100644 +index 0000000..b804a36 +--- /dev/null ++++ b/examples/dune +@@ -0,0 +1,4 @@ ++(executables ++ (libraries facile) ++ (names coins golf golomb jobshop magic marriage prolog seven_eleven tiles) ++) +diff --git a/lib/dune b/lib/dune +new file mode 100644 +index 0000000..d28179f +--- /dev/null ++++ b/lib/dune +@@ -0,0 +1,5 @@ ++(library ++ (public_name facile) ++ (libraries stdlib-shims) ++ (ocamlopt_flags (-unsafe -noassert -inline 10)) ++) +diff --git a/lib_test/dune b/lib_test/dune +new file mode 100644 +index 0000000..e8993ee +--- /dev/null ++++ b/lib_test/dune +@@ -0,0 +1,7 @@ ++(executable ++ (libraries facile) ++ (name queens)) ++ ++(rule ++ (alias runtest) ++ (action (run ./queens.exe 8))) |