Run domtool as hcoop.daemon instead of hcoop

[hcoop/portal.git] / static / sources.cm

diff --git a/static/sources.cm b/static/sources.cm
index 6ddad86..5cd97a9 100644 (file)
--- a/static/sources.cm
+++ b/static/sources.cm
@@ -1,6 +1,11 @@
 Group is
        $/basis.cm
-       /usr/local/share/smlsql/libpq/sources.cm
+       $/smlnj-lib.cm
+       /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/smlsql/libpq/sources.cm
+       /afs/hcoop.net/user/h/hc/hcoop/portal-tools/src/mlt/src/lib/sources.cm
+
+       ../config.sig
+       ../config.sml
 
        gen.sig
        gen.sml