changeset 107:ee91974287d6 dml-dockerised tip

testing newest swi-prolog version
author wolffd <wolffd.mail@googlemail.com>
date Tue, 21 Aug 2018 18:37:33 +0100
parents c063a320d14f
children
files etc/setup_as_dml.sh
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/etc/setup_as_dml.sh	Wed Jul 25 16:29:24 2018 +0100
+++ b/etc/setup_as_dml.sh	Tue Aug 21 18:37:33 2018 +0100
@@ -27,7 +27,8 @@
 	patch build ~/etc/swipl-build.patch
 	./build
 	cd ~/src/swipl
-        ./upgrade_swipl 7.3.9
+        # ./upgrade_swipl 7.3.9
+        ./upgrade_swipl 7.7.18 # experimental test of the most recent version!
 }
 
 function unpack_into {