Added 8.0beta version and marked 7.4 stable.

5 files changed, 53 insertions, 5 deletions

diff --git a/app-sci/coq/ChangeLog b/app-sci/coq/ChangeLog
index bf078677fcda..235ea7819a9f 100644
--- a/app-sci/coq/ChangeLog
+++ b/app-sci/coq/ChangeLog
@@ -1,6 +1,13 @@
 # ChangeLog for app-sci/coq
 # Copyright 2000-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/ChangeLog,v 1.1 2004/01/21 23:05:55 mattam Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/ChangeLog,v 1.2 2004/04/02 21:02:45 mattam Exp $
+
+*coq-8.0_beta (02 Apr 2004)
+
+  02 Apr 2004; Matthieu Sozeau <mattam@gentoo.org> coq-7.4.ebuild,
+  coq-8.0_beta.ebuild:
+  Added coq-8.0_beta ebuild, tested on x86. Make coq-7.4 stable,
+  as there were no bug reports for some time now.
 
 *coq-7.4 (22 Jan 2004)
 
diff --git a/app-sci/coq/Manifest b/app-sci/coq/Manifest
index fae5485ace80..1e5f7e90f36c 100644
--- a/app-sci/coq/Manifest
+++ b/app-sci/coq/Manifest
@@ -1,5 +1,7 @@
-MD5 5b3bd95c81c08df116223beb9ca0de4f coq-7.4.ebuild 976
+MD5 c25ef19759211220c56f31d63ebec8cb coq-8.0_beta.ebuild 964
+MD5 7bed781998338f06983c76af53dd425d coq-7.4.ebuild 974
+MD5 95671e452c7ebef2ea2fb0ed1119e725 ChangeLog 702
 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238
-MD5 8ea318dfb8fa73049a3d5b26257daba7 ChangeLog 467
+MD5 73c401b2052bccdc88677bf5be2d453f files/digest-coq-8.0_beta 64
 MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60
 MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333
diff --git a/app-sci/coq/coq-7.4.ebuild b/app-sci/coq/coq-7.4.ebuild
index 57fb792f0829..3f995e444308 100644
--- a/app-sci/coq/coq-7.4.ebuild
+++ b/app-sci/coq/coq-7.4.ebuild
@@ -1,6 +1,6 @@
 # Copyright 1999-2004 Gentoo Technologies, Inc.
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/coq-7.4.ebuild,v 1.1 2004/01/21 23:05:55 mattam Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/coq-7.4.ebuild,v 1.2 2004/04/02 21:02:45 mattam Exp $
 
 IUSE="norealanalysis"
 
@@ -10,7 +10,7 @@ SRC_URI="ftp://ftp.inria.fr/INRIA/${PN}/V${PV}/${P}.tar.gz"
 
 LICENSE="LGPL-2.1"
 SLOT="0"
-KEYWORDS="~x86 ~ppc"
+KEYWORDS="x86 ppc"
 
 DEPEND=">=dev-lang/ocaml-3.06"
 
diff --git a/app-sci/coq/coq-8.0_beta.ebuild b/app-sci/coq/coq-8.0_beta.ebuild
new file mode 100644
index 000000000000..ea33d8fadfb9
--- /dev/null
+++ b/app-sci/coq/coq-8.0_beta.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2004 Gentoo Technologies, Inc.
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/coq-8.0_beta.ebuild,v 1.1 2004/04/02 21:02:45 mattam Exp $
+
+IUSE="norealanalysis debug"
+
+DESCRIPTION="Coq is a proof assistant written in O'Caml"
+HOMEPAGE="http://coq.inria.fr/"
+SRC_URI="ftp://ftp.inria.fr/INRIA/${PN}/V${PV/_/}/${P/_/}.tar.gz"
+
+LICENSE="LGPL-2.1"
+SLOT="0"
+KEYWORDS="~x86 ~ppc"
+
+DEPEND=">=dev-lang/ocaml-3.06"
+
+S="${WORKDIR}/${P/_/}"
+
+src_compile() {
+	local myconf="--prefix /usr \
+		--bindir /usr/bin \
+		--libdir /usr/lib/coq \
+		--mandir /usr/man \
+		--emacslib /usr/share/emacs/site-lisp"
+
+	use debug && myconf="--debug $myconf"
+	use norealanalysis && myconf="$myconf --reals"
+	use norealanalysis || myconf="$myconf --reals all"
+
+	./configure $myconf || die
+
+	emake world || die
+}
+
+src_install() {
+	make COQINSTALLPREFIX=${D} install || die
+	dodoc README CREDITS CHANGES LICENSE
+}
diff --git a/app-sci/coq/files/digest-coq-8.0_beta b/app-sci/coq/files/digest-coq-8.0_beta
new file mode 100644
index 000000000000..150e17bc1f6f
--- /dev/null
+++ b/app-sci/coq/files/digest-coq-8.0_beta
@@ -0,0 +1 @@
+MD5 6b1a3a4a725a12a7a129d3cfbe6cdb62 coq-8.0beta.tar.gz 2248308