diff options
| author |   Jonathan-Christofer Demay <jcdemay@gmail.com> | 2012-02-06 15:32:50 +0100 |
|---|---|---|
| committer | Jonathan-Christofer Demay <jcdemay@gmail.com> | 2012-02-06 15:32:50 +0100 |
| commit | cae14105085c3f64ee8a34a3d95547c150a5fe88 (patch) | |
| tree | 75f3b86d6eddc4ea5923d6226aa7cb8b23f844d5 /sci-mathematics | |
| parent | sci-mathematics/gappa: version bump (diff) | |
| download | sci-cae14105085c3f64ee8a34a3d95547c150a5fe88.tar.gz sci-cae14105085c3f64ee8a34a3d95547c150a5fe88.tar.bz2 sci-cae14105085c3f64ee8a34a3d95547c150a5fe88.zip | |
sci-mathematics/gappalib-coq: version bump
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/gappalib-coq/ChangeLog | 10 | ||||
| -rw-r--r-- | sci-mathematics/gappalib-coq/Manifest | 3 | ||||
| -rw-r--r-- | sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild | 31 | ||||
| -rw-r--r-- | sci-mathematics/gappalib-coq/metadata.xml | 2 |
4 files changed, 24 insertions, 22 deletions
diff --git a/sci-mathematics/gappalib-coq/ChangeLog b/sci-mathematics/gappalib-coq/ChangeLog index b4d33094c..234b59026 100644 --- a/sci-mathematics/gappalib-coq/ChangeLog +++ b/sci-mathematics/gappalib-coq/ChangeLog @@ -1,12 +1,10 @@ # ChangeLog for sci-mathematics/gappalib-coq -# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ -*gappalib-coq-0.16.0 (25 Jun 2011) - - 25 Jun 2011; Justin Lecher <jlec@gentoo.org> -gappalib-coq-0.14.1.ebuild, - +gappalib-coq-0.16.0.ebuild: - Version Bump + 12 Dec 2011; J.-C. Demay <jcdemay@gmail.com> + +gappalib-coq-0.16.0.ebuild, -gappalib-coq-0.14.1.ebuild: + version bump 04 Jul 2010; J.-C. Demay <jcdemay@gmail.com> +gappalib-coq-0.14.1.ebuild, -gappalib-coq-0.13.ebuild: diff --git a/sci-mathematics/gappalib-coq/Manifest b/sci-mathematics/gappalib-coq/Manifest index 2cc98c684..1df1498c4 100644 --- a/sci-mathematics/gappalib-coq/Manifest +++ b/sci-mathematics/gappalib-coq/Manifest @@ -1 +1,4 @@ DIST gappalib-coq-0.16.0.tar.gz 111747 RMD160 6e59d50be1b178da78a7a950e15e4c6f926861e1 SHA1 da7f54a7d839e8bee1fd8e2acedcc1dbd061f0ad SHA256 63c98fda2ef70de13de7bc8a0b5de243a1d75020fe767494f5c2c79a171a8ef6 +EBUILD gappalib-coq-0.16.0.ebuild 849 RMD160 76a02265c7f75a22616a668bf64be9a457f25b45 SHA1 4ce53d2fbf93325bdaee350629ee54e0a9e22db0 SHA256 6e1ee44dfa57c0bf25d2af67f5cb40a392b417234efe9e9cbfbe5bef53969c3f +MISC ChangeLog 582 RMD160 1322ac6d27d99ac869d5240d6e1052873edba50f SHA1 9194ba536a8838e2df37f34eed49802ca9c0b883 SHA256 653f951b18596f8576be97799d5014ccd0253962ee123d115ca45df6f714e878 +MISC metadata.xml 443 RMD160 55e58c43af6e41bc5601ca2543b2f474d102a59f SHA1 75fdfc8f6a45175d41b6edfc537e857a205ce3ab SHA256 f799ef0a949ecbc8353f099966b0b11a2022cf812c4c80a331a40356773561fe diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild index f0b130cef..db8faf3bb 100644 --- a/sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild +++ b/sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild @@ -1,33 +1,34 @@ -# Copyright 1999-2011 Gentoo Foundation +# Copyright 1999-2009 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI=4 +EAPI="2" -ID=28596 - -DESCRIPTION="Gappa certificate generator to be imported by the Coq" +DESCRIPTION="This library allows the certificates Gappa generates to be imported by the Coq." HOMEPAGE="http://gappa.gforge.inria.fr/" -SRC_URI="http://gforge.inria.fr/frs/download.php/${ID}/${P}.tar.gz" +SRC_URI="http://gforge.inria.fr/frs/download.php/28596/${P}.tar.gz" LICENSE="LGPL-2" SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86" +KEYWORDS="~amd64 ~ppc ~sparc ~x86" IUSE="" -DEPEND=" - sci-mathematics/gappa - sci-mathematics/coq - sci-mathematics/flocq" +DEPEND="sci-mathematics/gappa + sci-mathematics/coq + sci-mathematics/flocq" RDEPEND="${DEPEND}" src_prepare(){ - sed \ - -i configure \ - -e "s/if test \"\$libdir\" = '\${exec_prefix}\/lib';/ \ + sed -i configure -e "s/if test \"\$libdir\" = '\${exec_prefix}\/lib';/ \ if test \"\$libdir\" = '\${exec_prefix}\/lib' -o "\$libdir" = \"\${prefix}\/lib64\";/g" } src_compile(){ - emake DESTDIR="/" + emake DESTDIR="/" || die "emake failed" +} + +src_install(){ + emake install DESTDIR="${D}" || die "emake install failed" + dodoc NEWS README AUTHORS } + diff --git a/sci-mathematics/gappalib-coq/metadata.xml b/sci-mathematics/gappalib-coq/metadata.xml index babbea2bc..67a0fb5eb 100644 --- a/sci-mathematics/gappalib-coq/metadata.xml +++ b/sci-mathematics/gappalib-coq/metadata.xml @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <herd>sci-mathematics</herd> + <herd>sci</herd> <longdescription> While Gappa is intended to be used directly, it can also act as a backend prover for the Why software verification plateform or as an |