Imported from the KDE4 overlay to the tree for KDE3 (and KDE4 later on). Thanks, Zephyrus!

Package-Manager: portage-2.1.3.9

5 files changed, 87 insertions, 0 deletions

diff --git a/dev-ml/facile/ChangeLog b/dev-ml/facile/ChangeLog
new file mode 100644
index 000000000000..4e1447c021ba
--- /dev/null
+++ b/dev-ml/facile/ChangeLog
@@ -0,0 +1,23 @@
+# ChangeLog for dev-ml/facile
+# Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.1 2007/09/10 21:01:37 philantrop Exp $
+
+*facile-1.1 (10 Sep 2007)
+
+  10 Sep 2007; Wulf C. Krueger <philantrop@gentoo.org> +metadata.xml,
+  +facile-1.1.ebuild:
+  Imported from the KDE4 overlay to the tree. Thanks, Zephyrus!
+
+  09 Sep 2007; Emanuele A. Bagnaschi <zephyrus@mirach.it> facile-1.1.ebuild:
+  Added doc support.
+
+  09 Sep 2007; Emanuele A. Bagnaschi <zephyrus@mirach.it> facile-1.1.ebuild:
+  Added missing die
+
+  08 Sep 2007; Emanuele A. Bagnaschi <zephyrus@mirach.it> facile-1.1.ebuild:
+  Keyworded ~amd64
+
+  18 Jul 2007; Emanuele A. Bagnaschi <zephyrus@mirach.it> +metadata.xml,
+  facile-1.1.ebuild:
+  Added Changelog and metadata. Fixed LICENSE.
+
diff --git a/dev-ml/facile/Manifest b/dev-ml/facile/Manifest
new file mode 100644
index 000000000000..97a35de4c046
--- /dev/null
+++ b/dev-ml/facile/Manifest
@@ -0,0 +1,26 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA1
+
+DIST facile-1.1.tar.gz 96343 RMD160 1ed7b8f916e34889bb67f06b6a9d6a121d69fe32 SHA1 31dea6e19542292c9ccb41515b0ec7ecd103bb80 SHA256 a87a6ba7869104f85828c19a9681758bd1d01c816581ba09ac483739ad4ae5ca
+EBUILD facile-1.1.ebuild 918 RMD160 8c6d8861bff04ec488711cbc2fcc8dae3c26179a SHA1 9604ceb06aa4b0d2a458cafb040ffe65c7e8b676 SHA256 cc8e9730ea72adea9b1b96ed7227bb92ee07fa949e70ccc1d70fd636fdc14ad4
+MD5 e95d6ec3b1fffe02c5d3c4007fb1dc47 facile-1.1.ebuild 918
+RMD160 8c6d8861bff04ec488711cbc2fcc8dae3c26179a facile-1.1.ebuild 918
+SHA256 cc8e9730ea72adea9b1b96ed7227bb92ee07fa949e70ccc1d70fd636fdc14ad4 facile-1.1.ebuild 918
+MISC ChangeLog 823 RMD160 97142d6d95d1e5d45ebdea5253d79f5cb17430c8 SHA1 b2e03e29613f10c3d708f5b682c57b3f9c36cb96 SHA256 4f58e7fe61f4aef0639b504863d8126af36c70d9af4b14c4741e9e84ecf3e88f
+MD5 832946b4aaa68d06eaf9d852e214c4e1 ChangeLog 823
+RMD160 97142d6d95d1e5d45ebdea5253d79f5cb17430c8 ChangeLog 823
+SHA256 4f58e7fe61f4aef0639b504863d8126af36c70d9af4b14c4741e9e84ecf3e88f ChangeLog 823
+MISC metadata.xml 172 RMD160 e2cd94e573a70360026089d04a69c0f5ea6e47db SHA1 150b276d48304002290b10c0eb43df6858c8e729 SHA256 667504f38af7bc26d7a585a40d28365d53e5154178847ec85f44baa9ebbb91d5
+MD5 1aee63f07c0b9c4a24d284f63c3a45ea metadata.xml 172
+RMD160 e2cd94e573a70360026089d04a69c0f5ea6e47db metadata.xml 172
+SHA256 667504f38af7bc26d7a585a40d28365d53e5154178847ec85f44baa9ebbb91d5 metadata.xml 172
+MD5 5f721764155106c70848e1bf17995204 files/digest-facile-1.1 229
+RMD160 a51a18ac52c9f62a433b3b4185b0d526bc4373f3 files/digest-facile-1.1 229
+SHA256 099fcfee06ea98f50bb67c1ff55b2e0428225a7dd699f074107e8b17909f3558 files/digest-facile-1.1 229
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.6 (GNU/Linux)
+
+iD8DBQFG5bC6CkvF58q80IkRAn8CAJsH+ow938A5nCjiw4bhuGHRuVrpBwCeKotY
+FW7wNGWorRC6Xt72imGYPD8=
+=NKCq
+-----END PGP SIGNATURE-----
diff --git a/dev-ml/facile/facile-1.1.ebuild b/dev-ml/facile/facile-1.1.ebuild
new file mode 100644
index 000000000000..0c50b47917ae
--- /dev/null
+++ b/dev-ml/facile/facile-1.1.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2007 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.1 2007/09/10 21:01:37 philantrop Exp $
+
+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="~amd64 ~x86"
+IUSE=""
+
+DEPEND=">=dev-lang/ocaml-3.09.3-r1"
+RDEPEND="${DEPEND}"
+
+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_install(){
+	dodir $(ocamlc -where)
+	emake install || die "Installation failed"
+	dodoc LICENSE README || die "installing docs failed"
+}
diff --git a/dev-ml/facile/files/digest-facile-1.1 b/dev-ml/facile/files/digest-facile-1.1
new file mode 100644
index 000000000000..1d1d868f99a5
--- /dev/null
+++ b/dev-ml/facile/files/digest-facile-1.1
@@ -0,0 +1,3 @@
+MD5 ab673e1fc0859a42bcb639a02c2d7e9e facile-1.1.tar.gz 96343
+RMD160 1ed7b8f916e34889bb67f06b6a9d6a121d69fe32 facile-1.1.tar.gz 96343
+SHA256 a87a6ba7869104f85828c19a9681758bd1d01c816581ba09ac483739ad4ae5ca facile-1.1.tar.gz 96343
diff --git a/dev-ml/facile/metadata.xml b/dev-ml/facile/metadata.xml
new file mode 100644
index 000000000000..b8f481c02b36
--- /dev/null
+++ b/dev-ml/facile/metadata.xml
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<herd>kde</herd>
+<herd>ml</herd>
+</pkgmetadata>