#!/bin/bash
set -e

mkdir -p Downloads
cd Downloads

if [ ! -f pthsem_2.0.8.tar.gz ]
then
	wget --no-check-certificate http://www.auto.tuwien.ac.at/~mkoegler/pth/pthsem_2.0.8.tar.gz
fi
if [ ! -f bcusdk_0.0.5.tar.gz ]
then
	wget --no-check-certificate http://www.auto.tuwien.ac.at/~mkoegler/eib/bcusdk_0.0.5.tar.gz
fi