#######################################################################
# Makefile generated by './configure' at Tue Oct 21 09:12:50 CDT 2014
# Using flags:
#	-DCMAKE_VERBOSE_MAKEFILE=1
#	-DDOMLIB_PATH=domlib
#	-DBOWSTRING_PATH=bowstring
#	-DMETIS_PATH=metis
#######################################################################

all clean install:
	make -C build/Linux-x86_64 $@ $(MAKEFLAGS)

distclean:
	rm -rvf build/Linux-x86_64 Makefile

