diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-01-20 00:00:11 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-20 00:00:11 +0000 |
commit | ca7fcaa76aaf1f94284894a8d9a01bb153e80b11 (patch) | |
tree | dcfb443cd20285c353c22c05f43f96ca3d3161a8 /dev-ml/facile/facile-1.1.3-r1.ebuild | |
parent | 150a86a9cb006b4800d6517d58532b8a556fec1e (diff) |
gentoo auto-resync : 20:01:2023 - 00:00:11
Diffstat (limited to 'dev-ml/facile/facile-1.1.3-r1.ebuild')
-rw-r--r-- | dev-ml/facile/facile-1.1.3-r1.ebuild | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/dev-ml/facile/facile-1.1.3-r1.ebuild b/dev-ml/facile/facile-1.1.3-r1.ebuild new file mode 100644 index 000000000000..ab98186bbd79 --- /dev/null +++ b/dev-ml/facile/facile-1.1.3-r1.ebuild @@ -0,0 +1,53 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +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 arm64 ~hppa ~ia64 ~ppc ppc64 x86" +IUSE="+ocamlopt" + +RDEPEND=">=dev-lang/ocaml-4:=[ocamlopt?]" +DEPEND="${RDEPEND}" + +PATCHES=( "${FILESDIR}/${PN}"-1.1-make.patch ) # Fix building on FreeBSD + +QA_FLAGS_IGNORED='.*' + +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 + sed -i \ + -e 's|$(FACILE|$(DESTDIR)$(FACILE|g' \ + Makefile || die +} + +src_configure() { + # This is a custom configure script and it does not support standard options + ./configure || die +} + +src_test() { + emake check +} + +src_install() { + dodir $(ocamlc -where) + default +} |