comparison src/compiler.sml @ 1397:a5bfed32d4f7

Patch from Vladimir Shabanov to support crypt under OS X
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Jan 2011 10:38:03 -0500
parents 115d217bbfbc
children 56ba9c442a2d
comparison
equal deleted inserted replaced
1396:115d217bbfbc 1397:a5bfed32d4f7
1293 1293
1294 val compile = "gcc " ^ Config.gccArgs ^ " -Wimplicit -Werror -O3 -fno-inline -I " ^ Config.includ 1294 val compile = "gcc " ^ Config.gccArgs ^ " -Wimplicit -Werror -O3 -fno-inline -I " ^ Config.includ
1295 ^ " " ^ #compile proto 1295 ^ " " ^ #compile proto
1296 ^ " -c " ^ cname ^ " -o " ^ oname 1296 ^ " -c " ^ cname ^ " -o " ^ oname
1297 1297
1298 val link = "gcc -Werror -O3 -lm -lcrypt -pthread " ^ Config.gccArgs ^ " " ^ libs ^ " " ^ lib ^ " " ^ Config.openssl ^ " " ^ oname 1298 val link = "gcc -Werror -O3 -lm -pthread " ^ Config.gccArgs ^ " " ^ libs ^ " " ^ lib ^ " " ^ Config.openssl ^ " " ^ oname
1299 ^ " -o " ^ ename 1299 ^ " -o " ^ ename
1300 1300
1301 val (compile, link) = 1301 val (compile, link) =
1302 if profile then 1302 if profile then
1303 (compile ^ " -pg", link ^ " -pg") 1303 (compile ^ " -pg", link ^ " -pg")