view src/swipl/upgrade_swipl @ 100:a4cd935561d4 dml-dockerised tip

small updates and version pin for cliopatria
author wolffd <wolffd.mail@googlemail.com>
date Fri, 29 Jun 2018 17:48:41 +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"