#!/usr/bin/env sh

## consts

dir_build="build"
dir_conf="conf"


## args

if [ $# -ge 1 ] ; then profile=$1 ; else profile="-" ; fi


## exec

echo ">> building …"
make -f tools/makefile

if $(test ${profile} = '-')
then
	echo ">> no profile given; not placing configuration file"
	# do nothing
else
	echo ">> placing configuration for profile '${profile}' …"
	cp -ru ${dir_conf}/${profile}.json ${dir_build}/conf.json
fi