Mercurial > urweb
view src/config.sml.in @ 1780:85a87f155e7b
Flush elaboration cache when switching between .urp files
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 23 Jun 2012 10:11:33 -0400 |
parents | c414850f206f |
children |
line wrap: on
line source
structure Config :> CONFIG = struct val builddir = "@abs_top_builddir@" val bin = "@BIN@" val srclib = "@SRCLIB@" val lib = "@LIB@" val includ = "@INCLUDE@" val sitelisp = "@SITELISP@" val ccompiler = "@CC@" val ccArgs = "@CCARGS@" val openssl = "@OPENSSL_LDFLAGS@ @OPENSSL_LIBS@" (* Something is rotten in the state of Ubuntu 11.10, so here's a manual fix that I hope doesn't break other platforms. *) val openssl = let val tokens = String.tokens Char.isSpace openssl in if List.exists (fn s => s = "-lssl") tokens then String.concatWith " " (List.filter (fn s => s <> "-lssl") tokens @ ["-lssl"]) else openssl end val pgheader = "@PGHEADER@" val msheader = "@MSHEADER@" val sqheader = "@SQHEADER@" val versionNumber = "@VERSION@" val versionString = "The Ur/Web compiler, version " ^ versionNumber val pthreadCflags = "@PTHREAD_CFLAGS@" val pthreadLibs = "@PTHREAD_LIBS@" end