Mercurial > urweb

comparison src/compiler.sml @ 1523:52fbd8534ef3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove some GCC-specific identifier choice and documentation
author Adam Chlipala <adam@chlipala.net>
date Tue, 02 Aug 2011 14:45:19 -0400
parents c4f39b49aa2d
children 7770ef82c463
comparison
equal deleted inserted replaced
1522:4d0b80dd4c37 1523:52fbd8534ef3
1318 val lib = if Settings.getStaticLinking () then 1318 val lib = if Settings.getStaticLinking () then
1319 #linkStatic proto ^ " " ^ Config.lib ^ "/../liburweb.a" 1319 #linkStatic proto ^ " " ^ Config.lib ^ "/../liburweb.a"
1320 else 1320 else
1321 "-L" ^ Config.lib ^ "/.. -lurweb " ^ #linkDynamic proto 1321 "-L" ^ Config.lib ^ "/.. -lurweb " ^ #linkDynamic proto
1322 1322
1323 val compile = Config.ccompiler ^ " " ^ Config.gccArgs ^ " -Wimplicit -Werror -Wno-unused-value -O3 -I " ^ Config.includ 1323 val compile = Config.ccompiler ^ " " ^ Config.ccArgs ^ " -Wimplicit -Werror -Wno-unused-value -O3 -I " ^ Config.includ
1324 ^ " " ^ #compile proto 1324 ^ " " ^ #compile proto
1325 ^ " -c " ^ escapeFilename cname ^ " -o " ^ escapeFilename oname 1325 ^ " -c " ^ escapeFilename cname ^ " -o " ^ escapeFilename oname
1326 1326
1327 val link = Config.ccompiler ^ " -Werror -O3 -lm -pthread " ^ Config.gccArgs ^ " " ^ lib ^ " " ^ Config.openssl ^ " " ^ escapeFilename oname 1327 val link = Config.ccompiler ^ " -Werror -O3 -lm -pthread " ^ Config.ccArgs ^ " " ^ lib ^ " " ^ Config.openssl ^ " " ^ escapeFilename oname
1328 ^ " -o " ^ escapeFilename ename ^ " " ^ libs 1328 ^ " -o " ^ escapeFilename ename ^ " " ^ libs
1329 1329
1330 val (compile, link) = 1330 val (compile, link) =
1331 if profile then 1331 if profile then
1332 (compile ^ " -pg", link ^ " -pg") 1332 (compile ^ " -pg", link ^ " -pg")