Mercurial > urweb
diff src/compiler.sml @ 855:28e42b22424d
Initial implementation of protocols in Settings
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 23 Jun 2009 15:56:04 -0400 |
| parents | 19fdeef40ada |
| children | 3d2f6cb6d54a |
line wrap: on
line diff
--- a/src/compiler.sml Tue Jun 23 15:40:35 2009 -0400 +++ b/src/compiler.sml Tue Jun 23 15:56:04 2009 -0400 @@ -883,14 +883,13 @@ fun compileC {cname, oname, ename, libs, profile, debug, link = link'} = let + val proto = Settings.currentProtocol () val urweb_o = clibFile "urweb.o" - val request_o = clibFile "request.o" - val driver_o = clibFile "driver.o" val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -I " ^ Config.includ ^ " -c " ^ cname ^ " -o " ^ oname val link = "gcc -Werror -O3 -lm -lmhash -pthread " ^ libs ^ " " ^ urweb_o ^ " " ^ oname - ^ " " ^ request_o ^ " " ^ driver_o ^ " -o " ^ ename + ^ " " ^ #link proto ^ " -o " ^ ename val (compile, link) = if profile then