ChangeLog

# ChangeLog for dev-ml/facile
# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.14 2008/01/31 02:00:09 ranger Exp $

31 Jan 2008; Brent Baude facile-1.1.ebuild:
Marking facile-1.1 ppc for bug 207634

30 Jan 2008; Christian Faulhammer facile-1.1.ebuild:
stable x86, bug 207634

29 Jan 2008; Raúl Porcel facile-1.1.ebuild:
alpha/ia64/sparc stable wrt #207634

29 Jan 2008; Brent Baude facile-1.1.ebuild:
Marking facile-1.1 ppc64 for bug 207634

28 Jan 2008; Wulf C. Krueger facile-1.1.ebuild:
Marked stable on amd64 as per bug 207634.

28 Jan 2008; Jeroen Roovers facile-1.1.ebuild:
Stable for HPPA (bug #207634).

06 Jan 2008; Alexis Ballier facile-1.1.ebuild:
allow to build without ocamlopt, dont install license

23 Oct 2007; Jeroen Roovers facile-1.1.ebuild:
Marked ~hppa (bug #196551). Added src_test (because it works).

23 Oct 2007; Roy Marples
+files/facile-1.1-make.patch, facile-1.1.ebuild:
Fix building on non GNU platforms and keyword ~x86-fbsd, #192065

13 Oct 2007; Markus Rothe facile-1.1.ebuild:
Added ~ppc64; bug #192065

27 Sep 2007; Raúl Porcel facile-1.1.ebuild:
Add ~sparc wrt #192065

22 Sep 2007; nixnut facile-1.1.ebuild:
Added ~ppc wrt bug 192065

12 Sep 2007; Raúl Porcel facile-1.1.ebuild:
Add ~alpha/~ia64 wrt #192065

*facile-1.1 (10 Sep 2007)

10 Sep 2007; Wulf C. Krueger +metadata.xml,
+facile-1.1.ebuild:
Imported from the KDE4 overlay to the tree. Thanks, Zephyrus!

09 Sep 2007; Emanuele A. Bagnaschi facile-1.1.ebuild:
Added doc support.

09 Sep 2007; Emanuele A. Bagnaschi facile-1.1.ebuild:
Added missing die

08 Sep 2007; Emanuele A. Bagnaschi facile-1.1.ebuild:
Keyworded ~amd64

18 Jul 2007; Emanuele A. Bagnaschi +metadata.xml,
facile-1.1.ebuild:
Added Changelog and metadata. Fixed LICENSE.

Manifest

AUX facile-1.1-make.patch 1613 RMD160 e569e44b0a6af07c0893c571eb3a7d176a7f8585 SHA1 391cccee28101143d65e65cc9738164b04b4eca0 SHA256 6e1ed39d10b9dd6824ac2754570efc41d7a4c53ee339df8ebd2d3f96417b3f06
DIST facile-1.1.tar.gz 96343 RMD160 1ed7b8f916e34889bb67f06b6a9d6a121d69fe32 SHA1 31dea6e19542292c9ccb41515b0ec7ecd103bb80 SHA256 a87a6ba7869104f85828c19a9681758bd1d01c816581ba09ac483739ad4ae5ca
EBUILD facile-1.1.ebuild 2006 RMD160 5f2d8378e267566920d75f493389a18e350b5077 SHA1 c87381c12b209553ed3f86e10d9fca2d17dba11d SHA256 8d9639b8d09da08cc9a251890e1ad388564bd1cc8ebcde13b0ebf163438a0df4
MISC ChangeLog 2271 RMD160 ffd675247fde6a9bdf44c8cf2f244e0092a54e95 SHA1 d9040314863a0c433f2efb030cc621ff3dad1389 SHA256 e53c6032848bef6c5edb734fccbe9926bd88205e2ff0886ffb95d01270cdd1dc
MISC metadata.xml 172 RMD160 e2cd94e573a70360026089d04a69c0f5ea6e47db SHA1 150b276d48304002290b10c0eb43df6858c8e729 SHA256 667504f38af7bc26d7a585a40d28365d53e5154178847ec85f44baa9ebbb91d5

facile-1.1.ebuild

# Copyright 1999-2008 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.14 2008/01/31 02:00:09 ranger Exp $

inherit eutils

EAPI="1"

DESCRIPTION="FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml."
HOMEPAGE="http://www.recherche.enac.fr/log/facile/"
SRC_URI="http://www.recherche.enac.fr/log/facile/distrib/${P}.tar.gz"
RESTRICT="mirror"

LICENSE="LGPL-2.1"
SLOT="0"

KEYWORDS="alpha amd64 hppa ia64 ppc ppc64 sparc x86"
IUSE="+ocamlopt"

RDEPEND=">=dev-lang/ocaml-3.09.3-r1"
DEPEND="${RDEPEND}
sys-apps/sed"

pkg_setup() {
if use ocamlopt && ! built_with_use --missing true dev-lang/ocaml ocamlopt; then
eerror "In order to build ${PN} with native code support from ocaml"
eerror "You first need to have a native code ocaml compiler."
eerror "You need to install dev-lang/ocaml with ocamlopt useflag on."
die "Please install ocaml with ocamlopt useflag"
fi
}

src_unpack() {
unpack ${A}
cd "${S}"

# Fix building on FreeBSD
epatch "${FILESDIR}/${P}"-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_compile(){
# This is a custom configure script and it does not support standard options
./configure --faciledir "${D}"$(ocamlc -where)/facile/
emake || die "Compilation failed"
}

src_test() {
emake check || die "emake check failed"
}

src_install(){
dodir $(ocamlc -where)
emake install || die "Installation failed"
dodoc README || die "installing docs failed"
}

files

metadata.xml




kde
ml