diff options
| author |   Michael Palimaka <kensington@gentoo.org> | 2017-11-19 17:27:40 +1100 |
|---|---|---|
| committer | Michael Palimaka <kensington@gentoo.org> | 2017-11-19 17:27:51 +1100 |
| commit | 044808187c085ae0fc2a926fd5fdac70126e176a (patch) | |
| tree | c7fc1f421271de5b698b0eb130bcf08ab049a9e5 /dev-ml/facile | |
| parent | dev-ml/facile: stabilise 1.1.3 for amd64 (diff) | |
| download | gentoo-044808187c085ae0fc2a926fd5fdac70126e176a.tar.gz gentoo-044808187c085ae0fc2a926fd5fdac70126e176a.tar.bz2 gentoo-044808187c085ae0fc2a926fd5fdac70126e176a.zip | |
dev-ml/facile: remove 1.1.2
Package-Manager: Portage-2.3.8, Repoman-2.3.4
Diffstat (limited to 'dev-ml/facile')
| -rw-r--r-- | dev-ml/facile/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/facile/facile-1.1.2.ebuild | 50 |
2 files changed, 0 insertions, 51 deletions
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest index aa269c885a24..7b0609949140 100644 --- a/dev-ml/facile/Manifest +++ b/dev-ml/facile/Manifest @@ -1,2 +1 @@ -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.2.ebuild b/dev-ml/facile/facile-1.1.2.ebuild deleted file mode 100644 index 2b9fe9b82975..000000000000 --- a/dev-ml/facile/facile-1.1.2.ebuild +++ /dev/null @@ -1,50 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -inherit eutils - -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" - -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 -} |