# -------------------------------------------------------------------
# type "make" command in Unix to create the asst5.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 asst5.zip bfs.mlw bfs/

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

handout:
	pdflatex asst5 ; pdflatex asst5
	zip -r asst5.zip Makefile asst5.pdf asst5.tex lecnotes.sty hw.sty fp-macros.tex bfs-starter.mlw main.ml
	cp asst5.zip asst5.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)
