#!/bin/bash
set -e

# override package version
echo "version=0.0.5" >> debian/setenv.sh

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