Mercurial > hg > dtl-dml-home
changeset 57:59f2caf60a37
Added SWI updater script
| author | daniel |
|---|---|
| date | Wed, 20 May 2015 16:48:49 +0100 |
| parents | 9200668a075e |
| children | 085078c8b516 |
| files | src/swipl/upgrade_swipl |
| diffstat | 1 files changed, 13 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/swipl/upgrade_swipl Wed May 20 16:48:49 2015 +0100 @@ -0,0 +1,13 @@ +#!/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 "maplist(pack_rebuild,[real,prosqlite,plml,plsmf]), halt"