From 64f43be321e5ad4bef303831a589e1bd415e8673 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 4 Aug 2011 17:06:50 -0400 Subject: Configure correct C compiler options for Pthreads --- src/config.sml.in | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/config.sml.in') diff --git a/src/config.sml.in b/src/config.sml.in index cd8d941a..1d7e450f 100644 --- a/src/config.sml.in +++ b/src/config.sml.in @@ -23,4 +23,7 @@ val sqheader = "@SQHEADER@" val versionNumber = "@VERSION@" val versionString = "The Ur/Web compiler, version " ^ versionNumber +val pthreadCflags = "@PTHREAD_CFLAGS@" +val pthreadLibs = "@PTHREAD_LIBS@" + end -- cgit v1.2.3