From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Thu, 24 Apr 2014 05:38:11 +0000 (-0400)
Subject: Include CONFIG_CORE signature in domtool.cfs and fix webbw build
X-Git-Tag: release_20140428~17
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/841c836a0e0fedb8eb38a48e0fe44dc894346928

Include CONFIG_CORE signature in domtool.cfs and fix webbw build
---

diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs
index 6d8622a..3424464 100644
--- a/configDefault/domtool.cfs
+++ b/configDefault/domtool.cfs
@@ -57,3 +57,5 @@ val domtoolDir : string -> string
 val worldReadable : string list
 
 val publish_reusers : string
+
+include CONFIG_CORE
diff --git a/src/stats/webbw.mlb b/src/stats/webbw.mlb
index cfc1dc8..d7ef6fd 100644
--- a/src/stats/webbw.mlb
+++ b/src/stats/webbw.mlb
@@ -2,6 +2,8 @@ $(SML_LIB)/basis/basis.mlb
 $(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
 
 ../configTypes.sml
+../../config/core/core.sig
+../../config/core/core.sml
 ../../configDefault/config.sig
 ../../configDefault/configDefault.sml
 ../../config.sml