# HG changeset patch
# User wolffd <wolffd.mail@googlemail.com>
# Date 1528214254 -3600
# Node ID 8f8e3d39ea31909df44824d0b15015ef1e57dc04
# Parent  90f57b07f9418896d8728f76484cf89886e73c67
make all

diff -r 90f57b07f941 -r 8f8e3d39ea31 etc/setup_as_dml.sh
--- a/etc/setup_as_dml.sh	Tue Jun 05 16:54:03 2018 +0100
+++ b/etc/setup_as_dml.sh	Tue Jun 05 16:57:34 2018 +0100
@@ -2,11 +2,11 @@
 
 # ------------------ CONFIG ----------------
 
-INSTALL_SWI=no
-INSTALL_SWI_PACKS=no
+INSTALL_SWI=yes
+INSTALL_SWI_PACKS=yes
 SS_USER=$DML_WGET_USER
 SS_PASS=$DML_WGET_PASS
-MAKE_HUMDRUM=no
+MAKE_HUMDRUM=yes
 
 if [ -x matlab ]; then
 	HAVE_MATLAB=yes