ISABELLE = isabelle

debug:
	$(ISABELLE) build -v -o quick_and_dirty -D .

build:
	$(ISABELLE) build -v -c -D .

.PHONY: debug build
