Mercurial > urweb
annotate src/config.sml.in @ 1795:d28adceef22a
Allow type class instances with hypotheses via local ('let') definitions
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 25 Jul 2012 14:04:59 -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 |