Mercurial > hg > dml-home
annotate src/swipl/upgrade_swipl @ 65:cecf0cf46db3
Fixes to proxy handling.
| author | samer |
|---|---|
| date | Tue, 09 Jun 2015 15:16:17 +0100 |
| parents | 59f2caf60a37 |
| children | 271cbb745f91 |
| 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) |
| daniel@57 | 13 swipl -g "maplist(pack_rebuild,[real,prosqlite,plml,plsmf]), halt" |