# This Makefile is provided for convenience.  This project is compiled using
# Dune, but course at Swarthmore typically provide projects which support
# "make".

.PHONY: build
build:
	dune build
	@[ -f _build/default/bin/main.exe ] && ( rm -f ./bool; ln -s _build/default/bin/main.exe ./bool )

bool: build

.PHONY: clean
clean:
	dune clean
	rm -rf _build
	@rm -f ./bool