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