Mercurial > hg > dtl-dml-home
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 {