diff options
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.4_p1.ebuild | 6 | ||||
| -rw-r--r-- | sci-mathematics/coq/files/coq-8.4_p1-camlp4.patch | 17 |
3 files changed, 27 insertions, 2 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 509d73e5c405..8ce95bc34f95 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/coq # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.75 2013/01/07 02:30:46 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.76 2013/01/15 19:25:21 aballier Exp $ + + 15 Jan 2013; Alexis Ballier <aballier@gentoo.org> coq-8.4_p1.ebuild, + +files/coq-8.4_p1-camlp4.patch: + fix build with camlp4, bug #450954 *coq-8.4_p1 (07 Jan 2013) diff --git a/sci-mathematics/coq/coq-8.4_p1.ebuild b/sci-mathematics/coq/coq-8.4_p1.ebuild index f219f9874f30..250282989e1b 100644 --- a/sci-mathematics/coq/coq-8.4_p1.ebuild +++ b/sci-mathematics/coq/coq-8.4_p1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2013 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v 1.1 2013/01/07 02:30:46 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p1.ebuild,v 1.2 2013/01/15 19:25:21 aballier Exp $ EAPI="4" @@ -34,6 +34,10 @@ DEPEND="${RDEPEND} S=${WORKDIR}/${MY_P} +src_prepare() { + epatch "${FILESDIR}/${P}-camlp4.patch" +} + src_configure() { ocaml_lib=`ocamlc -where` local myconf="--prefix /usr diff --git a/sci-mathematics/coq/files/coq-8.4_p1-camlp4.patch b/sci-mathematics/coq/files/coq-8.4_p1-camlp4.patch new file mode 100644 index 000000000000..bc60b9f56f4c --- /dev/null +++ b/sci-mathematics/coq/files/coq-8.4_p1-camlp4.patch @@ -0,0 +1,17 @@ +Upstream rev 16121 +https://bugs.gentoo.org/show_bug.cgi?id=450954 + +Index: coq-8.4pl1/scripts/coqmktop.ml +=================================================================== +--- coq-8.4pl1.orig/scripts/coqmktop.ml ++++ coq-8.4pl1/scripts/coqmktop.ml +@@ -45,8 +45,7 @@ let camlp4topobjs = + [ "Camlp4Top.cmo"; + "Camlp4Parsers/Camlp4OCamlRevisedParser.cmo"; + "Camlp4Parsers/Camlp4OCamlParser.cmo"; +- "Camlp4Parsers/Camlp4GrammarParser.cmo"; +- "q_util.cmo"; "q_coqast.cmo" ] ++ "Camlp4Parsers/Camlp4GrammarParser.cmo" ] + let topobjs = camlp4topobjs + + let gramobjs = [] |