rdfox_setup.sh


1
2
3
4
5
6
7
8
9
10
11
12
13

#!/bin/sh

VERSION="5.2.1"
NAME="RDFox-linux-x86_64-$VERSION"
LINK="https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v$VERSION/$NAME.zip"
DEST="lib"

mkdir -p "$DEST"
cd "$DEST"
wget "$LINK"
unzip "$NAME.zip"
ln -s "$NAME/lib/JRDFox.jar"
cd -