| --- 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 |