barrier: barrier.cvl concurrency.cvl
	abc -iquote . barrier.cvl concurrency.cvl
	
clean:
	rm -f barrier