diff options
Diffstat (limited to 'dev-ml/facile/facile-1.1.3.ebuild')
-rw-r--r-- | dev-ml/facile/facile-1.1.3.ebuild | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/dev-ml/facile/facile-1.1.3.ebuild b/dev-ml/facile/facile-1.1.3.ebuild deleted file mode 100644 index c88e827bdffa..000000000000 --- a/dev-ml/facile/facile-1.1.3.ebuild +++ /dev/null @@ -1,51 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# 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 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 - -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 -} |