sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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