diff src/cjr_print.sml @ 766:df09c95085f8

More FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 12:10:43 -0400
parents a28982de5645
children c125df6fabfc
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat May 02 11:27:26 2009 -0400
+++ b/src/cjr_print.sml	Sat May 02 12:10:43 2009 -0400
@@ -2839,6 +2839,8 @@
                                                      ^ OS.Path.joinDirFile {dir = Settings.getUrlPrefix (),
                                                                             file = "app.js"}
                                                      ^ "\\\"></script>\\n"),
+                                    p_list (fn x => string ("<script src=\\\"" ^ x ^ "\\\"></script>"))
+                                           (Settings.getScripts ()),
                                     string "\");",
                                     newline,
                                     string "uw_set_needs_push(ctx, ",