Import urweb_20170720+dfsg.orig.tar.gz

[dgit import orig urweb_20170720+dfsg.orig.tar.gz]

1 files changed, 37 insertions, 0 deletions

diff --git a/src/config.sml.in b/src/config.sml.in
new file mode 100644
index 0000000..ebcdb7b
--- /dev/null
+++ b/src/config.sml.in
@@ -0,0 +1,37 @@
+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