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: add 1.1.4

Browse Source 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2023-01-30 21:35:27 +01:00
parent 8c15e56a5a
commit b418632d46
3 changed files with 64 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
dev-ml/facile/Manifest
View File

@@ -1 +1,2 @@
DIST facile-1.1.3.tar.gz 99656 BLAKE2B 19d81c48c39b96083628cc40eb9aca7e8ad7dea4ae81c884bfb22daa56135ac411698d57b68f3112829a1fc53d29612627809901c6e30eb4672776508eee57b2 SHA512 78d315188e661245eb7306b645e9baaca94db0b9511112b57dbc8597bf2f75cab5604c8f4cf850209464e802c636f592552c8b492730cb28896d2acd7f413346
DIST facile-1.1.4.tbz 83874 BLAKE2B a0921615425124b6f1ba51a939bd4c89bcab71a0341e5b866f2c44d89863c077c42f269fcee2a8e302c580ce618c4e765f826fd9c4855f9e992c35cbdc8660db SHA512 b4484275ebf7f0bd271d865c6745bd1784e2260060470f64f86a18833a9663efbf56b089ae668c51f57bc8473281af4e92d461b87eefb2c62162fa7da60838f9

21
dev-ml/facile/facile-1.1.4.ebuild Normal file
View File

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

42
dev-ml/facile/files/facile-1.1.4-dune.patch Normal file
View File

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