# HG changeset patch # User Adam Chlipala # Date 1350755506 14400 # Node ID 05e3365292cd6645080d7728e31c8416264f5ca8 # Parent 6b86ca4b0908e313b685dad6a947eac10d9aa19a Switch linker order diff -r 6b86ca4b0908 -r 05e3365292cd src/compiler.sml --- a/src/compiler.sml Tue Sep 25 08:29:27 2012 -0400 +++ b/src/compiler.sml Sat Oct 20 13:51:46 2012 -0400 @@ -1469,7 +1469,7 @@ val linker = Option.getOpt (linker, Config.ccompiler ^ " -Werror" ^ opt ^ " " ^ Config.ccArgs ^ " " ^ Config.pthreadCflags ^ " " ^ Config.pthreadLibs) val link = linker - ^ " " ^ lib ^ " " ^ escapeFilename oname ^ " " ^ libs ^ " -lm " ^ Config.openssl ^ " -o " ^ escapeFilename ename + ^ " " ^ lib ^ " " ^ escapeFilename oname ^ " -lm " ^ Config.openssl ^ " " ^ libs ^ " -o " ^ escapeFilename ename val (compile, link) = if profile then