[MLton-commit] r7309

[Wesley Terpstra]

The MLton Makefile shouldn't be checking debian build options.
Instead, just provide a build target 'install-no-strip'.


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

U   mlton/trunk/Makefile

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

Modified: mlton/trunk/Makefile
===================================================================
--- mlton/trunk/Makefile	2009-10-28 13:45:34 UTC (rev 7308)
+++ mlton/trunk/Makefile	2009-10-28 13:59:03 UTC (rev 7309)
@@ -318,8 +318,11 @@
 endif
 
 .PHONY: install
-install: install-docs install-no-docs move-docs
+install: install-no-strip install-strip
 
+.PHONY: install-no-strip
+install-no-strip: install-docs install-no-docs move-docs 
+
 MAN_PAGES :=  \
 	mllex.1 \
 	mlnlffigen.1 \
@@ -351,7 +354,9 @@
 	if $(GZIP_MAN); then						\
 		cd "$(TMAN)" && $(GZIP) $(MAN_PAGES);			\
 	fi
-ifeq (,$(findstring nostrip,$(DEB_BUILD_OPTIONS)))
+
+.PHONY: install-strip
+install-strip:
 	case "$(TARGET_OS)" in						\
 	aix|cygwin|darwin|solaris)					\
 	;;								\
@@ -363,7 +368,6 @@
 				--remove-section=.note "$$f";		\
 		done							\
 	esac
-endif
 
 .PHONY: install-docs
 install-docs: