view src/swipl/upgrade_swipl @ 107:ee91974287d6 dml-dockerised tip

testing newest swi-prolog version
author wolffd <wolffd.mail@googlemail.com>
date Tue, 21 Aug 2018 18:37:33 +0100
parents 271cbb745f91
children
line wrap: on
line source
#!/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 "pack_rebuild, halt"