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

Simplify types for printing with '-dumpTypes'

author	Adam Chlipala <adam@chlipala.net>
date	Mon, 16 Apr 2012 09:53:48 -0400
parents	dae2c6fbf16c
children	c414850f206f

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
adam@1474	15 val ccompiler = "@CC@"
adam@1523	16 val ccArgs = "@CCARGS@"
adam@1666	17
adam@1368	18 val openssl = "@OPENSSL_LDFLAGS@ @OPENSSL_LIBS@"
adamc@435	19
adam@1666	20 (* Something is rotten in the state of Ubuntu 11.10, so here's a manual fix that I hope doesn't break other platforms. *)
adam@1673	21 val openssl =
adam@1673	22 let
adam@1673	23 val tokens = String.tokens Char.isSpace openssl
adam@1673	24 in
adam@1673	25 if List.exists (fn s => s = "-lssl") tokens then
adam@1673	26 String.concatWith " " (List.filter (fn s => s <> "-lssl") tokens @ ["-lssl"])
adam@1673	27 else
adam@1673	28 openssl
adam@1673	29 end
adam@1666	30
adam@1464	31 val pgheader = "@PGHEADER@"
adam@1464	32 val msheader = "@MSHEADER@"
adam@1464	33 val sqheader = "@SQHEADER@"
adam@1464	34
adam@1520	35 val versionNumber = "@VERSION@"
adam@1520	36 val versionString = "The Ur/Web compiler, version " ^ versionNumber
adam@1520	37
adam@1528	38 val pthreadCflags = "@PTHREAD_CFLAGS@"
adam@1528	39 val pthreadLibs = "@PTHREAD_LIBS@"
adam@1528	40
adamc@378	41 end

Mercurial > urweb