comparison 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
comparison
equal deleted inserted replaced
377:78358e5df273 378:168667cdaa95
2035 string "#include <string.h>", 2035 string "#include <string.h>",
2036 newline, 2036 newline,
2037 string "#include <postgresql/libpq-fe.h>", 2037 string "#include <postgresql/libpq-fe.h>",
2038 newline, 2038 newline,
2039 newline, 2039 newline,
2040 string "#include \"urweb.h\"", 2040 string "#include \"",
2041 string (OS.Path.joinDirFile {dir = Config.includ,
2042 file = "urweb.h"}),
2043 string "\"",
2041 newline, 2044 newline,
2042 newline, 2045 newline,
2043 p_list_sep newline (fn x => x) pds, 2046 p_list_sep newline (fn x => x) pds,
2044 newline, 2047 newline,
2045 string "int uw_inputs_len = ", 2048 string "int uw_inputs_len = ",