Member directory: use portal config, build on 64-bit systems

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

diff --git a/static/sources.cm b/static/sources.cm
index 132faac..5cd97a9 100644 (file)
--- a/static/sources.cm
+++ b/static/sources.cm
@@ -1,8 +1,11 @@
 Group is
        $/basis.cm
        $/smlnj-lib.cm
-       /usr/local/share/smlsql/libpq/sources.cm
-       /usr/local/share/mlt/src/lib/sources.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