summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar fab <fabrice.leal.ch@gmail.com>2018-12-17 22:41:16 +0000
committerGravatar fab <fabrice.leal.ch@gmail.com>2018-12-17 22:41:16 +0000
commit2d699b85cfb3f137e8963ad9a355918e40b39d62 (patch)
tree6016932b05369c71f7601ec09667a93e9cd89e3a /src/settings.sml
parent757e40719735a45085343e90b53674b9b276b5cb (diff)
test 6
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 8ae2d377..2e386a4f 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -32,6 +32,7 @@ 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