annotate src/config.sml.in @ 1724:125f9b01fbf1

Another test for cancelation in error messages
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Apr 2012 09:18:21 -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