diff src/compiler.sml @ 1436:3d5e4c5fb6ee

Change order of linking database libraries to satisfy Cygwin
author Adam Chlipala <adam@chlipala.net>
date Sat, 12 Mar 2011 14:30:08 -0500
parents 66092ce45a76
children 2f5fd248588d
line wrap: on
line diff
--- a/src/compiler.sml	Sat Mar 12 14:20:29 2011 -0500
+++ b/src/compiler.sml	Sat Mar 12 14:30:08 2011 -0500
@@ -1306,8 +1306,8 @@
                       ^ " " ^ #compile proto
                       ^ " -c " ^ cname ^ " -o " ^ oname
 
-        val link = "gcc -Werror -O3 -lm -pthread " ^ Config.gccArgs ^ " " ^ libs ^ " " ^ lib ^ " " ^ Config.openssl ^ " " ^ oname
-                   ^ " -o " ^ ename
+        val link = "gcc -Werror -O3 -lm -pthread " ^ Config.gccArgs ^ " " ^ lib ^ " " ^ Config.openssl ^ " " ^ oname
+                   ^ " -o " ^ ename ^ " " ^ libs
 
         val (compile, link) =
             if profile then