From c74b4047c70df62c80e427215d53d90e439b46a4 Mon Sep 17 00:00:00 2001 From: Andreas Sturmlechner Date: Tue, 8 Aug 2017 19:09:51 +0200 Subject: dev-ml/facile: 1.1.3 version bump Package-Manager: Portage-2.3.6, Repoman-2.3.1 --- dev-ml/facile/facile-1.1.3.ebuild | 53 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 53 insertions(+) create mode 100644 dev-ml/facile/facile-1.1.3.ebuild (limited to 'dev-ml/facile/facile-1.1.3.ebuild') 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 +} -- cgit v1.2.3-65-gdbad