daniel@57: #!/bin/sh daniel@57: set -e # exit on error daniel@57: if [ $# -lt 1 ]; then daniel@57: echo "Usage: upgrade_swipl " daniel@57: echo "Eg: upgrade_swipl 7.3.1" daniel@57: exit daniel@57: fi daniel@57: daniel@57: ver="$1" daniel@57: cd ~/src/swipl daniel@57: curl "http://www.swi-prolog.org/download/devel/src/swipl-$ver.tar.gz" | tar xz daniel@57: (cd "swipl-$ver" && cp -p ../http_openid.pl packages/http && cp ../build . && ./build) samer@75: swipl -g "pack_rebuild, halt"