Ur/Web: src/config.sml.in annotate

Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)

author	Adam Chlipala <adam@chlipala.net>
date	Wed, 15 Jun 2011 09:52:06 -0400
parents	969b90b1f2f9
children	3d0cc841cafd

rev	line source
adamc@378	1 structure Config :> CONFIG = struct
adamc@378	2
adamc@378	3 val bin = "@BIN@"
adamc@378	4 val lib = "@LIB@"
adamc@378	5 val includ = "@INCLUDE@"
adamc@378	6 val sitelisp = "@SITELISP@"
adamc@378	7
adamc@378	8 val libUr = OS.Path.joinDirFile {dir = lib,
adamc@378	9 file = "ur"}
adamc@378	10 val libC = OS.Path.joinDirFile {dir = lib,
adamc@378	11 file = "c"}
adamc@569	12 val libJs = OS.Path.joinDirFile {dir = lib,
adamc@569	13 file = "js"}
adamc@378	14
adamc@435	15 val gccArgs = "@GCCARGS@"
adam@1368	16 val openssl = "@OPENSSL_LDFLAGS@ @OPENSSL_LIBS@"
adamc@435	17
adam@1464	18 val pgheader = "@PGHEADER@"
adam@1464	19 val msheader = "@MSHEADER@"
adam@1464	20 val sqheader = "@SQHEADER@"
adam@1464	21
adamc@378	22 end

Mercurial > urweb