Mercurial > urweb
annotate src/config.sml.in @ 1668:64c1e65c2365
Prevent horrifying loops in unification variable graph
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 09 Jan 2012 16:20:10 -0500 |
parents | df8f18d50746 |
children | dae2c6fbf16c |
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@1666 | 21 val openssl = case String.tokens Char.isSpace openssl of |
adam@1666 | 22 ["-lssl", "-lcrypto"] => "-lcrypto -lssl" |
adam@1666 | 23 | _ => openssl |
adam@1666 | 24 |
adam@1464 | 25 val pgheader = "@PGHEADER@" |
adam@1464 | 26 val msheader = "@MSHEADER@" |
adam@1464 | 27 val sqheader = "@SQHEADER@" |
adam@1464 | 28 |
adam@1520 | 29 val versionNumber = "@VERSION@" |
adam@1520 | 30 val versionString = "The Ur/Web compiler, version " ^ versionNumber |
adam@1520 | 31 |
adam@1528 | 32 val pthreadCflags = "@PTHREAD_CFLAGS@" |
adam@1528 | 33 val pthreadLibs = "@PTHREAD_LIBS@" |
adam@1528 | 34 |
adamc@378 | 35 end |