* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/
@ 2021-03-04 12:09 Andrew Ammerlaan
0 siblings, 0 replies; 10+ messages in thread
From: Andrew Ammerlaan @ 2021-03-04 12:09 UTC (permalink / raw
To: gentoo-commits
commit: ecd9b59ce10d394d3d37f9b80008e35f1dfe7baf
Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Thu Mar 4 12:09:01 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Thu Mar 4 12:09:01 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=ecd9b59c
sci-mathematics/gappalib-coq: drop old
Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>
.../gappalib-coq/gappalib-coq-1.0.0.ebuild | 33 ----------------------
1 file changed, 33 deletions(-)
diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild
deleted file mode 100644
index 6aef54089..000000000
--- a/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild
+++ /dev/null
@@ -1,33 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-DESCRIPTION="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/32743/${P}.tar.gz"
-
-LICENSE="LGPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-DEPEND="sci-mathematics/gappa
- sci-mathematics/coq
- sci-mathematics/flocq"
-RDEPEND="${DEPEND}"
-
-src_prepare() {
- sed -i Remakefile.in \
- -e "s:mkdir -p @libdir@:mkdir -p \${DESTDIR}@libdir@:g" \
- -e "s:cp \$(OBJS) \$(MLTARGETS) @libdir@:cp \$(OBJS) \$(MLTARGETS) \${DESTDIR}@libdir@:g"
-}
-
-src_compile() {
- ./remake || die "emake failed"
-}
-
-src_install() {
- DESTDIR="${D}" ./remake install || die "emake install failed"
- dodoc NEWS README AUTHORS ChangeLog
-}
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/
@ 2023-01-03 19:09 Andrew Ammerlaan
0 siblings, 0 replies; 10+ messages in thread
From: Andrew Ammerlaan @ 2023-01-03 19:09 UTC (permalink / raw
To: gentoo-commits
commit: af0c252d74d64140b4997f1c56e869e9410015b4
Author: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
AuthorDate: Tue Jan 3 19:08:25 2023 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Tue Jan 3 19:08:25 2023 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=af0c252d
sci-mathematics/gappalib-coq: treeclean
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>
.../gappalib-coq/gappalib-coq-1.4.6.ebuild | 35 ----------------------
sci-mathematics/gappalib-coq/metadata.xml | 13 --------
2 files changed, 48 deletions(-)
diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild
deleted file mode 100644
index 82b02933c..000000000
--- a/sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild
+++ /dev/null
@@ -1,35 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-DESCRIPTION="Allows the certificates Gappa generates to be imported by the Coq"
-HOMEPAGE="http://gappa.gforge.inria.fr/"
-SRC_URI="https://gforge.inria.fr/frs/download.php/file/38386/${P}.tar.gz"
-
-LICENSE="LGPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-
-DEPEND="
- >=sci-mathematics/gappa-1.3.2
- >=sci-mathematics/coq-8.8
- >=sci-mathematics/flocq-3.0
-"
-RDEPEND="${DEPEND}"
-
-src_prepare() {
- default
- sed -i Remakefile.in \
- -e "s:mkdir -p @libdir@:mkdir -p \${DESTDIR}@libdir@:g" \
- -e "s:cp \$(OBJS) \$(MLTARGETS) @libdir@:cp \$(OBJS) \$(MLTARGETS) \${DESTDIR}@libdir@:g"
-}
-
-src_compile() {
- ./remake || die "emake failed"
-}
-
-src_install() {
- DESTDIR="${D}" ./remake install || die "emake install failed"
- einstalldocs
-}
diff --git a/sci-mathematics/gappalib-coq/metadata.xml b/sci-mathematics/gappalib-coq/metadata.xml
deleted file mode 100644
index 182ed0520..000000000
--- a/sci-mathematics/gappalib-coq/metadata.xml
+++ /dev/null
@@ -1,13 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
- <maintainer type="project">
- <email>sci-mathematics@gentoo.org</email>
- <name>Gentoo Mathematics Project</name>
- </maintainer>
- <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
-automatic tactic for the Coq proof assistant.
-</longdescription>
-</pkgmetadata>
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/
@ 2021-03-04 12:09 Andrew Ammerlaan
0 siblings, 0 replies; 10+ messages in thread
From: Andrew Ammerlaan @ 2021-03-04 12:09 UTC (permalink / raw
To: gentoo-commits
commit: 05c0b4ec3733034cb12a8e4c4121182c012db8ff
Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Thu Mar 4 12:08:49 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Thu Mar 4 12:08:49 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=05c0b4ec
sci-mathematics/gappalib-coq: version bump 1.4.6
Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>
.../gappalib-coq/gappalib-coq-1.4.6.ebuild | 35 ++++++++++++++++++++++
1 file changed, 35 insertions(+)
diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild
new file mode 100644
index 000000000..82b02933c
--- /dev/null
+++ b/sci-mathematics/gappalib-coq/gappalib-coq-1.4.6.ebuild
@@ -0,0 +1,35 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+DESCRIPTION="Allows the certificates Gappa generates to be imported by the Coq"
+HOMEPAGE="http://gappa.gforge.inria.fr/"
+SRC_URI="https://gforge.inria.fr/frs/download.php/file/38386/${P}.tar.gz"
+
+LICENSE="LGPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+DEPEND="
+ >=sci-mathematics/gappa-1.3.2
+ >=sci-mathematics/coq-8.8
+ >=sci-mathematics/flocq-3.0
+"
+RDEPEND="${DEPEND}"
+
+src_prepare() {
+ default
+ sed -i Remakefile.in \
+ -e "s:mkdir -p @libdir@:mkdir -p \${DESTDIR}@libdir@:g" \
+ -e "s:cp \$(OBJS) \$(MLTARGETS) @libdir@:cp \$(OBJS) \$(MLTARGETS) \${DESTDIR}@libdir@:g"
+}
+
+src_compile() {
+ ./remake || die "emake failed"
+}
+
+src_install() {
+ DESTDIR="${D}" ./remake install || die "emake install failed"
+ einstalldocs
+}
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/
@ 2014-09-16 17:01 Christoph Junghans
0 siblings, 0 replies; 10+ messages in thread
From: Christoph Junghans @ 2014-09-16 17:01 UTC (permalink / raw
To: gentoo-commits
commit: c89d641686ffcbec14d8bc2ad8624b7d35ed1c91
Author: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
AuthorDate: Tue Sep 16 16:50:51 2014 +0000
Commit: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
CommitDate: Tue Sep 16 16:50:51 2014 +0000
URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=c89d6416
remove last line
Package-Manager: portage-2.2.8-r1
---
sci-mathematics/gappalib-coq/ChangeLog | 4 +++-
sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild | 1 -
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/gappalib-coq/ChangeLog b/sci-mathematics/gappalib-coq/ChangeLog
index c2d0ab4..cc48c6c 100644
--- a/sci-mathematics/gappalib-coq/ChangeLog
+++ b/sci-mathematics/gappalib-coq/ChangeLog
@@ -2,6 +2,9 @@
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 16 Sep 2014; Christoph Junghans <ottxor@gentoo.org> gappalib-coq-1.0.0.ebuild:
+ remove last line
+
21 Jun 2014; Jonathan-Christofer Demay <jcdemay@gmail.com>
-gappalib-coq-0.18.0.ebuild, -files/gappalib-coq-coq84.patch, gappalib-coq-1.0.0.ebuild:
version bump
@@ -29,4 +32,3 @@
04 Jul 2010; Jonathan-Christofer Demay <jcdemay@gmail.com>
+metadata.xml, +ChangeLog:
QA fixes
-
diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild
index 2be76ba..5551275 100644
--- a/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild
+++ b/sci-mathematics/gappalib-coq/gappalib-coq-1.0.0.ebuild
@@ -32,4 +32,3 @@ src_install() {
DESTDIR="${D}" ./remake install || die "emake install failed"
dodoc NEWS README AUTHORS ChangeLog
}
-
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/
@ 2014-01-18 7:39 Justin Lecher
0 siblings, 0 replies; 10+ messages in thread
From: Justin Lecher @ 2014-01-18 7:39 UTC (permalink / raw
To: gentoo-commits
commit: 94debdbf114b41a4ba0e5504705aa4abdb213ef4
Author: Keshav Kini <keshav.kini <AT> gmail <DOT> com>
AuthorDate: Fri Jan 17 21:58:28 2014 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Fri Jan 17 21:58:28 2014 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=94debdbf
Fix typo in gappalib-coq-0.18.0.ebuild
---
sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild
index cad10ac..4cb3021 100644
--- a/sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild
+++ b/sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild
@@ -6,7 +6,7 @@ EAPI=5
inherit eutils
-DESCRIPTION="Allows the certificates Gappa generates to be imported by the Coq"
+DESCRIPTION="Allows the certificates Gappa generates to be imported by Coq"
HOMEPAGE="http://gappa.gforge.inria.fr/"
SRC_URI="http://gforge.inria.fr/frs/download.php/30081/${P}.tar.gz"
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/
@ 2014-01-18 7:38 Justin Lecher
0 siblings, 0 replies; 10+ messages in thread
From: Justin Lecher @ 2014-01-18 7:38 UTC (permalink / raw
To: gentoo-commits
commit: 2c36e1c0f3398fd1d0bef59a1ff2dc383daed54c
Author: Keshav Kini <keshav.kini <AT> gmail <DOT> com>
AuthorDate: Fri Jan 17 21:58:28 2014 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Sat Jan 18 07:38:34 2014 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=2c36e1c0
Fix typo in gappalib-coq-0.18.0.ebuild
---
sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild
index cad10ac..4cb3021 100644
--- a/sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild
+++ b/sci-mathematics/gappalib-coq/gappalib-coq-0.18.0.ebuild
@@ -6,7 +6,7 @@ EAPI=5
inherit eutils
-DESCRIPTION="Allows the certificates Gappa generates to be imported by the Coq"
+DESCRIPTION="Allows the certificates Gappa generates to be imported by Coq"
HOMEPAGE="http://gappa.gforge.inria.fr/"
SRC_URI="http://gforge.inria.fr/frs/download.php/30081/${P}.tar.gz"
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/
@ 2012-02-06 14:33 Jonathan-Christofer Demay
0 siblings, 0 replies; 10+ messages in thread
From: Jonathan-Christofer Demay @ 2012-02-06 14:33 UTC (permalink / raw
To: gentoo-commits
commit: cae14105085c3f64ee8a34a3d95547c150a5fe88
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Feb 6 14:32:50 2012 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Feb 6 14:32:50 2012 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=cae14105
sci-mathematics/gappalib-coq: version bump
---
sci-mathematics/gappalib-coq/ChangeLog | 10 ++----
.../gappalib-coq/gappalib-coq-0.16.0.ebuild | 31 ++++++++++---------
sci-mathematics/gappalib-coq/metadata.xml | 2 +-
3 files changed, 21 insertions(+), 22 deletions(-)
diff --git a/sci-mathematics/gappalib-coq/ChangeLog b/sci-mathematics/gappalib-coq/ChangeLog
index b4d3309..234b590 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/gappalib-coq-0.16.0.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild
index f0b130c..db8faf3 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 babbea2..67a0fb5 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
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/
@ 2011-06-25 17:22 Justin Lecher
0 siblings, 0 replies; 10+ messages in thread
From: Justin Lecher @ 2011-06-25 17:22 UTC (permalink / raw
To: gentoo-commits
commit: 7f36767506b2d7628afc0a6a6dd441ef60cad562
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Sat Jun 25 16:39:30 2011 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Sat Jun 25 16:39:30 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=7f367675
Version Bump
(Portage version: 2.2.0_alpha41/git/Linux x86_64, signed Manifest commit with key 70EB7916)
---
sci-mathematics/gappalib-coq/ChangeLog | 8 ++++-
.../gappalib-coq/gappalib-coq-0.14.1.ebuild | 34 --------------------
.../gappalib-coq/gappalib-coq-0.16.0.ebuild | 33 +++++++++++++++++++
3 files changed, 40 insertions(+), 35 deletions(-)
diff --git a/sci-mathematics/gappalib-coq/ChangeLog b/sci-mathematics/gappalib-coq/ChangeLog
index db6238a..b4d3309 100644
--- a/sci-mathematics/gappalib-coq/ChangeLog
+++ b/sci-mathematics/gappalib-coq/ChangeLog
@@ -1,7 +1,13 @@
# ChangeLog for sci-mathematics/gappalib-coq
-# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2011 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
+
04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
+gappalib-coq-0.14.1.ebuild, -gappalib-coq-0.13.ebuild:
version bump
diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
deleted file mode 100644
index 71a67fa..0000000
--- a/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
+++ /dev/null
@@ -1,34 +0,0 @@
-# Copyright 1999-2009 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-EAPI="2"
-
-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/28157/${P}.tar.gz"
-
-LICENSE="LGPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~sparc ~x86"
-IUSE=""
-
-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';/ \
- if test \"\$libdir\" = '\${exec_prefix}\/lib' -o "\$libdir" = \"\${prefix}\/lib64\";/g"
-}
-
-src_compile(){
- 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/gappalib-coq-0.16.0.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild
new file mode 100644
index 0000000..f0b130c
--- /dev/null
+++ b/sci-mathematics/gappalib-coq/gappalib-coq-0.16.0.ebuild
@@ -0,0 +1,33 @@
+# Copyright 1999-2011 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI=4
+
+ID=28596
+
+DESCRIPTION="Gappa certificate generator 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"
+
+LICENSE="LGPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~x86"
+IUSE=""
+
+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';/ \
+ if test \"\$libdir\" = '\${exec_prefix}\/lib' -o "\$libdir" = \"\${prefix}\/lib64\";/g"
+}
+
+src_compile(){
+ emake DESTDIR="/"
+}
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/
@ 2011-02-17 5:53 Jonathan-Christofer Demay
0 siblings, 0 replies; 10+ messages in thread
From: Jonathan-Christofer Demay @ 2011-02-17 5:53 UTC (permalink / raw
To: gentoo-commits
commit: 1460993f8aeeb1c86c08b2365f85de7170163009
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Thu Feb 17 07:55:42 2011 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Thu Feb 17 07:55:42 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=1460993f
sci-mathematics/gappalib-coq: sci-mathematics/flocq added as a dependency
---
.../gappalib-coq/gappalib-coq-0.14.1.ebuild | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
index 3d8df49..71a67fa 100644
--- a/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
+++ b/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
@@ -14,7 +14,8 @@ KEYWORDS="~amd64 ~ppc ~sparc ~x86"
IUSE=""
DEPEND="sci-mathematics/gappa
- sci-mathematics/coq"
+ sci-mathematics/coq
+ sci-mathematics/flocq"
RDEPEND="${DEPEND}"
src_prepare(){
^ permalink raw reply related [flat|nested] 10+ messages in thread* [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/
@ 2011-02-13 18:02 Jonathan-Christofer Demay
0 siblings, 0 replies; 10+ messages in thread
From: Jonathan-Christofer Demay @ 2011-02-13 18:02 UTC (permalink / raw
To: gentoo-commits
commit: a261387960721c0cf0b489530be6e55fdd446c09
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Sun Feb 13 20:04:58 2011 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Sun Feb 13 20:04:58 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=a2613879
sci-mathematics/gappalib-coq: version bump
---
sci-mathematics/gappalib-coq/ChangeLog | 6 +++++-
...-coq-0.13.ebuild => gappalib-coq-0.14.1.ebuild} | 2 +-
2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/gappalib-coq/ChangeLog b/sci-mathematics/gappalib-coq/ChangeLog
index b1f4665..db6238a 100644
--- a/sci-mathematics/gappalib-coq/ChangeLog
+++ b/sci-mathematics/gappalib-coq/ChangeLog
@@ -3,8 +3,12 @@
# $Header: $
04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
+ +gappalib-coq-0.14.1.ebuild, -gappalib-coq-0.13.ebuild:
+ version bump
+
+ 04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
+gappalib-coq-0.13.ebuild, -gappalib-coq-0.12.ebuild:
- Version bump
+ version bump
04 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
+metadata.xml, +ChangeLog:
diff --git a/sci-mathematics/gappalib-coq/gappalib-coq-0.13.ebuild b/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
similarity index 92%
rename from sci-mathematics/gappalib-coq/gappalib-coq-0.13.ebuild
rename to sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
index 1cbd85e..3d8df49 100644
--- a/sci-mathematics/gappalib-coq/gappalib-coq-0.13.ebuild
+++ b/sci-mathematics/gappalib-coq/gappalib-coq-0.14.1.ebuild
@@ -6,7 +6,7 @@ EAPI="2"
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/24390/${P}.tar.gz"
+SRC_URI="http://gforge.inria.fr/frs/download.php/28157/${P}.tar.gz"
LICENSE="LGPL-2"
SLOT="0"
^ permalink raw reply related [flat|nested] 10+ messages in thread
end of thread, other threads:[~2023-01-03 19:09 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-03-04 12:09 [gentoo-commits] proj/sci:master commit in: sci-mathematics/gappalib-coq/ Andrew Ammerlaan
-- strict thread matches above, loose matches on Subject: below --
2023-01-03 19:09 Andrew Ammerlaan
2021-03-04 12:09 Andrew Ammerlaan
2014-09-16 17:01 Christoph Junghans
2014-01-18 7:39 Justin Lecher
2014-01-18 7:38 Justin Lecher
2012-02-06 14:33 Jonathan-Christofer Demay
2011-06-25 17:22 Justin Lecher
2011-02-17 5:53 Jonathan-Christofer Demay
2011-02-13 18:02 Jonathan-Christofer Demay
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox