changeset 90:8f8e3d39ea31 dml-dockerised

make all
author wolffd <wolffd.mail@googlemail.com>
date Tue, 05 Jun 2018 16:57:34 +0100
parents 90f57b07f941
children e8a0c3e2d28a
files etc/setup_as_dml.sh
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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