Lines 777-785
Link Here
|
777 |
cp -f $(VO7) $(LIBDIR)/why/coq7 |
777 |
cp -f $(VO7) $(LIBDIR)/why/coq7 |
778 |
install-coq-v8: |
778 |
install-coq-v8: |
779 |
if test -w $(COQLIB) ; then \ |
779 |
if test -w $(COQLIB) ; then \ |
780 |
mkdir -p $(COQLIB)/user-contrib ; \ |
780 |
mkdir -p $(DESTDIR)/$(COQLIB)/user-contrib ; \ |
781 |
cp -f $(V8FILES) $(COQLIB)/user-contrib ; \ |
781 |
cp -f $(V8FILES) $(DESTDIR)/$(COQLIB)/user-contrib ; \ |
782 |
cp -f $(VO8) $(COQLIB)/user-contrib ; \ |
782 |
cp -f $(VO8) $(DESTDIR)/$(COQLIB)/user-contrib ; \ |
783 |
else \ |
783 |
else \ |
784 |
echo "Cannot copy to Coq standard library. Add $(LIBDIR)/why/coq to Coq include path." ;\ |
784 |
echo "Cannot copy to Coq standard library. Add $(LIBDIR)/why/coq to Coq include path." ;\ |
785 |
mkdir -p $(LIBDIR)/why/coq ;\ |
785 |
mkdir -p $(LIBDIR)/why/coq ;\ |
Lines 788-805
Link Here
|
788 |
|
788 |
|
789 |
install-pvs-no: |
789 |
install-pvs-no: |
790 |
install-pvs-yes: $(PVSFILES) |
790 |
install-pvs-yes: $(PVSFILES) |
791 |
mkdir -p $(PVSLIB)/why |
791 |
mkdir -p $(DESTDIR)/$(PVSLIB)/why |
792 |
cp $(PVSFILES) $(PVSFILES:.pvs=.prf) $(PVSLIB)/why |
792 |
cp $(PVSFILES) $(PVSFILES:.pvs=.prf) $(DESTDIR)/$(PVSLIB)/why |
793 |
cp lib/pvs/top.pvs lib/pvs/pvscontext.el $(PVSLIB)/why |
793 |
cp lib/pvs/top.pvs lib/pvs/pvscontext.el $(DESTDIR)/$(PVSLIB)/why |
794 |
@echo "====== Compiling PVS theories, this may take some time ======" |
794 |
@echo "====== Compiling PVS theories, this may take some time ======" |
795 |
(cd $(PVSLIB)/why ; @PVSC@ -batch -l pvscontext.el -q -v 2 > top.out) |
795 |
(cd $(DESTDIR)/$(PVSLIB)/why ; @PVSC@ -batch -l pvscontext.el -q -v 2 > top.out) |
796 |
@echo "====== Done compiling PVS theories ======" |
796 |
@echo "====== Done compiling PVS theories ======" |
797 |
|
797 |
|
798 |
install-mizar-no: |
798 |
install-mizar-no: |
799 |
install-mizar-yes: |
799 |
install-mizar-yes: |
800 |
mkdir -p @MIZARLIB@/mml/dict |
800 |
mkdir -p $(DESTDIR)/@MIZARLIB@/mml/dict |
801 |
cp lib/mizar/why.miz @MIZARLIB@/mml |
801 |
cp lib/mizar/why.miz $(DESTDIR)/@MIZARLIB@/mml |
802 |
cp lib/mizar/dict/why.voc @MIZARLIB@/mml/dict |
802 |
cp lib/mizar/dict/why.voc $(DESTDIR)/@MIZARLIB@/mml/dict |
803 |
|
803 |
|
804 |
local-install: $(BINARY) $(WHYCONFIG) $(CADUCEUS) $(JESSIE) bin/gwhy.$(OCAMLBEST) byte bin/gwhy.byte |
804 |
local-install: $(BINARY) $(WHYCONFIG) $(CADUCEUS) $(JESSIE) bin/gwhy.$(OCAMLBEST) byte bin/gwhy.byte |
805 |
cp $(BINARY) $$HOME/bin/why |
805 |
cp $(BINARY) $$HOME/bin/why |
Lines 817-831
Link Here
|
817 |
# cp -f $(WHY2HTML) $$HOME/bin/$$OSTYPE/why2html |
817 |
# cp -f $(WHY2HTML) $$HOME/bin/$$OSTYPE/why2html |
818 |
# cp -f $(DP) $$HOME/bin/$$OSTYPE/dp |
818 |
# cp -f $(DP) $$HOME/bin/$$OSTYPE/dp |
819 |
# cp -f $(RVMERGE) $$HOME/bin/$$OSTYPE/rv_merge |
819 |
# cp -f $(RVMERGE) $$HOME/bin/$$OSTYPE/rv_merge |
820 |
# # mkdir -p $(COQLIB)/contrib7/why |
820 |
# # mkdir -p $(DESTDIR)/$(COQLIB)/contrib7/why |
821 |
# # cp -f $(VO7) $(VFILES) $(COQLIB)/contrib7/why |
821 |
# # cp -f $(VO7) $(VFILES) $(DESTDIR)/$(COQLIB)/contrib7/why |
822 |
# # mkdir -p $(COQLIB)/contrib/why |
822 |
# # mkdir -p $(DESTDIR)/$(COQLIB)/contrib/why |
823 |
# # cp -f $(VO8) $(VFILES) $(COQLIB)/contrib/why |
823 |
# # cp -f $(VO8) $(VFILES) $(DESTDIR)/$(COQLIB)/contrib/why |
824 |
# mkdir -p $(PVSLIB)/why |
824 |
# mkdir -p $(DESTDIR)/$(PVSLIB)/why |
825 |
# cp $(PVSFILES) $(PVSLIB)/why |
825 |
# cp $(PVSFILES) $(DESTDIR)/$(PVSLIB)/why |
826 |
# mkdir -p $(MIZFILES)/mml/dict |
826 |
# mkdir -p $(DESTDIR)/$(MIZFILES)/mml/dict |
827 |
# cp lib/mizar/why.miz $(MIZFILES)/mml |
827 |
# cp lib/mizar/why.miz $(DESTDIR)/$(MIZFILES)/mml |
828 |
# cp lib/mizar/dict/why.voc $(MIZFILES)/mml/dict |
828 |
# cp lib/mizar/dict/why.voc $(DESTDIR)/$(MIZFILES)/mml/dict |
829 |
# mkdir -p $$HOME/man/man1 |
829 |
# mkdir -p $$HOME/man/man1 |
830 |
# cp -f doc/*.1 $$HOME/man/man1 |
830 |
# cp -f doc/*.1 $$HOME/man/man1 |
831 |
|
831 |
|
Lines 1119-1125
Link Here
|
1119 |
rm -f $(GENERATED) |
1119 |
rm -f $(GENERATED) |
1120 |
make -C atp clean |
1120 |
make -C atp clean |
1121 |
make -C doc clean |
1121 |
make -C doc clean |
1122 |
make -C examples-v7 clean |
|
|
1123 |
make -C examples clean |
1122 |
make -C examples clean |
1124 |
|
1123 |
|
1125 |
dist-clean:: clean |
1124 |
dist-clean:: clean |