comparison 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
comparison
equal deleted inserted replaced
1435:740e167cd4eb 1436:3d5e4c5fb6ee
1304 1304
1305 val compile = "gcc " ^ Config.gccArgs ^ " -Wimplicit -Werror -O3 -fno-inline -I " ^ Config.includ 1305 val compile = "gcc " ^ Config.gccArgs ^ " -Wimplicit -Werror -O3 -fno-inline -I " ^ Config.includ
1306 ^ " " ^ #compile proto 1306 ^ " " ^ #compile proto
1307 ^ " -c " ^ cname ^ " -o " ^ oname 1307 ^ " -c " ^ cname ^ " -o " ^ oname
1308 1308
1309 val link = "gcc -Werror -O3 -lm -pthread " ^ Config.gccArgs ^ " " ^ libs ^ " " ^ lib ^ " " ^ Config.openssl ^ " " ^ oname 1309 val link = "gcc -Werror -O3 -lm -pthread " ^ Config.gccArgs ^ " " ^ lib ^ " " ^ Config.openssl ^ " " ^ oname
1310 ^ " -o " ^ ename 1310 ^ " -o " ^ ename ^ " " ^ libs
1311 1311
1312 val (compile, link) = 1312 val (compile, link) =
1313 if profile then 1313 if profile then
1314 (compile ^ " -pg", link ^ " -pg") 1314 (compile ^ " -pg", link ^ " -pg")
1315 else 1315 else