# $Id: Makefile,v 1.1 2006/05/24 00:12:58 schuppan Exp $

TLIMIT=21600

all: prepare

checkconfigured:
	if [ ! -f .configured ]; then \
	  echo "run configure first."; exit 1; \
	fi

checkprepared:
	cd bsmv && make checkprepared && cd ..
	cd csmv && make checkprepared && cd ..

prepare: checkconfigured
	cd bsmv; make prepare; cd ..
	cd csmv; make prepare; cd ..

sequential: checkconfigured checkprepared
	./bin/timenodes -sequential -nobmc -t ${TLIMIT}

interleave: checkconfigured checkprepared
	./bin/timenodes -interleave -nobmc -t ${TLIMIT}

bmcsequential: checkconfigured checkprepared
	./bin/timenodes -sequential -bmc -t ${TLIMIT}

bmcinterleave: checkconfigured checkprepared
	./bin/timenodes -interleave -bmc -t ${TLIMIT}

clean:
	cd bsmv; make clean; cd ..
	cd csmv; make clean; cd ..
	rm -f *~

distclean: clean
	cd bsmv; make distclean; cd ..
	cd csmv; make distclean; cd ..
	rm -f .configured
	rm -f bsmv/bin/generate_objs_bsmv.bash
	rm -f bsmv/bin/timenode
	rm -f csmv/bin/timenodebmc
	rm -f csmv/bin/timenodesymm
	rm -f lib/csmv.warn

.PHONY: all prepare sequential interleave bmcsequential bmcinterleave clean distclean

.SILENT: