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