diff etc/setup_as_dml.sh @ 34:69a653091bc6

A few changes to setup
author samer
date Sat, 21 Feb 2015 02:09:51 +0000
parents 386e9ef272b8
children 3b9d5b99895e
line wrap: on
line diff
--- a/etc/setup_as_dml.sh	Sat Feb 21 02:08:36 2015 +0000
+++ b/etc/setup_as_dml.sh	Sat Feb 21 02:09:51 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