diff options
| author |   Patrice Clement <monsieurp@gentoo.org> | 2016-06-25 20:51:41 +0000 |
|---|---|---|
| committer | Patrice Clement <monsieurp@gentoo.org> | 2016-06-25 21:03:07 +0000 |
| commit | fcefefe71ba9b05fa30693775f6adcc36b03c4a6 (patch) | |
| tree | 619a697d3f8da8f51da8905dee9634b08eac465e /sci-mathematics/coq | |
| parent | sci-mathematics/coq: Clean up old. (diff) | |
| download | gentoo-fcefefe71ba9b05fa30693775f6adcc36b03c4a6.tar.gz gentoo-fcefefe71ba9b05fa30693775f6adcc36b03c4a6.tar.bz2 gentoo-fcefefe71ba9b05fa30693775f6adcc36b03c4a6.zip | |
sci-mathematics/coq: Clean up old.
Package-Manager: portage-2.2.28
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch | 19 | ||||
| -rw-r--r-- | sci-mathematics/coq/files/coq-8.4_p5-hevea.patch | 11 | ||||
| -rw-r--r-- | sci-mathematics/coq/files/coqide.desktop | 9 |
3 files changed, 0 insertions, 39 deletions
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 deleted file mode 100644 index e97f4a165f87..000000000000 --- a/sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch +++ /dev/null @@ -1,19 +0,0 @@ ---- 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 deleted file mode 100644 index c76f1dea8e11..000000000000 --- a/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- 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/coqide.desktop b/sci-mathematics/coq/files/coqide.desktop deleted file mode 100644 index cc8bb54e1ad1..000000000000 --- a/sci-mathematics/coq/files/coqide.desktop +++ /dev/null @@ -1,9 +0,0 @@ -[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; |