summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2015-12-09 09:36:21 +0100
committerAlexis Ballier <aballier@gentoo.org>2015-12-09 09:36:21 +0100
commit2a2b0ef1089d397159aac2eaa5f2dda5df934bcb (patch)
tree1c7eef754ae2cc786bd99d326fcbacf7702b1a80 /dev-ml
parentmedia-libs/zimg: bump to 2.0.2 (diff)
downloadgentoo-2a2b0ef1089d397159aac2eaa5f2dda5df934bcb.tar.gz
gentoo-2a2b0ef1089d397159aac2eaa5f2dda5df934bcb.tar.bz2
gentoo-2a2b0ef1089d397159aac2eaa5f2dda5df934bcb.zip
dev-ml/facile: bump to 1.1.1
Package-Manager: portage-2.2.26 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/facile/Manifest1
-rw-r--r--dev-ml/facile/facile-1.1.1.ebuild51
2 files changed, 52 insertions, 0 deletions
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest
index 45c5dca6ecd0..b383fe34a1ea 100644
--- a/dev-ml/facile/Manifest
+++ b/dev-ml/facile/Manifest
@@ -1 +1,2 @@
+DIST facile-1.1.1.tar.gz 99454 SHA256 150a6c269277ce14e9c953dbcf409bfedc795abc1558ac6e338609b1e64fa38c SHA512 2e14c65f9c8d0d7363a2c7bd117ebc52fe1949e6e364e0e8d33b25880d3a505bc92b7d26f33d6b7deed09dc6d8eaeb0274d69dbb5fdb2d217bbd9eafb5efc2ae WHIRLPOOL cd08ccc78466b0d858fa6645805226d8d19f021a1bf0f52743fa99ee73f833774c1b240c77780c104380ec45ef076a2d85847f2fc13d6e3816cbd7b1b5f71b6a
DIST facile-1.1.tar.gz 96343 SHA256 a87a6ba7869104f85828c19a9681758bd1d01c816581ba09ac483739ad4ae5ca SHA512 5048daa30bc0de47465f3978cc9079e29407e35f03a3e0d6656b61838e750f62370562e26b5377d30afa478974f19e962a4a3b5a4f8fbd6661bf6f6485d90565 WHIRLPOOL a3aa0b50e51042fcdb90dffb62da483730738c1ed48eadcc1a329cc2f6529a985f50efe157231cc566ca909194468fb505ced2d653f71c3c39fd85a32e2d4558
diff --git a/dev-ml/facile/facile-1.1.1.ebuild b/dev-ml/facile/facile-1.1.1.ebuild
new file mode 100644
index 000000000000..62aba489c27a
--- /dev/null
+++ b/dev-ml/facile/facile-1.1.1.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit eutils
+
+DESCRIPTION="A constraint programming library on integer and integer set finite domains written in OCaml"
+HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
+SRC_URI="http://www.recherche.enac.fr/log/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
+}