CIVL=civl

exitBarrier: exitBarrier.cvl
	$(CIVL) verify exitBarrier.cvl