# HG changeset patch
# User daniel
# Date 1432136929 -3600
# Node ID 59f2caf60a3700252c8d6aa61396e0b48bd6d421
# Parent  9200668a075e0ffdabab561ee49eef629bb13f68
Added SWI updater script

diff -r 9200668a075e -r 59f2caf60a37 src/swipl/upgrade_swipl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/swipl/upgrade_swipl	Wed May 20 16:48:49 2015 +0100
@@ -0,0 +1,13 @@
+#!/bin/sh
+set -e # exit on error
+if [ $# -lt 1 ]; then
+	echo "Usage: upgrade_swipl <version>"
+	echo "Eg:    upgrade_swipl 7.3.1"
+	exit
+fi
+
+ver="$1"
+cd ~/src/swipl
+curl "http://www.swi-prolog.org/download/devel/src/swipl-$ver.tar.gz" | tar xz
+(cd "swipl-$ver" && cp -p ../http_openid.pl packages/http && cp ../build . && ./build)
+swipl -g "maplist(pack_rebuild,[real,prosqlite,plml,plsmf]), halt"