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 | 7bd2bc26389467f685958601cff2708751764515 (patch) | |
| tree | d20dcbe8aec266976ec07b31a5e11e75162f4fdf /src/compiler.sml | |
| parent | bc7a09d702e53faaa882bb7b2591abe68ff5648e (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 |