view src/swipl/upgrade_swipl @ 84:ead9f95b0f97 dml-dockerised

back to switch
author wolffd <wolffd.mail@googlemail.com>
date Mon, 04 Jun 2018 18:36:28 +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"