[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"