Mercurial > urweb
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 |