comparison src/compiler.sml @ 734:f2a2be93331c

Cookie signing working for forms
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 19:12:12 -0400
parents 5819fb63c93a
children 43553c93dd8c
comparison
equal deleted inserted replaced
733:15ddd64a5113 734:f2a2be93331c
609 let 609 let
610 val urweb_o = clibFile "urweb.o" 610 val urweb_o = clibFile "urweb.o"
611 val driver_o = clibFile "driver.o" 611 val driver_o = clibFile "driver.o"
612 612
613 val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -I include -c " ^ cname ^ " -o " ^ oname 613 val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -I include -c " ^ cname ^ " -o " ^ oname
614 val link = "gcc -Werror -O3 -lm -pthread " ^ libs ^ " " ^ urweb_o ^ " " ^ oname ^ " " ^ driver_o ^ " -o " ^ ename 614 val link = "gcc -Werror -O3 -lm -lmhash -pthread " ^ libs ^ " " ^ urweb_o ^ " " ^ oname ^ " " ^ driver_o ^ " -o " ^ ename
615 615
616 val (compile, link) = 616 val (compile, link) =
617 if profile then 617 if profile then
618 (compile ^ " -pg", link ^ " -pg") 618 (compile ^ " -pg", link ^ " -pg")
619 else 619 else