Archives
Archives
| From: | "Wulf Krueger (philantrop)" <philantrop@g.o> |
|---|---|
| To: | gentoo-commits@l.g.o |
| Subject: | [gentoo-commits] gentoo-x86 commit in dev-ml/facile: metadata.xml Manifest facile-1.1.ebuild ChangeLog |
| Date: | Mon, 10 Sep 2007 21:21:57 |
| Message-Id: | E1IUqO1-0001Kl-S0@stork.gentoo.org |
| 1 | philantrop 07/09/10 21:01:37 |
| 2 | |
| 3 | Added: metadata.xml Manifest facile-1.1.ebuild ChangeLog |
| 4 | Log: |
| 5 | Imported from the KDE4 overlay to the tree for KDE3 (and KDE4 later on). Thanks, Zephyrus! |
| 6 | (Portage version: 2.1.3.9) |
| 7 | |
| 8 | Revision Changes Path |
| 9 | 1.1 dev-ml/facile/metadata.xml |
| 10 | |
| 11 | file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/metadata.xml?rev=1.1&view=markup |
| 12 | plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/metadata.xml?rev=1.1&content-type=text/plain |
| 13 | |
| 14 | Index: metadata.xml |
| 15 | =================================================================== |
| 16 | <?xml version="1.0" encoding="UTF-8"?> |
| 17 | <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
| 18 | <pkgmetadata> |
| 19 | <herd>kde</herd> |
| 20 | <herd>ml</herd> |
| 21 | </pkgmetadata> |
| 22 | |
| 23 | |
| 24 | |
| 25 | 1.1 dev-ml/facile/Manifest |
| 26 | |
| 27 | file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/Manifest?rev=1.1&view=markup |
| 28 | plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/Manifest?rev=1.1&content-type=text/plain |
| 29 | |
| 30 | Index: Manifest |
| 31 | =================================================================== |
| 32 | -----BEGIN PGP SIGNED MESSAGE----- |
| 33 | Hash: SHA1 |
| 34 | |
| 35 | DIST facile-1.1.tar.gz 96343 RMD160 1ed7b8f916e34889bb67f06b6a9d6a121d69fe32 SHA1 31dea6e19542292c9ccb41515b0ec7ecd103bb80 SHA256 a87a6ba7869104f85828c19a9681758bd1d01c816581ba09ac483739ad4ae5ca |
| 36 | EBUILD facile-1.1.ebuild 821 RMD160 ae6f669637da1c5cf03e24ef722514cef5865dfb SHA1 8d27e49d8ffc5d79bae3a317acf02e32b770caf8 SHA256 cdda8563199b62dbae8f9d9ddbee574035da52b5872ae01dec1b79b25b99077e |
| 37 | MD5 be02af1942f8c029e86ab4716458b500 facile-1.1.ebuild 821 |
| 38 | RMD160 ae6f669637da1c5cf03e24ef722514cef5865dfb facile-1.1.ebuild 821 |
| 39 | SHA256 cdda8563199b62dbae8f9d9ddbee574035da52b5872ae01dec1b79b25b99077e facile-1.1.ebuild 821 |
| 40 | MISC ChangeLog 734 RMD160 58a5ae334627ce1ba19ffb1dd15a27acec85cfbf SHA1 a325462e8a2d702eaea4a652b6bd953e365fdb84 SHA256 48c99214a505243ec4f19dcaa965b7cb6f6f0e4a4ac930a802cc8834ec55564c |
| 41 | MD5 97689a59c07ac5415ab17e332d8eafd6 ChangeLog 734 |
| 42 | RMD160 58a5ae334627ce1ba19ffb1dd15a27acec85cfbf ChangeLog 734 |
| 43 | SHA256 48c99214a505243ec4f19dcaa965b7cb6f6f0e4a4ac930a802cc8834ec55564c ChangeLog 734 |
| 44 | MISC metadata.xml 172 RMD160 e2cd94e573a70360026089d04a69c0f5ea6e47db SHA1 150b276d48304002290b10c0eb43df6858c8e729 SHA256 667504f38af7bc26d7a585a40d28365d53e5154178847ec85f44baa9ebbb91d5 |
| 45 | MD5 1aee63f07c0b9c4a24d284f63c3a45ea metadata.xml 172 |
| 46 | RMD160 e2cd94e573a70360026089d04a69c0f5ea6e47db metadata.xml 172 |
| 47 | SHA256 667504f38af7bc26d7a585a40d28365d53e5154178847ec85f44baa9ebbb91d5 metadata.xml 172 |
| 48 | MD5 5f721764155106c70848e1bf17995204 files/digest-facile-1.1 229 |
| 49 | RMD160 a51a18ac52c9f62a433b3b4185b0d526bc4373f3 files/digest-facile-1.1 229 |
| 50 | SHA256 099fcfee06ea98f50bb67c1ff55b2e0428225a7dd699f074107e8b17909f3558 files/digest-facile-1.1 229 |
| 51 | -----BEGIN PGP SIGNATURE----- |
| 52 | Version: GnuPG v2.0.6 (GNU/Linux) |
| 53 | |
| 54 | iD8DBQFG5a9DCkvF58q80IkRAksKAJ9oR8C4voVRbnN7rVSfxwuRuxtC3ACeJJT2 |
| 55 | R955F4FZds4/dCzUs8aQ2Wk= |
| 56 | =CN0r |
| 57 | -----END PGP SIGNATURE----- |
| 58 | |
| 59 | |
| 60 | |
| 61 | 1.1 dev-ml/facile/facile-1.1.ebuild |
| 62 | |
| 63 | file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.1&view=markup |
| 64 | plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/facile-1.1.ebuild?rev=1.1&content-type=text/plain |
| 65 | |
| 66 | Index: facile-1.1.ebuild |
| 67 | =================================================================== |
| 68 | # Copyright 1999-2007 Gentoo Foundation |
| 69 | # Distributed under the terms of the GNU General Public License v2 |
| 70 | # $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/facile-1.1.ebuild,v 1.1 2007/09/10 21:01:37 philantrop Exp $ |
| 71 | |
| 72 | DESCRIPTION="FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml." |
| 73 | HOMEPAGE="http://www.recherche.enac.fr/log/facile/" |
| 74 | SRC_URI="http://www.recherche.enac.fr/log/facile/distrib/${P}.tar.gz" |
| 75 | RESTRICT="mirror" |
| 76 | |
| 77 | LICENSE="LGPL-2.1" |
| 78 | SLOT="0" |
| 79 | |
| 80 | KEYWORDS="~amd64 ~x86" |
| 81 | IUSE="" |
| 82 | |
| 83 | DEPEND=">=dev-lang/ocaml-3.09.3-r1" |
| 84 | RDEPEND="${DEPEND}" |
| 85 | |
| 86 | src_compile(){ |
| 87 | # This is a custom configure script and it does not support standard options |
| 88 | ./configure --faciledir ${D}$(ocamlc -where)/facile/ |
| 89 | emake || die "Compilation failed" |
| 90 | } |
| 91 | |
| 92 | src_install(){ |
| 93 | dodir $(ocamlc -where) |
| 94 | emake install || die "Installation failed" |
| 95 | dodoc LICENSE README || die "installing docs failed" |
| 96 | } |
| 97 | |
| 98 | |
| 99 | |
| 100 | 1.1 dev-ml/facile/ChangeLog |
| 101 | |
| 102 | file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.1&view=markup |
| 103 | plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/dev-ml/facile/ChangeLog?rev=1.1&content-type=text/plain |
| 104 | |
| 105 | Index: ChangeLog |
| 106 | =================================================================== |
| 107 | # ChangeLog for dev-ml/facile |
| 108 | # Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2 |
| 109 | # $Header: /var/cvsroot/gentoo-x86/dev-ml/facile/ChangeLog,v 1.1 2007/09/10 21:01:37 philantrop Exp $ |
| 110 | |
| 111 | *facile-1.1 (10 Sep 2007) |
| 112 | |
| 113 | 10 Sep 2007; Wulf C. Krueger <philantrop@g.o> +metadata.xml, |
| 114 | +facile-1.1.ebuild: |
| 115 | Imported from the KDE4 overlay to the tree. Thanks, Zephyrus! |
| 116 | |
| 117 | 09 Sep 2007; Emanuele A. Bagnaschi <zephyrus@××××××.it> facile-1.1.ebuild: |
| 118 | Added doc support. |
| 119 | |
| 120 | 09 Sep 2007; Emanuele A. Bagnaschi <zephyrus@××××××.it> facile-1.1.ebuild: |
| 121 | Added missing die |
| 122 | |
| 123 | 08 Sep 2007; Emanuele A. Bagnaschi <zephyrus@××××××.it> facile-1.1.ebuild: |
| 124 | Keyworded ~amd64 |
| 125 | |
| 126 | 18 Jul 2007; Emanuele A. Bagnaschi <zephyrus@××××××.it> +metadata.xml, |
| 127 | facile-1.1.ebuild: |
| 128 | Added Changelog and metadata. Fixed LICENSE. |
| 129 | |
| 130 | |
| 131 | |
| 132 | |
| 133 | -- |
| 134 | gentoo-commits@g.o mailing list |