Mercurial > hg > dml-home

diff etc/setup_as_dml.sh @ 36:99afd4e6cba9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author samer
date Sat, 21 Feb 2015 02:11:03 +0000
parents 386e9ef272b8
children 3b9d5b99895e
line wrap: on
line diff
--- a/etc/setup_as_dml.sh	Sat Feb 21 02:07:16 2015 +0000
+++ b/etc/setup_as_dml.sh	Sat Feb 21 02:11:03 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