[MLton-commit] r5410

[Matthew Fluet]

Update install target
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/Makefile

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/Makefile	2007-03-08 14:12:22 UTC (rev 5409)
+++ mlton/branches/on-20050822-x86_64-branch/Makefile	2007-03-09 15:40:00 UTC (rev 5410)
@@ -406,10 +406,19 @@
 install-no-docs:
 	mkdir -p "$(TLIB)" "$(TBIN)" "$(TMAN)"
 	$(CP) "$(LIB)/." "$(TLIB)/"
-	rm -f "$(TLIB)/self/libmlton-gdb.a"
 	sed "/^lib=/s;.*;lib='$(prefix)/$(ULIB)';" 			\
-		<"$(SRC)/bin/mlton-script" >"$(TBIN)/mlton"
+		<"$(BIN)/mlton" >"$(TBIN)/mlton"
 	chmod a+x "$(TBIN)/mlton"
+	if [ -x "$(BIN)/mlton.trace" ]; then                            \
+		sed "/^lib=/s;.*;lib='$(prefix)/$(ULIB)';" 		\
+			<"$(BIN)/mlton.trace" >"$(TBIN)/mlton.trace";   \
+		chmod a+x "$(TBIN)/mlton.trace";                        \
+	fi
+	if [ -x "$(BIN)/mlton.debug" ]; then                            \
+		sed "/^lib=/s;.*;lib='$(prefix)/$(ULIB)';" 		\
+			<"$(BIN)/mlton.debug" >"$(TBIN)/mlton.debug";   \
+		chmod a+x "$(TBIN)/mlton.debug";                        \
+	fi
 	cd "$(BIN)" && $(CP) "$(LEX)$(EXE)" "$(NLFFIGEN)$(EXE)"		\
 		 "$(PROF)$(EXE)" "$(YACC)$(EXE)" "$(TBIN)/"
 	( cd "$(SRC)/man" && tar cf - $(MAN_PAGES)) | \