Mercurial > hg > dtl-dml-home
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"