From f73d138bf385e021acf751b18e8e711cb457b807 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 3 Feb 2022 14:24:07 +0000
Subject: [PATCH] Makefile builds: add install target

Our CMake-based builds already support an "install" target to put
various built binaries (and man pages) in place. Add a similar target to
Makefile-based builds.

Fixes: #6443
---
 jbmc/src/Makefile | 11 +++++++++++
 src/Makefile      | 14 +++++++++++++-
 2 files changed, 24 insertions(+), 1 deletion(-)

diff --git a/jbmc/src/Makefile b/jbmc/src/Makefile
index 83dd32eee29..7d55d84114a 100644
--- a/jbmc/src/Makefile
+++ b/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/
diff --git a/src/Makefile b/src/Makefile
index 86d03ffbe90..50bc914d45a 100644
--- a/src/Makefile
+++ b/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