#!/bin/sh
if test -d ./src/boostIncl;
	then 
#		if test -f ./src/boostIncl.tar.gz;
#		then
			echo 'found boostIncl header sources and tar archive;\n using what is there.'
#			rm -rf ./src/boostIncl;
#			echo "untarring boost include tree...";
#			cd src; tar zxf boostIncl.tar.gz;
#		else
#			echo 'found boostIncl header sources but no tar archive;\nusing what is there...';
#		fi;
	else
		echo "untarring boost include tree...";
		cd src; gunzip -dc boostIncl.tar.gz | tar xf -;
fi;