diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-26 10:45:59 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-26 10:45:59 -0400 |
commit | 4f288849df2bb1a5a1d9d6f6ec9537badd82b6ab (patch) | |
tree | d20dcbe8aec266976ec07b31a5e11e75162f4fdf /src/compiler.sml | |
parent | 38507c697c6b5f277cabc5eb61afff14ea02da07 (diff) |
Reading blobs from the database
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index cf54c3cf..99954958 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -605,7 +605,7 @@ val sqlify = { val toSqlify = transform sqlify "sqlify" o toMono_opt2 -fun compileC {cname, oname, ename, libs, profile} = +fun compileC {cname, oname, ename, libs, profile, debug} = let val urweb_o = clibFile "urweb.o" val driver_o = clibFile "driver.o" @@ -618,6 +618,12 @@ fun compileC {cname, oname, ename, libs, profile} = (compile ^ " -pg", link ^ " -pg") else (compile, link) + + val (compile, link) = + if debug then + (compile ^ " -g", link ^ " -g") + else + (compile, link) in if not (OS.Process.isSuccess (OS.Process.system compile)) then print "C compilation failed\n" @@ -682,7 +688,8 @@ fun compile job = TextIO.closeOut outf end; - compileC {cname = cname, oname = oname, ename = ename, libs = libs, profile = #profile job}; + compileC {cname = cname, oname = oname, ename = ename, libs = libs, + profile = #profile job, debug = #debug job}; cleanup () end |