remove old

(Portage version: 2.2_rc67/cvs/Linux x86_64)

4 files changed, 5 insertions, 106 deletions

diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog
index c591277e0642..70826ac444cb 100644
--- a/sci-mathematics/coq/ChangeLog
+++ b/sci-mathematics/coq/ChangeLog
@@ -1,6 +1,10 @@
 # ChangeLog for sci-mathematics/coq
 # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.50 2010/01/20 19:49:15 bicatali Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.51 2010/03/10 11:50:53 aballier Exp $
+
+  10 Mar 2010; Alexis Ballier <aballier@gentoo.org> -coq-8.1_p4.ebuild,
+  -files/coq-8.1_p3-cmxa-install.dpatch, -files/coq-8.1_p3-noocamlopt.patch:
+  remove old
 
   20 Jan 2010; Sébastien Fabbro <bicatali@gentoo.org> coq-8.2_p1-r1.ebuild:
   Added dev-texlive/texlive-pictures, bug #292630
diff --git a/sci-mathematics/coq/coq-8.1_p4.ebuild b/sci-mathematics/coq/coq-8.1_p4.ebuild
deleted file mode 100644
index feba183ab2e0..000000000000
--- a/sci-mathematics/coq/coq-8.1_p4.ebuild
+++ /dev/null
@@ -1,69 +0,0 @@
-# Copyright 1999-2009 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p4.ebuild,v 1.5 2009/01/17 16:45:45 nixnut Exp $
-
-EAPI="2"
-
-inherit eutils multilib
-
-RESTRICT="strip installsources"
-
-MY_PV="${PV/_p/pl}"
-MY_P="${PN}-${MY_PV}"
-
-DESCRIPTION="Coq is a proof assistant written in O'Caml"
-HOMEPAGE="http://coq.inria.fr/"
-SRC_URI="http://coq.inria.fr/V${MY_PV}/files/${MY_P}.tar.gz"
-
-LICENSE="LGPL-2.1"
-SLOT="0"
-KEYWORDS="amd64 ppc sparc x86"
-IUSE="norealanalysis gtk debug +ocamlopt"
-
-DEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
-		>=dev-ml/camlp5-5.09[ocamlopt?]
-		gtk? ( >=dev-ml/lablgtk-2.10.1[ocamlopt?] )"
-
-S="${WORKDIR}/${MY_P}"
-
-src_prepare() {
-	epatch "${FILESDIR}/${PN}-8.1_p3-noocamlopt.patch"
-	epatch "${FILESDIR}/${PN}-8.1_p3-cmxa-install.dpatch"
-}
-
-src_configure() {
-	ocaml_lib=`ocamlc -where`
-	local myconf="--prefix /usr \
-		--bindir /usr/bin \
-		--libdir /usr/$(get_libdir)/coq \
-		--mandir /usr/share/man \
-		--emacslib /usr/share/emacs/site-lisp \
-		--coqdocdir /usr/$(get_libdir)/coq/coqdoc
-		--camlp5dir ${ocaml_lib}/camlp5
-		--lablgtkdir ${ocaml_lib}/lablgtk2"
-
-	use debug && myconf="--debug $myconf"
-	use norealanalysis && myconf="$myconf --reals no"
-	use norealanalysis || myconf="$myconf --reals all"
-
-	if use gtk; then
-		use ocamlopt && myconf="$myconf --coqide opt"
-		use ocamlopt || myconf="$myconf --coqide byte"
-	else
-		myconf="$myconf --coqide no"
-	fi
-	use ocamlopt || myconf="$myconf -byte-only"
-
-	./configure $myconf || die "configure failed"
-}
-
-src_compile() {
-	emake -j1 || die "make failed"
-}
-
-src_install() {
-	emake COQINSTALLPREFIX="${D}" install || die
-	dodoc README CREDITS CHANGES
-
-	use gtk && domenu "${FILESDIR}/coqide.desktop"
-}
diff --git a/sci-mathematics/coq/files/coq-8.1_p3-cmxa-install.dpatch b/sci-mathematics/coq/files/coq-8.1_p3-cmxa-install.dpatch
deleted file mode 100644
index 7e8d2ffbb92e..000000000000
--- a/sci-mathematics/coq/files/coq-8.1_p3-cmxa-install.dpatch
+++ /dev/null
@@ -1,23 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## cmxa-install.dpatch by Samuel Mimram <smimram@debian.org>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: .cmxa are not generated on non-native archs, so don't install them.
-
-@DPATCH@
-diff -urNad coq-8.1+dfsg~/Makefile coq-8.1+dfsg/Makefile
---- coq-8.1+dfsg~/Makefile	2007-02-18 13:25:29.000000000 +0100
-+++ coq-8.1+dfsg/Makefile	2007-02-18 13:27:28.000000000 +0100
-@@ -1272,7 +1272,11 @@
-         parsing/parsing.cma tactics/tactics.cma toplevel/toplevel.cma \
-         parsing/highparsing.cma tactics/hightactics.cma contrib/contrib.cma
- 
--OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa)
-+ifeq ($(BEST),opt)
-+  OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa)
-+else
-+  OBJECTCMXA=
-+endif
- 
- install-library:
- 	$(MKDIR) $(FULLCOQLIB)
diff --git a/sci-mathematics/coq/files/coq-8.1_p3-noocamlopt.patch b/sci-mathematics/coq/files/coq-8.1_p3-noocamlopt.patch
deleted file mode 100644
index fc954d5900cf..000000000000
--- a/sci-mathematics/coq/files/coq-8.1_p3-noocamlopt.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-Index: coq-8.1pl3/Makefile
-===================================================================
---- coq-8.1pl3.orig/Makefile
-+++ coq-8.1pl3/Makefile
-@@ -1481,7 +1481,7 @@ dev/printers.cma: $(PRINTERSCMO)
- parsing/grammar.cma: $(GRAMMARCMO)
- 	$(SHOW)'Testing $@'
- 	@touch test.ml4
--	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENSIONS) $(GRAMMARCMO) -impl" -impl test.ml4 -o test-grammar
-+	$(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENSIONS) $(GRAMMARCMO) -impl" -impl test.ml4 -o test-grammar
- 	@rm -f test-grammar test.*
- 	$(SHOW)'OCAMLC -a $@'   
- 	$(HIDE)$(OCAMLC) $(BYTEFLAGS) $(GRAMMARCMO) -linkall -a -o $@