Merge pull request #6637 from tautschnig/features/install-target

Makefile builds: add install target

Author: tautschnig

jbmc/src/Makefile

@@ -61,7 +61,18 @@ setup-submodules:
 dist: setup-submodules all
 	mkdir -p $(ROOT)dist/lib
 	cp ../lib/java-models-library/target/core-models.jar $(ROOT)dist/lib
+	cp ../lib/java-models-library/target/cprover-api.jar $(ROOT)dist/lib
 	mkdir -p $(ROOT)dist/bin
 	cp jbmc/jbmc $(ROOT)dist/bin
 	cp janalyzer/janalyzer $(ROOT)dist/bin
 	cp jdiff/jdiff $(ROOT)dist/bin
+
+.PHONY: install
+install: setup-submodules all
+	$(MAKE) $(MAKEARGS) -C $(CPROVER_DIR)/src install
+	cp ../lib/java-models-library/target/core-models.jar $(PREFIX)/lib/
+	cp ../lib/java-models-library/target/cprover-api.jar $(PREFIX)/lib/
+	cp jbmc/jbmc $(PREFIX)/bin/
+	cp janalyzer/janalyzer $(PREFIX)/bin/
+	cp jdiff/jdiff $(PREFIX)/bin/
+	cp ../../doc/man/j* $(PREFIX)/doc/man/man1/

src/Makefile

@@ -169,4 +169,16 @@ cadical-download:
 doc :
 	doxygen
 
-.PHONY: minisat2-download cudd-download glucose-download cadical-download
+install: all
+	for b in \
+		cbmc crangler \
+		goto-analyzer goto-cc goto-diff goto-instrument goto-harness \
+		symtab2gb ; do \
+		  cp $$b/$$b $(PREFIX)/bin/ ; \
+			cp ../doc/man/$$b.1 $(PREFIX)/doc/man/man1/ ; \
+	done
+	ln -sf $(PREFIX)/bin/goto-cc $(PREFIX)/bin/goto-gcc
+	ln -sf $(PREFIX)/bin/goto-cc $(PREFIX)/bin/goto-ld
+	cp ../scripts/ls_parse.py $(PREFIX)/bin/
+
+.PHONY: minisat2-download cudd-download glucose-download cadical-download install