Mercurial > hg > dtl-dml-home

changeset 97:a0304c86c5b3 dml-dockerised

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added swipl update
author wolffd <wolffd.mail@googlemail.com>
date Mon, 18 Jun 2018 17:07:50 +0100
parents 8e3112c2517e
children 672e1c8fb1f3
files etc/setup_as_dml.sh
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/etc/setup_as_dml.sh	Wed Jun 06 15:53:45 2018 +0100
+++ b/etc/setup_as_dml.sh	Mon Jun 18 17:07:50 2018 +0100
@@ -26,6 +26,8 @@
 	cp build.templ build
 	patch build ~/etc/swipl-build.patch
 	./build
+	cd ~/src/swipl
+        ./upgrade_swipl 7.3.9
 }
 
 function unpack_into {