diff src/cjr_print.sml @ 378:168667cdaa95

Proper configuration and installation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Oct 2008 12:47:10 -0400
parents 78358e5df273
children 7abb28e9d51f
line wrap: on
line diff
--- a/src/cjr_print.sml	Sun Oct 19 12:12:59 2008 -0400
+++ b/src/cjr_print.sml	Sun Oct 19 12:47:10 2008 -0400
@@ -2037,7 +2037,10 @@
              string "#include <postgresql/libpq-fe.h>",
              newline,
              newline,
-             string "#include \"urweb.h\"",
+             string "#include \"",
+             string (OS.Path.joinDirFile {dir = Config.includ,
+                                          file = "urweb.h"}),
+             string "\"",
              newline,
              newline,
              p_list_sep newline (fn x => x) pds,