summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 6839d39e..afe84617 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -33,6 +33,11 @@ val configSrcLib = ref Config.srclib
val configInclude = ref Config.includ
val configSitelisp = ref Config.sitelisp
+val configCCompiler = ref Config.ccompiler
+
+fun getCCompiler () = !configCCompiler
+fun setCCompiler cc = configCCompiler := cc
+
fun libUr () = OS.Path.joinDirFile {dir = !configSrcLib,
file = "ur"}
fun libC () = OS.Path.joinDirFile {dir = !configSrcLib,