diff options
Diffstat (limited to 'sci-mathematics/coq/files')
5 files changed, 68 insertions, 0 deletions
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 = [] diff --git a/sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch b/sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch new file mode 100644 index 000000000000..e97f4a165f87 --- /dev/null +++ b/sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch @@ -0,0 +1,19 @@ +--- coq-8.4pl5-orig/Makefile.build 2014-10-22 19:30:53.000000000 +1100 ++++ coq-8.4pl5/Makefile.build 2015-02-15 12:06:48.044999959 +1100 +@@ -655,16 +655,12 @@ + # it with libraries + -$(MKDIR) $(FULLCOQLIB)/plugins/micromega + $(INSTALLBIN) $(CSDPCERT) $(FULLCOQLIB)/plugins/micromega +- rm -f $(FULLCOQLIB)/revision +- -$(INSTALLLIB) revision $(FULLCOQLIB) + + install-library-light: + $(MKDIR) $(FULLCOQLIB) + $(INSTALLSH) $(FULLCOQLIB) $(LIBFILESLIGHT) $(INITPLUGINS) + $(MKDIR) $(FULLCOQLIB)/states + $(INSTALLLIB) states/*.coq $(FULLCOQLIB)/states +- rm -f $(FULLCOQLIB)/revision +- -$(INSTALLLIB) revision $(FULLCOQLIB) + ifeq ($(BEST),opt) + $(INSTALLSH) $(FULLCOQLIB) $(INITPLUGINSOPT) + endif diff --git a/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch b/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch new file mode 100644 index 000000000000..c76f1dea8e11 --- /dev/null +++ b/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch @@ -0,0 +1,11 @@ +--- coq-8.4pl5-orig/Makefile.doc 2014-10-22 19:30:53.000000000 +1100 ++++ coq-8.4pl5/Makefile.doc 2015-02-15 15:28:34.797911303 +1100 +@@ -148,7 +148,7 @@ + ###################################################################### + + $(INDEXURLS): $(INDEXES) +- cat $< | grep li-indexenv | grep HREF | sed -e 's@.*<TT>\(.*\)</TT>.*, <A HREF="\(.*\)">.*@\1,\2@' > $@ ++ cat $< | grep li-indexenv | grep href | sed -e 's@.*>\([^<]*\)</span>.*, <a href="\([^"]*\)">.*@\1,\2@' > $@ + + + ###################################################################### diff --git a/sci-mathematics/coq/files/coq-8.4_p5-no-clean-before-test.patch b/sci-mathematics/coq/files/coq-8.4_p5-no-clean-before-test.patch new file mode 100644 index 000000000000..ef4b6cf3e824 --- /dev/null +++ b/sci-mathematics/coq/files/coq-8.4_p5-no-clean-before-test.patch @@ -0,0 +1,12 @@ +--- coq-8.4pl5-orig/Makefile.build 2015-02-15 12:06:48.044999959 +1100 ++++ coq-8.4pl5/Makefile.build 2015-02-15 16:41:06.521892146 +1100 +@@ -395,8 +395,7 @@ + + check:: validate test-suite + +-test-suite: world $(ALLSTDLIB).v +- $(MAKE) $(MAKE_TSOPTS) clean ++test-suite: $(ALLSTDLIB).v + $(MAKE) $(MAKE_TSOPTS) all + $(HIDE)if grep -F 'Error!' test-suite/summary.log ; then false; fi + diff --git a/sci-mathematics/coq/files/coqide.desktop b/sci-mathematics/coq/files/coqide.desktop new file mode 100644 index 000000000000..cc8bb54e1ad1 --- /dev/null +++ b/sci-mathematics/coq/files/coqide.desktop @@ -0,0 +1,9 @@ +[Desktop Entry] +Comment=Coq integrated developpment environment +Icon=/usr/lib/coq/ide/coq.png +Exec=/usr/bin/coqide +Name=CoqIDE +GenericName=Coq IDE +Terminal=false +Type=Application +Categories=Science;Math; |