diff options
| author |   Andreas Sturmlechner <asturm@gentoo.org> | 2017-08-08 19:09:51 +0200 |
|---|---|---|
| committer | Andreas Sturmlechner <asturm@gentoo.org> | 2017-08-08 19:15:29 +0200 |
| commit | c74b4047c70df62c80e427215d53d90e439b46a4 (patch) | |
| tree | 3adc1a3987296821b87180f86f379ab3b102bd67 /dev-ml/facile | |
| parent | dev-ml/facile: Fix HOMEPAGE and SRC_URI (diff) | |
| download | gentoo-c74b4047c70df62c80e427215d53d90e439b46a4.tar.gz gentoo-c74b4047c70df62c80e427215d53d90e439b46a4.tar.bz2 gentoo-c74b4047c70df62c80e427215d53d90e439b46a4.zip | |
dev-ml/facile: 1.1.3 version bump
Package-Manager: Portage-2.3.6, Repoman-2.3.1
Diffstat (limited to 'dev-ml/facile')
| -rw-r--r-- | dev-ml/facile/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/facile/facile-1.1.3.ebuild | 53 |
2 files changed, 54 insertions, 0 deletions
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest index df8d93a1cee5..aa269c885a24 100644 --- a/dev-ml/facile/Manifest +++ b/dev-ml/facile/Manifest @@ -1 +1,2 @@ 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 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 +} |