Mercurial > hg > dml-home

changeset 31:386e9ef272b8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update SWIPL version
author samer
date Mon, 16 Feb 2015 22:04:56 +0000
parents 2c279c979bcd
children 2ffa4d7c9d38
files etc/setup_as_dml.sh
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/etc/setup_as_dml.sh	Mon Feb 16 22:03:22 2015 +0000
+++ b/etc/setup_as_dml.sh	Mon Feb 16 22:04:56 2015 +0000
@@ -19,8 +19,8 @@
 	# wget http://www.swi-prolog.org/download/devel/src/pl-7.1.29.tar.gz
 	# cd ~/src
 	# tar xzf pl-7.1.29.tar.gz
-	unpack_into ~/src http://www.swi-prolog.org/download/devel/src/pl-7.1.29.tar.gz
-	cd ~/src/pl-7.1.29
+	unpack_into ~/src http://www.swi-prolog.org/download/devel/src/pl-7.1.30.tar.gz
+	cd ~/src/pl-7.1.30
 	cp build.templ build
 	patch build ~/etc/swipl-build.patch
 	./build