# HG changeset patch
# User wolffd <wolffd.mail@googlemail.com>
# Date 1529338070 -3600
# Node ID a0304c86c5b3ef7631c98f39baefc61e13be649a
# Parent  8e3112c2517e981b0969b6ffab86aece3a982878
added swipl update

diff -r 8e3112c2517e -r a0304c86c5b3 etc/setup_as_dml.sh
--- 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 {