comparison src/compiler.sml @ 1094:db52c32dbe42

All three current protocols work with move to using uw_app
author Adam Chlipala <adamc@hcoop.net>
date Sun, 27 Dec 2009 10:37:24 -0500
parents 6f4b05fc4361
children bed675db3aff
comparison
equal deleted inserted replaced
1093:8d3aa6c7cee0 1094:db52c32dbe42
1026 let 1026 let
1027 val proto = Settings.currentProtocol () 1027 val proto = Settings.currentProtocol ()
1028 val urweb_o = clibFile "urweb.o" 1028 val urweb_o = clibFile "urweb.o"
1029 val memmem_o = clibFile "memmem.o" 1029 val memmem_o = clibFile "memmem.o"
1030 1030
1031 val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -fno-inline -I " ^ Config.includ 1031 val compile = "gcc " ^ Config.gccArgs ^ " -Wimplicit -Werror -O3 -fno-inline -I " ^ Config.includ
1032 ^ " -c " ^ cname ^ " -o " ^ oname 1032 ^ " -c " ^ cname ^ " -o " ^ oname
1033 val link = "gcc -Werror -O3 -lm -lmhash -pthread " ^ Config.gccArgs ^ " " ^ libs ^ " " ^ urweb_o ^ " " ^ oname 1033 val link = "gcc -Werror -O3 -lm -lmhash -pthread " ^ Config.gccArgs ^ " " ^ libs ^ " " ^ urweb_o ^ " " ^ oname
1034 ^ " " ^ memmem_o ^ " " ^ #link proto ^ " -o " ^ ename 1034 ^ " " ^ memmem_o ^ " " ^ #link proto ^ " -o " ^ ename
1035 1035
1036 val (compile, link) = 1036 val (compile, link) =