comparison src/compiler.sml @ 914:782f0b4eea67

New release
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Aug 2009 17:33:13 -0400
parents 8e540df3294d
children b873feb3eb52
comparison
equal deleted inserted replaced
913:b26823138bf8 914:782f0b4eea67
899 899
900 fun compileC {cname, oname, ename, libs, profile, debug, link = link'} = 900 fun compileC {cname, oname, ename, libs, profile, debug, link = link'} =
901 let 901 let
902 val proto = Settings.currentProtocol () 902 val proto = Settings.currentProtocol ()
903 val urweb_o = clibFile "urweb.o" 903 val urweb_o = clibFile "urweb.o"
904 val memmem_o = clibFile "memmem.o"
904 905
905 val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -I " ^ Config.includ 906 val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -I " ^ Config.includ
906 ^ " -c " ^ cname ^ " -o " ^ oname 907 ^ " -c " ^ cname ^ " -o " ^ oname
907 val link = "gcc -Werror -O3 -lm -lmhash -pthread " ^ libs ^ " " ^ urweb_o ^ " " ^ oname 908 val link = "gcc -Werror -O3 -lm -lmhash -pthread " ^ Config.gccArgs ^ " " ^ libs ^ " " ^ urweb_o ^ " " ^ oname
908 ^ " " ^ #link proto ^ " -o " ^ ename 909 ^ " " ^ memmem_o ^ " " ^ #link proto ^ " -o " ^ ename
909 910
910 val (compile, link) = 911 val (compile, link) =
911 if profile then 912 if profile then
912 (compile ^ " -pg", link ^ " -pg") 913 (compile ^ " -pg", link ^ " -pg")
913 else 914 else