changeset 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 740e167cd4eb
children 493e087f5479
files src/compiler.sml
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
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