comparison src/compiler.sml @ 1828:05e3365292cd

Switch linker order
author Adam Chlipala <adam@chlipala.net>
date Sat, 20 Oct 2012 13:51:46 -0400
parents 8bc16ff91d32
children c1e3805e604e
comparison
equal deleted inserted replaced
1827:6b86ca4b0908 1828:05e3365292cd
1467 ^ " -c " ^ escapeFilename cname ^ " -o " ^ escapeFilename oname 1467 ^ " -c " ^ escapeFilename cname ^ " -o " ^ escapeFilename oname
1468 1468
1469 val linker = Option.getOpt (linker, Config.ccompiler ^ " -Werror" ^ opt ^ " " ^ Config.ccArgs ^ " " ^ Config.pthreadCflags ^ " " ^ Config.pthreadLibs) 1469 val linker = Option.getOpt (linker, Config.ccompiler ^ " -Werror" ^ opt ^ " " ^ Config.ccArgs ^ " " ^ Config.pthreadCflags ^ " " ^ Config.pthreadLibs)
1470 1470
1471 val link = linker 1471 val link = linker
1472 ^ " " ^ lib ^ " " ^ escapeFilename oname ^ " " ^ libs ^ " -lm " ^ Config.openssl ^ " -o " ^ escapeFilename ename 1472 ^ " " ^ lib ^ " " ^ escapeFilename oname ^ " -lm " ^ Config.openssl ^ " " ^ libs ^ " -o " ^ escapeFilename ename
1473 1473
1474 val (compile, link) = 1474 val (compile, link) =
1475 if profile then 1475 if profile then
1476 (compile ^ " -pg", link ^ " -pg") 1476 (compile ^ " -pg", link ^ " -pg")
1477 else 1477 else