[MLton-commit] r5701

[Vesa Karvonen]

-inline 10000 seems to give a nice speed up.

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

U   mltonlib/trunk/org/mlton/vesak/toys/common.mk

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

Modified: mltonlib/trunk/org/mlton/vesak/toys/common.mk
===================================================================
--- mltonlib/trunk/org/mlton/vesak/toys/common.mk	2007-06-30 09:44:14 UTC (rev 5700)
+++ mltonlib/trunk/org/mlton/vesak/toys/common.mk	2007-07-01 12:07:17 UTC (rev 5701)
@@ -15,10 +15,8 @@
 
 exe := $(gen-dir)/$(name)
 
-ifeq ($(target-os),mingw)
-link-opt :=
-else
-link-opt := -link-opt -ldl
+ifneq ($(target-os),mingw)
+link-opts += -ldl
 endif
 
 ##########################################################################
@@ -57,8 +55,10 @@
 	mlton -mlb-path-map $(mlb-path-map)                  \
 	      -prefer-abs-paths true                         \
 	      -show-def-use $@.du                            \
-	      $(link-opt)                                    \
+	      -inline 10000                                  \
+	      -link-opt '$(link-opts)'                       \
 	      -output $@                                     \
+	      $(mlton-opts)                                  \
 	      $<
 
 ##########################################################################