build_potassco.sh

if test -e clasp; then
	if test -d clasp; then
		echo "clasp directory exists, assuming we have a configured clasp"
		echo "(remove the directory and restart make if this not the case)"
	else
		echo "clasp exists but is no directory!";
		exit -1;
	fi
else
	echo "unpacking clasp"
	tar xzf ${TOP_SRCDIR}/clasp-3.1.4-source.tar.gz
	mv clasp-3.1.4 clasp

	echo "configuring clasp"
	mkdir -p clasp/build/fpic
	pushd clasp/build
	ln -s fpic release
	popd
	(
		cd clasp
		./configure.sh --config=fpic CXX="$CXX -DNDEBUG -O3" CXXFLAGS=-fPIC ||
			{ echo "configuring clasp failed!"; exit -1; }
	)
fi

if test -e gringo; then
	if test -d gringo; then
		echo "gringo directory exists, assuming we have a configured gringo"
		echo "(remove the directory and restart make if this not the case)"
	else
		echo "gringo exists but is no directory!";
		exit -1;
	fi
else
	echo "unpacking gringo"
	tar xzf ${TOP_SRCDIR}/gringo-4.5.4-source.tar.gz
	mv gringo-4.5.4-source gringo
	patch gringo/SConstruct <$TOP_SRCDIR/buildclaspgringo/SConstruct.patch ||
		{ echo "gringo patching failed!"; exit -1; }
	patch gringo/SConstruct <$TOP_SRCDIR/buildclaspgringo/SConstruct-lua.patch ||
		{ echo "gringo patching failed!"; exit -1; }
	patch gringo/SConstruct <$TOP_SRCDIR/buildclaspgringo/SConstruct-python.patch ||
		{ echo "gringo patching failed!"; exit -1; }
	patch gringo/app/gringo/main.cc <$TOP_SRCDIR/buildclaspgringo/main.cc.patch ||
		{ echo "gringo patching failed!"; exit -1; }
	patch gringo/libgringo/src/term.cc <$TOP_SRCDIR/buildclaspgringo/gringo-patch-include-math.patch ||
		{ echo "gringo patching failed!"; exit -1; }
	mkdir -p gringo/build/release
fi

echo "making clasp"
make -C clasp/build/release VERBOSE=1 ||
	{ echo "building clasp failed!"; exit -1; }


echo "making gringo"
(
  cd gringo
  CXX=$CXX \
  BOOST_ROOT=$BOOST_ROOT scons --build-dir=release gringo ||
    { echo "gringo cmake failed!"; exit -1; }
)