Mercurial > urweb
view src/config.sml.in @ 1717:16ee7ff7f119
Avoid kindof failures in elaboration
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 21 Apr 2012 13:57:10 -0400 |
parents | dae2c6fbf16c |
children | c414850f206f |
line wrap: on
line source
structure Config :> CONFIG = struct val bin = "@BIN@" val lib = "@LIB@" val includ = "@INCLUDE@" val sitelisp = "@SITELISP@" val libUr = OS.Path.joinDirFile {dir = lib, file = "ur"} val libC = OS.Path.joinDirFile {dir = lib, file = "c"} val libJs = OS.Path.joinDirFile {dir = lib, file = "js"} 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