diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-05 20:42:20 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-05 20:42:20 +0000 |
| commit | 5d14f5c28bcd444689f66d3918643afdeea29208 (patch) | |
| tree | 08ee9b0494e257628d223653becc47895854fc3e /getlibs.sh | |
| parent | afe0128a89a1d92fac8056bc356ba1dea8122925 (diff) | |
| download | RSAComb-5d14f5c28bcd444689f66d3918643afdeea29208.tar.gz RSAComb-5d14f5c28bcd444689f66d3918643afdeea29208.zip | |
Update version on Github Actions custom script
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="3.1.1" | 3 | VERSION="4.0.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/" |