[MLton-devel] cvs commit: /etc/ld.so.conf and libgmp

Stephen Weeks sweeks@users.sourceforge.net
Sun, 22 Sep 2002 13:00:26 -0700


sweeks      02/09/22 13:00:25

  Modified:    mlton/main main.sml
  Log:
  Always search /lib and /usr/lib for libgmp.a.

Revision  Changes    Path
1.81      +3 -1      mlton/mlton/main/main.sml

Index: main.sml
===================================================================
RCS file: /cvsroot/mlton/mlton/mlton/main/main.sml,v
retrieving revision 1.80
retrieving revision 1.81
diff -u -r1.80 -r1.81
--- main.sml	22 Sep 2002 15:57:58 -0000	1.80
+++ main.sml	22 Sep 2002 20:00:25 -0000	1.81
@@ -457,7 +457,9 @@
 		      | FreeBSD => "-lgmp"
 		      | Linux =>
 			   case (List.peekMap
-				 (File.lines "/etc/ld.so.conf", fn d =>
+				 ("/lib\n" :: "/usr/lib\n"
+				  :: File.lines "/etc/ld.so.conf",
+				  fn d =>
 				  let
 				     val lib = concat [String.dropSuffix (d, 1),
 						       "/libgmp.a"]





-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel