all: 
	cabal build
	cp dist/build/xMas2/xMas2 ./main

clean:
	rm -rf main
	rm -rf *.hi
	rm -rf *.o
	rm -rf dist
	rm -rf temp*.smt2
	rm -rf deadlock_*.smt2
