comparison src/compiler.sml @ 949:6646b95f1860

Disable GCC inlining to stop goofy errors
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Sep 2009 13:30:56 -0400
parents b873feb3eb52
children 2831be2daf2e
comparison
equal deleted inserted replaced
948:b03d48aac959 949:6646b95f1860
905 let 905 let
906 val proto = Settings.currentProtocol () 906 val proto = Settings.currentProtocol ()
907 val urweb_o = clibFile "urweb.o" 907 val urweb_o = clibFile "urweb.o"
908 val memmem_o = clibFile "memmem.o" 908 val memmem_o = clibFile "memmem.o"
909 909
910 val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -I " ^ Config.includ 910 val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -fno-inline -I " ^ Config.includ
911 ^ " -c " ^ cname ^ " -o " ^ oname 911 ^ " -c " ^ cname ^ " -o " ^ oname
912 val link = "gcc -Werror -O3 -lm -lmhash -pthread " ^ Config.gccArgs ^ " " ^ libs ^ " " ^ urweb_o ^ " " ^ oname 912 val link = "gcc -Werror -O3 -lm -lmhash -pthread " ^ Config.gccArgs ^ " " ^ libs ^ " " ^ urweb_o ^ " " ^ oname
913 ^ " " ^ memmem_o ^ " " ^ #link proto ^ " -o " ^ ename 913 ^ " " ^ memmem_o ^ " " ^ #link proto ^ " -o " ^ ename
914 914
915 val (compile, link) = 915 val (compile, link) =