annotate src/config.sml.in @ 1890:abb0e95dcaa1

Fix more of client-side error handlers
author Adam Chlipala <adam@chlipala.net>
date Thu, 14 Nov 2013 06:36:36 -0500
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