diff options
author | 2009-04-30 17:15:14 -0400 | |
---|---|---|
committer | 2009-04-30 17:15:14 -0400 | |
commit | 2307ccdcc5eb4ddfe719ddcbea999f7705ec79c3 (patch) | |
tree | 4be9b76a5e655b9f28be47710cc47e600a369a14 /src/cjr_print.sml | |
parent | db2f1f208afef9110d8a5796a2325928a92b62cc (diff) |
C FFI compiler options
Diffstat (limited to 'src/cjr_print.sml')
-rw-r--r-- | src/cjr_print.sml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 95ae53b8..e1d6d88b 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -1250,8 +1250,6 @@ fun urlify env t = urlify' IS.empty 0 t end -val timeout = ref 0 - fun p_exp' par env (e, loc) = case e of EPrim p => Prim.p_t_GCC p @@ -2832,7 +2830,7 @@ fun p_file env (ds, ps) = string (case side of ServerOnly => "" | _ => "<script src=\\\"" - ^ OS.Path.joinDirFile {dir = !Monoize.urlPrefix, + ^ OS.Path.joinDirFile {dir = Settings.getUrlPrefix (), file = "app.js"} ^ "\\\"></script>\\n"), string "\");", @@ -2844,7 +2842,7 @@ fun p_file env (ds, ps) = string ");", newline, string "uw_set_url_prefix(ctx, \"", - string (!Monoize.urlPrefix), + string (Settings.getUrlPrefix ()), string "\");", newline]), string "uw_set_needs_sig(ctx, ", @@ -3185,6 +3183,10 @@ fun p_file env (ds, ps) = else box [], newline, + p_list_sep (box []) (fn s => box [string "#include \"", + string s, + string "\"", + newline]) (Settings.getHeaders ()), string "#include \"", string (OS.Path.joinDirFile {dir = Config.includ, file = "urweb.h"}), @@ -3198,7 +3200,7 @@ fun p_file env (ds, ps) = string ";", newline, string "int uw_timeout = ", - string (Int.toString (!timeout)), + string (Int.toString (Settings.getTimeout ())), string ";", newline, newline, |