From 369f5592adc342fc7e2436fa14ec6671c747685e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 16 Apr 2009 19:12:12 -0400 Subject: Cookie signing working for forms --- src/compiler.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/compiler.sml') diff --git a/src/compiler.sml b/src/compiler.sml index 5223abe9..cf54c3cf 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -611,7 +611,7 @@ fun compileC {cname, oname, ename, libs, profile} = val driver_o = clibFile "driver.o" val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -I include -c " ^ cname ^ " -o " ^ oname - val link = "gcc -Werror -O3 -lm -pthread " ^ libs ^ " " ^ urweb_o ^ " " ^ oname ^ " " ^ driver_o ^ " -o " ^ ename + val link = "gcc -Werror -O3 -lm -lmhash -pthread " ^ libs ^ " " ^ urweb_o ^ " " ^ oname ^ " " ^ driver_o ^ " -o " ^ ename val (compile, link) = if profile then -- cgit v1.2.3