From: Adam Megacz <megacz@hcoop.net>
Date: Fri, 4 May 2007 01:32:25 +0000 (+0000)
Subject: autogenerate config.sml if it does not exist
X-Git-Tag: release_2010-11-19~220
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/9c8a9ef45a8be980e755f42643196850107e1c24

autogenerate config.sml if it does not exist
---

diff --git a/Makefile b/Makefile
index f3161d4..f811ff9 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,10 @@
 all: mlton
 
 COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
-	openssl/openssl_sml.so
+	openssl/openssl_sml.so config.sml
+
+config.sml:
+	echo -e 'structure Config :> CONFIG = struct\nopen ConfigDefault\nend' > $@
 
 .PHONY: all mlton smlnj install