From 54d7cbad02005212c4171b7d652416c75a93aa37 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 19 Oct 2008 12:47:10 -0400
Subject: Proper configuration and installation

---
 src/config.sig | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 src/config.sig

(limited to 'src/config.sig')

diff --git a/src/config.sig b/src/config.sig
new file mode 100644
index 00000000..890bd9ab
--- /dev/null
+++ b/src/config.sig
@@ -0,0 +1,9 @@
+signature CONFIG = sig
+    val bin : string
+    val lib : string
+    val includ : string
+    val sitelisp : string
+
+    val libUr : string
+    val libC : string
+end
-- 
cgit v1.2.3