view src/swipl/upgrade_swipl @ 83:1936b1b33a38 dml-dockerised

no dry
author wolffd <wolffd.mail@googlemail.com>
date Mon, 04 Jun 2018 18:27:18 +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"