[MLton-commit] r4500

Stephen Weeks MLton@mlton.org
Mon, 8 May 2006 19:46:56 -0700


Linked with libgdtoa, which is now needed by the runtime (for
gdtoa_strtof).

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

U   mlton/branches/on-20050822-x86_64-branch/bin/add-cross

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

Modified: mlton/branches/on-20050822-x86_64-branch/bin/add-cross
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/bin/add-cross	2006-05-09 02:43:13 UTC (rev 4499)
+++ mlton/branches/on-20050822-x86_64-branch/bin/add-cross	2006-05-09 02:46:56 UTC (rev 4500)
@@ -113,6 +113,6 @@
 $src/build/bin/mlton -build-constants true | 
         ssh $machine "cd $tmp/runtime &&
                         cat >$exe.c && 
-                        gcc -I. -o $exe $exe.c libmlton.a -lgmp -lm $libs"
+                        gcc -I. -o $exe $exe.c libmlton.a libgdtoa.a -lgmp -lm $libs"
 ssh $machine "$tmp/runtime/$exe$suf" >"$lib/$crossTarget/constants"
 ssh $machine "rm -rf $tmp"