contact: fix build

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

diff --git a/contact/sources.cm b/contact/sources.cm
index 75b9a16..6b125ea 100644 (file)
--- a/contact/sources.cm
+++ b/contact/sources.cm
@@ -1,9 +1,9 @@
 Group is
        $/basis.cm
        $/smlnj-lib.cm
-       /usr/local/share/smlsql/smlsql.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/smlsql.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
 
        contact.sig
        contact.sml