summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2018-12-19 10:46:04 -0500
committerGravatar GitHub <noreply@github.com>2018-12-19 10:46:04 -0500
commiteb1dc1a3b6c6f9127105b96c26ba122d0bb9da7b (patch)
treea45d1f1f9ccdbff0b24b0d0083fcb7fe1886a82c /src/settings.sml
parentc88aa571002f0dd713158f8b80bfeacbd0a69569 (diff)
parent8bb360844cbf9861364fd3f8b39b0f1232711e92 (diff)
Merge pull request #146 from fabriceleal/utf-icu
utf-8 aware functions for basis. unit-testing.
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 6499da67..f42df135 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -32,7 +32,8 @@ val configLib = ref Config.lib
val configSrcLib = ref Config.srclib
val configInclude = ref Config.includ
val configSitelisp = ref Config.sitelisp
-
+val configIcuIncludes = ref Config.icuIncludes
+val configIcuLibs = ref Config.icuLibs
val configCCompiler = ref Config.ccompiler
fun getCCompiler () = !configCCompiler