# -------------------------------------------------------------------
# type "make" command in Unix to create the asst7.zip file to hand in
# type "make main" to create main.native from bfs.mlw and main.ml
# execute with "./main.native" to test your implementation
# -------------------------------------------------------------------

handin:
	zip -r asst7.zip bfs.mlw bfs/

main:
	why3 extract -D ocaml64 --recursive bfs.mlw -o bfs.ml
	ocamlbuild -r -pkg zarith main.native

handout:
	pdflatex asst7 ; pdflatex asst7
	zip -r asst7.zip Makefile asst7.pdf asst7.tex lecnotes.sty hw.sty fp-macros.tex bfs.mlw main.ml readme.md
	mv asst7.zip asst7.pdf ../../www/assignments/

clean:
	(rm -rf *.aux *.bbl *.blg *.glg *.glo *.gls *.ilg *.ist *.lof *.log *.lot *.nlo *.nls *.out *.toc *.synctex.gz _build main.native bfs.ml)
