[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