blob: 51d572ebb407613451b9ba5d92aeececbcfe3302 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
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
|