diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-20 17:05:48 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-20 17:05:48 +0100 |
| commit | 7e126824e9a6cb456295d2f1535aef975bb63237 (patch) | |
| tree | 1cdd47cbf1ed26e0704efc21dfe5d0258f2e9d3f /getlibs.sh | |
| parent | fce66bdc060fe3ec6bd07fd17eca68ea45f119fa (diff) | |
| download | RSAComb-7e126824e9a6cb456295d2f1535aef975bb63237.tar.gz RSAComb-7e126824e9a6cb456295d2f1535aef975bb63237.zip | |
Add script to automatically download required libs
Diffstat (limited to 'getlibs.sh')
| -rwxr-xr-x | getlibs.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/getlibs.sh b/getlibs.sh new file mode 100755 index 0000000..4deb7ee --- /dev/null +++ b/getlibs.sh | |||
| @@ -0,0 +1,11 @@ | |||
| 1 | #!/bin/sh | ||
| 2 | |||
| 3 | VERSION="3.1.1" | ||
| 4 | NAME="RDFox-linux-$VERSION" | ||
| 5 | LINK="https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v$VERSION/$NAME.zip" | ||
| 6 | DEST="./lib/" | ||
| 7 | |||
| 8 | mkdir -p "$DEST" | ||
| 9 | wget "$LINK" | ||
| 10 | unzip "$NAME.zip" | ||
| 11 | cp "./$NAME/lib/JRDFox.jar" "$DEST" | ||