diff etc/setup_as_dml.sh @ 0:7d34f4b6df69

Initial check-in (partial)

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/etc/setup_as_dml.sh	Sun Jan 18 16:18:01 2015 +0000
@@ -0,0 +1,25 @@
+#!/bin/sh
+
+echo 'THIS IS NOT READY YET!'
+exit 1
+
+
+#build SWI Prolog
+cd /tmp
+wget http://www.swi-prolog.org/download/devel/src/pl-7.1.28.tar.gz
+tar xzf pl-7.1.28.tar.gz
+cd pl-7.1.28
+cp build.templ build
+patch build ~/etc/swipl-build.patch
+./build
+
+# DOWNLOADS FROM REPOs
+
+cd ~/src/github
+git clone --recursive https://github.com/humdrum-tools/humdrum-tools
+
+cd ~/src/hg
+hg clone <dml-cliopatria>
+hg clone <ishara>
+
+