diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-11 17:54:21 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-17 17:44:11 +0000 |
| commit | 548ad06610dabeafec983449da597f1279bf6def (patch) | |
| tree | ba00752cd6c0d536ec1a2100abe48e6d62b42f33 /getlibs.sh | |
| parent | 12ff20661c1848345473a5a4a9c200f3e7c2939a (diff) | |
| download | RSAComb-548ad06610dabeafec983449da597f1279bf6def.tar.gz RSAComb-548ad06610dabeafec983449da597f1279bf6def.zip | |
Port code to RDFox v4.1.0
Diffstat (limited to 'getlibs.sh')
| -rwxr-xr-x | getlibs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -1,6 +1,6 @@ | |||
| 1 | #!/bin/sh | 1 | #!/bin/sh |
| 2 | 2 | ||
| 3 | VERSION="4.0.0" | 3 | VERSION="4.1.0" |
| 4 | NAME="RDFox-linux-$VERSION" | 4 | NAME="RDFox-linux-$VERSION" |
| 5 | LINK="https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v$VERSION/$NAME.zip" | 5 | LINK="https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v$VERSION/$NAME.zip" |
| 6 | DEST="./lib/" | 6 | DEST="./lib/" |