Factor path prefixes into ConfigCore structure

[hcoop/domtool2.git] / config / core / core.sml

diff --git a/config/core/core.sml b/config/core/core.sml
new file mode 100644 (file)
index 0000000..b03556a
--- /dev/null
+++ b/config/core/core.sml
@@ -0,0 +1,15 @@
+structure ConfigCore :> CONFIG_CORE = struct
+
+val sharedRoot = "/afs/hcoop.net/common/etc/domtool"
+val localRoot = "/var/domtool"
+val installPrefix = "/usr/local"
+
+val cat = "/bin/cat"
+val cp = "/bin/cp"
+val diff = "/usr/bin/diff"
+val rm = "/bin/rm"
+val echo = "/bin/echo"
+val grep = "/bin/grep"
+val sudo = "/usr/bin/sudo"
+
+end