comparison src/compiler.sml @ 1515:8c65218920cf

Stop using -fno-inline by default
author Adam Chlipala <adam@chlipala.net>
date Sat, 23 Jul 2011 09:42:34 -0400
parents ebc30bb262d0
children c4f39b49aa2d
comparison
equal deleted inserted replaced
1514:3c0803c1acd7 1515:8c65218920cf
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 -O3 -fno-inline -I " ^ Config.includ 1323 val compile = Config.ccompiler ^ " " ^ Config.gccArgs ^ " -Wimplicit -Werror -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.gccArgs ^ " " ^ lib ^ " " ^ Config.openssl ^ " " ^ escapeFilename oname
1328 ^ " -o " ^ escapeFilename ename ^ " " ^ libs 1328 ^ " -o " ^ escapeFilename ename ^ " " ^ libs