From 7e126824e9a6cb456295d2f1535aef975bb63237 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Thu, 20 Aug 2020 17:05:48 +0100
Subject: Add script to automatically download required libs

---
 getlibs.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 getlibs.sh

diff --git a/getlibs.sh b/getlibs.sh
new file mode 100755
index 0000000..4deb7ee
--- /dev/null
+++ b/getlibs.sh
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+VERSION="3.1.1"
+NAME="RDFox-linux-$VERSION"
+LINK="https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v$VERSION/$NAME.zip"
+DEST="./lib/"
+
+mkdir -p "$DEST"
+wget "$LINK"
+unzip "$NAME.zip"
+cp "./$NAME/lib/JRDFox.jar" "$DEST"
-- 
cgit v1.2.3