diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2016-01-23 18:28:28 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2016-01-23 18:28:36 +0100 |
| commit | 45ad531930a4073deb4e3638ea32c80271ed35b5 (patch) | |
| tree | 9cbfca3507c6803dfec51852f65256f6b7093d8b /sci-mathematics/coq/files/coq-8.5-do-not-install-revision.patch | |
| parent | app-editors/gvim: fix SRC_URI for 7.4.769 (diff) | |
| download | gentoo-45ad531930a4073deb4e3638ea32c80271ed35b5.tar.gz gentoo-45ad531930a4073deb4e3638ea32c80271ed35b5.tar.bz2 gentoo-45ad531930a4073deb4e3638ea32c80271ed35b5.zip | |
sci-mathematics/coq: bump to 8.5
Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier <aballier@gentoo.org>
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 |