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

In incremental elaboration, handle invalidated FFI signatures

author	Adam Chlipala <adam@chlipala.net>
date	Wed, 09 May 2012 08:53:10 -0400
parents	c414850f206f
children

rev	line source
adamc@378	1 structure Config :> CONFIG = struct
adamc@378	2
ezyang@1739	3 val builddir = "@abs_top_builddir@"
ezyang@1739	4
adamc@378	5 val bin = "@BIN@"
ezyang@1739	6 val srclib = "@SRCLIB@"
adamc@378	7 val lib = "@LIB@"
adamc@378	8 val includ = "@INCLUDE@"
adamc@378	9 val sitelisp = "@SITELISP@"
adamc@378	10
adam@1474	11 val ccompiler = "@CC@"
adam@1523	12 val ccArgs = "@CCARGS@"
adam@1666	13
adam@1368	14 val openssl = "@OPENSSL_LDFLAGS@ @OPENSSL_LIBS@"
adamc@435	15
adam@1666	16 (* 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	17 val openssl =
adam@1673	18 let
adam@1673	19 val tokens = String.tokens Char.isSpace openssl
adam@1673	20 in
adam@1673	21 if List.exists (fn s => s = "-lssl") tokens then
adam@1673	22 String.concatWith " " (List.filter (fn s => s <> "-lssl") tokens @ ["-lssl"])
adam@1673	23 else
adam@1673	24 openssl
adam@1673	25 end
adam@1666	26
adam@1464	27 val pgheader = "@PGHEADER@"
adam@1464	28 val msheader = "@MSHEADER@"
adam@1464	29 val sqheader = "@SQHEADER@"
adam@1464	30
adam@1520	31 val versionNumber = "@VERSION@"
adam@1520	32 val versionString = "The Ur/Web compiler, version " ^ versionNumber
adam@1520	33
adam@1528	34 val pthreadCflags = "@PTHREAD_CFLAGS@"
adam@1528	35 val pthreadLibs = "@PTHREAD_LIBS@"
adam@1528	36
adamc@378	37 end

Mercurial > urweb