Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 245807 | Differences between
and this patch

Collapse All | Expand All

(-)why-2.19-orig/Makefile.in (-20 / +19 lines)
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

Return to bug 245807