From 10f69c1535b599c703968c70011d706cdc8d8536 Mon Sep 17 00:00:00 2001 From: Martin Elsman Date: Fri, 15 Jan 2021 10:56:59 +0100 Subject: [PATCH] support 'make install' in binary distributions --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Makefile b/Makefile index 969b07e..c1681e6 100644 --- 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)