diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2015-12-09 09:36:21 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2015-12-09 09:36:21 +0100 |
| commit | 2a2b0ef1089d397159aac2eaa5f2dda5df934bcb (patch) | |
| tree | 1c7eef754ae2cc786bd99d326fcbacf7702b1a80 /dev-ml | |
| parent | media-libs/zimg: bump to 2.0.2 (diff) | |
| download | gentoo-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/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/facile/facile-1.1.1.ebuild | 51 |
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 +} |