summaryrefslogtreecommitdiff
path: root/src/config.sig
diff options
context:
space:
mode:
authorGravatar fab <fabrice.leal.ch@gmail.com>2018-12-17 22:25:59 +0000
committerGravatar fab <fabrice.leal.ch@gmail.com>2018-12-17 22:25:59 +0000
commit757e40719735a45085343e90b53674b9b276b5cb (patch)
treeff60a93ec1b070ba321539d17f1677b11bb85c29 /src/config.sig
parentea79cb9fc1cfbb1418a8c4139200ba4b21dc2318 (diff)
test 5
Diffstat (limited to 'src/config.sig')
-rw-r--r--src/config.sig3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/config.sig b/src/config.sig
index a3ad7d76..be72a8cc 100644
--- a/src/config.sig
+++ b/src/config.sig
@@ -20,4 +20,7 @@ signature CONFIG = sig
val pthreadCflags : string
val pthreadLibs : string
+
+ val icuIncludes : string
+ val icuLibs : string
end