#!/bin/bash

echo Getting OKL4...

if [ ! -e okl4_3.0.tar.gz ]; then 
	wget http://wiki.ok-labs.com/downloads/release-3.0/okl4_3.0.tar.gz
fi

tar xzf okl4_3.0.tar.gz


echo Getting CAmkES....

if [ ! -e camkes-project--okl4-3-0-release--1.0.1.tgz ]; then
	wget http://www.ertos.nicta.com.au/downloads/camkes-project--okl4-3-0-release--1.0.1.tgz
fi

cd okl4_3.0

tar xzf ../camkes-project--okl4-3-0-release--1.0.1.tgz 

echo done.
echo ""
echo The OKL4 directory is `pwd`

cd ..