annotate 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
rev   line source
daniel@57 1 #!/bin/sh
daniel@57 2 set -e # exit on error
daniel@57 3 if [ $# -lt 1 ]; then
daniel@57 4 echo "Usage: upgrade_swipl <version>"
daniel@57 5 echo "Eg: upgrade_swipl 7.3.1"
daniel@57 6 exit
daniel@57 7 fi
daniel@57 8
daniel@57 9 ver="$1"
daniel@57 10 cd ~/src/swipl
daniel@57 11 curl "http://www.swi-prolog.org/download/devel/src/swipl-$ver.tar.gz" | tar xz
daniel@57 12 (cd "swipl-$ver" && cp -p ../http_openid.pl packages/http && cp ../build . && ./build)
samer@75 13 swipl -g "pack_rebuild, halt"