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, 19 insertions, 0 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 new file mode 100644 index 000000000000..37b05fd114db --- /dev/null +++ b/sci-mathematics/coq/files/coq-8.5-do-not-install-revision.patch @@ -0,0 +1,19 @@ +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 |