@@ -48,7 +48,6 @@ codegenC defs out exec incs objs libs dbg
48 let gcc = comp ++ " " ++
48 let gcc = comp ++ " " ++
49 gccDbg dbg ++
49 gccDbg dbg ++
50 " -I. " ++ objs ++ " -x c " ++
50 " -I. " ++ objs ++ " -x c " ++
51− "-static " ++ -- prevent linking to .so of rts
52 (if (exec == Executable) then "" else " -c ") ++
51 (if (exec == Executable) then "" else " -c ") ++
53 " " ++ tmpn ++
52 " " ++ tmpn ++
54 " " ++ libFlags ++
53 " " ++ libFlags ++