#!/bin/sh
BASEBOOSTNAME=rbgl_trimmed_boost_1_61_0
BOOSTTGZNAME=${BASEBOOSTNAME}.tar.gz
if test -d ./src/${BASEBOOSTNAME};
	then 
			echo 'found ' ${BASEBOOSTNAME} ' header sources and tar archive;\n using what is there.'
	else
		echo "untarring boost include tree...";
#		cd src; gunzip -dc ${BOOSTTGZNAME} | tar xf -;
		cd src; tar zxof ${BOOSTTGZNAME};
fi;