support 'make install' in binary distributions

diku-dk · Jan 15, 2021 · 10f69c1 · 10f69c1
1 parent 742cd88
commit 10f69c1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -38,4 +38,9 @@ bin_dist: src/smlpkg
 	$(INSTALL) LICENSE $(BIN_DIST_DIR)/
 	echo 'Binary package for smlpkg.' > $(BIN_DIST_DIR)/README
 	echo 'The sources are available at http://github.com/diku-dk/smlpkg' >> $(BIN_DIST_DIR)/README
+	echo 'PREFIX?=/usr/local' > $(BIN_DIST_DIR)/Makefile
+	echo 'INSTALL?=install' >> $(BIN_DIST_DIR)/Makefile
+	echo '.PHONY: install' >> $(BIN_DIST_DIR)/Makefile
+	echo 'install:' >> $(BIN_DIST_DIR)/Makefile
+	echo "\t"'$$(INSTALL) bin/smlpkg $$(PREFIX)/bin/' >> $(BIN_DIST_DIR)/Makefile
 	tar czvf $(BIN_DIST_DIR).tgz $(BIN_DIST_DIR)