diff options
Diffstat (limited to 'dev-ml/mlgmpidl')
| -rw-r--r-- | dev-ml/mlgmpidl/ChangeLog | 2 | ||||
| -rw-r--r-- | dev-ml/mlgmpidl/Manifest | 4 | ||||
| -rw-r--r-- | dev-ml/mlgmpidl/metadata.xml | 23 | ||||
| -rw-r--r-- | dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild | 6 |
4 files changed, 21 insertions, 14 deletions
diff --git a/dev-ml/mlgmpidl/ChangeLog b/dev-ml/mlgmpidl/ChangeLog index 7fb3a3c06..0b8e69c49 100644 --- a/dev-ml/mlgmpidl/ChangeLog +++ b/dev-ml/mlgmpidl/ChangeLog @@ -2,7 +2,7 @@ # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ - 03 Jul 2010; J.-C. Demay <jcdemay@gmail.com> + 03 Jul 2010; Jonathan-Christofer Demay <jcdemay@gmail.com> mlgmpidl-1.1.ebuild, +files/mlgmpidl-1.1-mpfr-3_compat.patch: dev-libs/mpfr-3.0.0 compatibility diff --git a/dev-ml/mlgmpidl/Manifest b/dev-ml/mlgmpidl/Manifest index e3fb55977..81f2b7f30 100644 --- a/dev-ml/mlgmpidl/Manifest +++ b/dev-ml/mlgmpidl/Manifest @@ -1 +1,5 @@ +AUX mlgmpidl-1.1-mpfr-3_compat.patch 496 SHA256 d888a1ad0930895ef2ec83bef6eef5a39ed18a38aa3a637f33b61b9a20d19e2b SHA512 b4979e4dbf1cc5aa1fba5ffb08557c6c32d16e4d2c3ae1fc14d999e52231efb344524e1dc2d6612021a0b4dba4b5f6d1394316abff4698f58d5decc3ff417cbf WHIRLPOOL a3f1c218c2de8413042f56f1de2a6257a895a44edd16daa0e301a20426da0c0275685e440d039d8db39b79853617c54b68002c4d5dd2b63a9d22a9341d987a7d DIST mlgmpidl-1.1.tgz 194002 SHA256 8990a56f4c1ff701bb922bacf7f23b40539d123216ac5f9fe0f35967735d6fc9 +EBUILD mlgmpidl-1.1.ebuild 1311 SHA256 756c0655b0045c2e8c2c4072f113023dd70d6e27dd31059db234df7ca586d188 SHA512 493266916193940b1701aea85cbb447e154820113b87ec87319d3ffd11689c08b3a77d5fd8e8c9290b05141ac83707f68ff97e2ba6b5050796b58aa11bc68c1e WHIRLPOOL 1861032f03cf71ec5c6d025c0f2f17964cf07822425d8fca1d1e19c1755ee9d985bc689f49ce123ebdd95f1b682c1c1a00d818900cb6ddae3cf550ae2596010d +MISC ChangeLog 394 SHA256 ec34f25ee458e0ce79b7209a31cfbb9e40975cc3e22e7b97fc9fc57372c9a549 SHA512 eafca747c958cb036ae7dfbd068d8be9c6db76342d42d458c886fc8dc1677d6b5d9bb758da7e138bc89c87816a58ddc50eabf115b5b9a41dfdca8ff3d5bd73eb WHIRLPOOL da7983220947c85972e778061bff3b0612a2de7a39a343a88ef204a6235050b32b8b3a791f485ba187b819f97adb88811c7437cc47096b5f723644ffabd3364b +MISC metadata.xml 629 SHA256 c430bdc6e03131ed1ce7f991f1ad0d9fd641be877a5bd089da1179fa8d10eb1a SHA512 a5c827b6e812cc96befabb965377723eae2468e8d7ad8f3ae00c6c3ad70d459301225b8f76105ed8f02bdd2f261407b4d2dbd4fab1b1d17806fba0d14f1663b2 WHIRLPOOL 1fb51759a7409d3d3cc8178c3f4db215fb7fbb350bbe6c5314292f303749f1a655bcf0375c3960e9d86506a7981bbede2b9d2beffb5bd2fe861d02a9c7b081d9 diff --git a/dev-ml/mlgmpidl/metadata.xml b/dev-ml/mlgmpidl/metadata.xml index a3fac8132..c6107f8e5 100644 --- a/dev-ml/mlgmpidl/metadata.xml +++ b/dev-ml/mlgmpidl/metadata.xml @@ -1,14 +1,17 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> -<herd>sci-mathematics</herd> -<longdescription> - MLGMPIDL is a package offering an interface to the GMP and MPFR - libraries for OCaml version 3.07 or higher. The interface offers access - to almost all the functions of the library, and is decomposed into 7 - submodules. -</longdescription> -<use> - <flag name="mpfr">Add support for <pkg>dev-libs/mpfr</pkg></flag> -</use> + <herd>sci</herd> + <longdescription> + MLGMPIDL is a package offering an interface to the GMP and MPFR + libraries for OCaml version 3.07 or higher. The interface offers access + to almost all the functions of the library, and is decomposed into 7 + submodules. + </longdescription> + <maintainer> + <email>sci@gentoo.org</email> + </maintainer> + <use> + <flag name="mpfr">add support for mpfr, the library for multiple-precision floating-point computations with exact rounding</flag> + </use> </pkgmetadata> diff --git a/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild b/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild index a2bf2eec4..6efca0c5f 100644 --- a/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild +++ b/dev-ml/mlgmpidl/mlgmpidl-1.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2014 Gentoo Foundation +# Copyright 1999-2010 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ @@ -12,7 +12,7 @@ SRC_URI="https://gforge.inria.fr/frs/download.php/20228/${PN}-${PV}.tgz" LICENSE="LGPL-2" SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86" +KEYWORDS="~amd64 ~x86" IUSE="doc +mpfr" DEPEND=">=dev-lang/ocaml-3.09 @@ -49,7 +49,7 @@ src_compile() { } src_install(){ - emake install DESTDIR="${D}" || die "emake install failed" + DESTDIR="${D}" emake install || die "emake install failed" dodoc README if use doc; then |