summaryrefslogtreecommitdiff
path: root/dev-ml/facile
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
committerV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
commit4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch)
treeba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/facile
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/facile')
-rw-r--r--dev-ml/facile/Manifest8
-rw-r--r--dev-ml/facile/facile-1.1.2.ebuild50
-rw-r--r--dev-ml/facile/facile-1.1.3.ebuild53
-rw-r--r--dev-ml/facile/files/facile-1.1-make.patch48
-rw-r--r--dev-ml/facile/metadata.xml12
5 files changed, 171 insertions, 0 deletions
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest
new file mode 100644
index 000000000000..1bc9103d38a0
--- /dev/null
+++ b/dev-ml/facile/Manifest
@@ -0,0 +1,8 @@
+AUX facile-1.1-make.patch 1613 SHA256 6e1ed39d10b9dd6824ac2754570efc41d7a4c53ee339df8ebd2d3f96417b3f06 SHA512 024132dfacce666c1f52f331fe5ec9f927dbabc1742b44aa11be7ae8851c25943afea5f2f99b3e544127b5c49af7d7337d4b59c60165a777990402855100ebc0 WHIRLPOOL 7fecb858b6cb15187583a076dfb96c7ae3c5b26be93308ab7b135ca55d223d0c8ed6f1fbd115c103d1a1a233da9756498626627817f23704b8d5b008f1c1fd3f
+DIST facile-1.1.2.tar.gz 99755 SHA256 ea8b72d1d171fb44c0c6dafbddac0ccb0a453a7caafd1852919d4f805eded367 SHA512 12c086a9e1d7b2d76c36fa3d7b519da24199bb958b56050d5635cd6eb0288b6d98845b4ade74e22127b2abd405f359b0a33cfd776042187f3ab506ad656676df WHIRLPOOL d643b8b7151fa262542f6408acda23b6a29466b48fc288ea9efc8b024c418e95ca50ef005a09c61f6030faddbff6d2f013b1ffddd4544291f8387b29303a0a32
+DIST facile-1.1.3.tar.gz 99656 SHA256 5cb63ddb0dca8de12cd54dbf0de37e0fa8af54e7c1f15ee035a33ec219be8aec SHA512 78d315188e661245eb7306b645e9baaca94db0b9511112b57dbc8597bf2f75cab5604c8f4cf850209464e802c636f592552c8b492730cb28896d2acd7f413346 WHIRLPOOL 31ec165d6f02ce0e3b2e4c12d151f14075916cce325f0028d56e3a2d62cdb03da7d157b223c1e7df06b30b603a89e0303a8c73b690fc659d60d7690614692b13
+EBUILD facile-1.1.2.ebuild 1366 SHA256 6c8bcc82c7f69203e92e5d5f7986be7af24ce49c3a73ce7d4fdb856ff76feda1 SHA512 c86f22411d39fe1c42d2361a830cb6bf763e3d7fce029461ec12a5e3dd813c5159c2f5dfaa95a2bf292fc18ff964f15b6194f0ce842c6dc1e87a360762343111 WHIRLPOOL 5953d11a25993ddd85ea8c71cb2d7ce72316413c108fca1c8a4e140c1cab3a8cc4c1b58bda523017b91ddfb78a7675fffb649c265130e2ac912bd474e0599d8e
+EBUILD facile-1.1.3.ebuild 1389 SHA256 80714a45cda3c6f4c63479ba4fbc3cd999602930640d57d40bccdc1273c349a3 SHA512 3668136ddf52db6b6cbeeb7ddbb3cf8db44b65a5f0a31000c199d39800ea7b4d91367b97d975f2270872cc6b6ec56d6d80804ca41ab7ec63f3e71b4af8b8b54f WHIRLPOOL 8945eee62ea94180bc1b1312e475ffa5f5fa4327f632a7b0af30aaf6b2a3e993777fe108bf1a970714ca601847dee6729387e6bdb2f2118b1cb48011cc7bea46
+MISC ChangeLog 2898 SHA256 d1be8a08544f54db20b880489f77126fc38e61d858c77c11a568754354118ceb SHA512 d57f2a4622f6a8137dd79287350fe368fb1095655404209fdb2bf00da9f4fe12e042b85963d8f8d9e03cf73e51302d03496dffdc89feecbad7845a0c786ceb58 WHIRLPOOL 213718cba3eefeba153119a52cabf13e364aa94e6bfe516f7734bd31141e21597c2025a64d2293056cfc960aec1bb8ad0b1c64ea2e40a78f6d9782cf7fbb95a2
+MISC ChangeLog-2015 3157 SHA256 a323d6e5cee5c94a83201c851ae96e7e61e90b430367d23bc763d71ec18da0db SHA512 9051d5261825c6b65cdf22641bd4973e2aad88e0e2c66141c4eaa1f19dcff27bd40ca0c4d1bdfecabb5e61022706f90e08bb741cda48b0c5603ea882e601bef4 WHIRLPOOL 216c6fbfc3348700501546ec257080ed9138b9a22bf584b0827972747c4e3af6fc519b8b62153a0de22f69d2aab2c50822c5ea9d55bfc12e7d81966d3ed51230
+MISC metadata.xml 357 SHA256 ff6104acee7724ee9c82d7c35927e582cd0ed92c80e154b664c4de034ba916b0 SHA512 8491e3bed96f117fe721e3e6d261d75480e0b183c06ec21d606ccf659263dc8c2642b1fd30f89aec63a2e70a725f71985119117c1c11fa3fe8b49b7c31db969c WHIRLPOOL 365833bda8a247f2c7822902d3d0e606df18a0c8a4c60e7fd04735105fdafbc1efab27a486a65f4aa2cc693741fde2fb40671a142cd99e163120e6f2fc5e328a
diff --git a/dev-ml/facile/facile-1.1.2.ebuild b/dev-ml/facile/facile-1.1.2.ebuild
new file mode 100644
index 000000000000..2b9fe9b82975
--- /dev/null
+++ b/dev-ml/facile/facile-1.1.2.ebuild
@@ -0,0 +1,50 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+inherit eutils
+
+DESCRIPTION="OCaml constraint programming library on integer & integer set finite domains"
+HOMEPAGE="http://opti.recherche.enac.fr/"
+SRC_URI="http://opti.recherche.enac.fr/facile/distrib/${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/${PV}"
+
+KEYWORDS="alpha amd64 hppa ia64 ppc ppc64 sparc x86 ~x86-fbsd"
+IUSE="+ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+ sys-apps/sed"
+
+src_prepare() {
+ # Fix building on FreeBSD
+ epatch "${FILESDIR}/${PN}"-1.1-make.patch
+ # Disable building native code objects if we dont have/want ocamlopt
+ if ! use ocamlopt; then
+ sed -i -e 's/\.opt//' src/Makefile || die "failed to change native code compiler to bytecode ones"
+ sed -i -e 's/ facile\.cmxa//' src/Makefile || die "failed to remove native code objects"
+ sed -i -e 's/\.opt/.out/g' \
+ -e 's: src/facile\.cmxa::'\
+ -e 's: src/facile\.a::'\
+ -e 's:^.*facile\.cmxa::'\
+ -e 's:^.*facile\.a::' Makefile || die "failed to remove native code objects"
+ fi
+}
+
+src_configure(){
+ # This is a custom configure script and it does not support standard options
+ ./configure --faciledir "${D}"$(ocamlc -where)/facile/ || die
+}
+
+src_test() {
+ emake check
+}
+
+src_install(){
+ dodir $(ocamlc -where)
+ emake install
+ dodoc README
+}
diff --git a/dev-ml/facile/facile-1.1.3.ebuild b/dev-ml/facile/facile-1.1.3.ebuild
new file mode 100644
index 000000000000..70b836ea6aad
--- /dev/null
+++ b/dev-ml/facile/facile-1.1.3.ebuild
@@ -0,0 +1,53 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="OCaml constraint programming library on integer & integer set finite domains"
+HOMEPAGE="http://opti.recherche.enac.fr/"
+SRC_URI="http://opti.recherche.enac.fr/facile/distrib/${P}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0/${PV}"
+
+KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~ppc64 ~sparc ~x86 ~x86-fbsd"
+IUSE="+ocamlopt"
+
+RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]"
+DEPEND="${RDEPEND}
+ sys-apps/sed
+"
+
+DOCS=( README )
+
+PATCHES=( "${FILESDIR}/${PN}"-1.1-make.patch ) # Fix building on FreeBSD
+
+src_prepare() {
+ default
+
+ # Disable building native code objects if we dont have/want ocamlopt
+ if ! use ocamlopt; then
+ sed -i -e 's/\.opt//' src/Makefile || die "failed to change native code compiler to bytecode ones"
+ sed -i -e 's/ facile\.cmxa//' src/Makefile || die "failed to remove native code objects"
+ sed -i -e 's/\.opt/.out/g' \
+ -e 's: src/facile\.cmxa::'\
+ -e 's: src/facile\.a::'\
+ -e 's:^.*facile\.cmxa::'\
+ -e 's:^.*facile\.a::' Makefile || die "failed to remove native code objects"
+ fi
+}
+
+src_configure(){
+ # This is a custom configure script and it does not support standard options
+ ./configure --faciledir "${D}"$(ocamlc -where)/facile/ || die
+}
+
+src_test() {
+ emake check
+}
+
+src_install(){
+ dodir $(ocamlc -where)
+ emake install
+ einstalldocs
+}
diff --git a/dev-ml/facile/files/facile-1.1-make.patch b/dev-ml/facile/files/facile-1.1-make.patch
new file mode 100644
index 000000000000..7b77639d2277
--- /dev/null
+++ b/dev-ml/facile/files/facile-1.1-make.patch
@@ -0,0 +1,48 @@
+diff -ur a/Makefile b/Makefile
+--- a/Makefile 2004-09-08 10:51:02 +0100
++++ b/Makefile 2007-10-23 13:11:28 +0100
+@@ -3,7 +3,7 @@
+ include config_Makefile
+
+ compile:
+- cd src; make
++ cd src; $(MAKE)
+
+ install:
+ if test -d $(FACILEDIR); then : ; else mkdir $(FACILEDIR); fi
+@@ -14,10 +14,10 @@
+ chmod a+r $(FACILEDIR)/facile.a
+
+ clean:
+- cd src; make clean
++ cd src; $(MAKE) clean
+
+ distclean uninstall:
+ rm -fr $(FACILEDIR)
+
+ check:
+- cd examples; make FACILEDIR=../src queens.opt; ./queens.opt 8
++ cd examples; $(MAKE) FACILEDIR=../src queens.opt; ./queens.opt 8
+diff -ur a/src/Makefile b/src/Makefile
+--- a/src/Makefile 2004-09-08 10:51:02 +0100
++++ b/src/Makefile 2007-10-23 13:10:34 +0100
+@@ -28,7 +28,7 @@
+ # Version of the library to be linked with the -p (profiler) option
+ facile.p.cmxa : $(CSTR)
+ rm -fr $(CSTRCMX)
+- make facile.cmxa OPTOPT=-p
++ $(MAKE) facile.cmxa OPTOPT=-p
+ rm -fr $(CSTRCMX)
+ mv facile.cmxa $@
+ mv facile.a facile.p.a
+@@ -41,8 +41,8 @@
+ # Does not work with many modules (e.g. containing class expressions
+ facile.exp.cmxa : $(CSTR)
+ rm -fr $(CSTRCMX)
+- make fcl_stak.cmx fcl_cstr.cmx fcl_inv.cmx fcl_reify.cmx fcl_arith.cmx fcl_goals.cmx fcl_fdArray.cmx fcl_gcc.cmx fcl_alldiff.cmx fcl_sorting.cmx fcl_interval.cmx facile.cmx
+- make facile.cmxa OPTOPT="-pp inline_functors"
++ $(MAKE) fcl_stak.cmx fcl_cstr.cmx fcl_inv.cmx fcl_reify.cmx fcl_arith.cmx fcl_goals.cmx fcl_fdArray.cmx fcl_gcc.cmx fcl_alldiff.cmx fcl_sorting.cmx fcl_interval.cmx facile.cmx
++ $(MAKE) facile.cmxa OPTOPT="-pp inline_functors"
+ rm -fr $(CSTRCMX)
+ mv facile.cmxa $@
+ mv facile.a facile.exp.a
diff --git a/dev-ml/facile/metadata.xml b/dev-ml/facile/metadata.xml
new file mode 100644
index 000000000000..41bad2f652fd
--- /dev/null
+++ b/dev-ml/facile/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>kde@gentoo.org</email>
+ <name>Gentoo KDE Project</name>
+ </maintainer>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+ </maintainer>
+</pkgmetadata>