diff options
Diffstat (limited to 'sci-mathematics/coq/files/coq-8.5-do-not-install-revision.patch')
| -rw-r--r-- | sci-mathematics/coq/files/coq-8.5-do-not-install-revision.patch | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/sci-mathematics/coq/files/coq-8.5-do-not-install-revision.patch b/sci-mathematics/coq/files/coq-8.5-do-not-install-revision.patch deleted file mode 100644 index 37b05fd114db..000000000000 --- a/sci-mathematics/coq/files/coq-8.5-do-not-install-revision.patch +++ /dev/null @@ -1,19 +0,0 @@ -Index: coq-8.5/Makefile.build -=================================================================== ---- coq-8.5.orig/Makefile.build -+++ coq-8.5/Makefile.build -@@ -787,14 +787,10 @@ endif - # 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) -- rm -f $(FULLCOQLIB)/revision -- -$(INSTALLLIB) revision $(FULLCOQLIB) - ifndef CUSTOM - $(INSTALLLIB) $(DLLCOQRUN) $(FULLCOQLIB) - endif |