[MLton-devel] mlton/bin mlton,1.11,1.12
sweeks@users.sourceforge.net
sweeks@users.sourceforge.net
Thu, 25 Apr 2002 20:06:25 -0700
Update of /cvsroot/mlton/mlton/bin
In directory usw-pr-cvs1:/tmp/cvs-serv10614/bin
Modified Files:
mlton
Log Message:
MAIL
Changed call to linker to use libgmp.a (if it exists) instead of libgmp.so.
This is because the linker adds a dependency to a shared library even if there
are no references to it.
Index: mlton
===================================================================
RCS file: /cvsroot/mlton/mlton/bin/mlton,v
retrieving revision 1.11
retrieving revision 1.12
diff -C2 -d -r1.11 -r1.12
*** mlton 1 Apr 2002 18:23:12 -0000 1.11
--- mlton 26 Apr 2002 03:06:23 -0000 1.12
***************
*** 41,43 ****
-mcpu=pentiumpro -malign-loops=2 -malign-jumps=2 -malign-functions=5 \
-fschedule-insns -fschedule-insns2 END \
! -lgmp -lm "$@"
--- 41,43 ----
-mcpu=pentiumpro -malign-loops=2 -malign-jumps=2 -malign-functions=5 \
-fschedule-insns -fschedule-insns2 END \
! -lm "$@"
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel