Add install-runtime to Makefile

This makes it easier to build multiple per-target runtime targets and install them together.
MLton · May 13, 2024 · bcf69cc · bcf69cc
1 parent 49eb2ca
commit bcf69cc
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -159,6 +159,11 @@ runtime:
 	echo "GMP_INC_DIR=\"$(WITH_GMP_INC_DIR)\"" >> "$(LIB)/targets/$(TARGET)/vars"
 	echo "GMP_LIB_DIR=\"$(WITH_GMP_LIB_DIR)\"" >> "$(LIB)/targets/$(TARGET)/vars"
 
+.PHONY: install-runtime
+install-runtime:
+	$(MKDIR) "$(TLIB)/targets/$(TARGET)"
+	$(CP) "$(LIB)/targets/$(TARGET)" "$(TLIB)/targets/"
+
 .PHONY: script
 script:
 	$(SED) \