e031c5b41e
Drop upstreamed -flocq24 and -frama-c-sodium patches. Drop all gwhy-related sources, as gwhy has been retired. Merge (X)Emacs files into the main package due to change in policy.
23 lines
918 B
Diff
23 lines
918 B
Diff
--- Makefile.in.orig 2015-03-25 08:32:17.000000000 -0600
|
|
+++ Makefile.in 2015-03-30 20:00:00.000000000 -0600
|
|
@@ -815,17 +815,9 @@
|
|
mkdir -p $(LIBDIR)/why/coq7
|
|
cp -f $(VO7) $(LIBDIR)/why/coq7
|
|
install-coq-v8 install-coq-v8.1:
|
|
- if test -w $(COQLIB) ; then \
|
|
- rm -f $(COQLIB)/user-contrib/Why*.v* ; \
|
|
- rm -f $(COQLIB)/user-contrib/caduceus*.v* $(COQLIB)/user-contrib/Caduceus*.v* ; \
|
|
- rm -f $(COQLIB)/user-contrib/jessie*.v* $(COQLIB)/user-contrib/Jessie*.v* ; \
|
|
- mkdir -p $(COQLIB)/user-contrib/Why ; \
|
|
- cp -f $(VO8) $(COQLIB)/user-contrib/Why ; \
|
|
- else \
|
|
- echo "Cannot copy to Coq standard library. Add \"-R $(LIBDIR)/why/coq Why\" to Coq options." ;\
|
|
- fi
|
|
- mkdir -p $(LIBDIR)/why/coq
|
|
- cp -f $(VO8) $(LIBDIR)/why/coq
|
|
+ mkdir -p $(COQLIB)/user-contrib/Why
|
|
+ cp -pf $(V8FILES) $(COQLIB)/user-contrib/Why
|
|
+ cp -pf $(VO8) $(COQLIB)/user-contrib/Why
|
|
|
|
install-pvs-no:
|
|
install-pvs-yes: $(PVSFILES)
|