# -------------------------------------------------------------------
# type "make" command in Unix to create the asst5.zip file to hand in
# -------------------------------------------------------------------

handin:
	zip -r asst6.zip ubarray*
	@echo "Don't forget to submit asst6-sol.pdf separately to Gradescope!"

handout:
	pdflatex asst6 ; pdflatex asst6
	zip -r asst6.zip Makefile asst6.tex lecnotes.sty hw.sty fp-macros.tex asst6.pdf asst6-sol.tex ubarray.c cbmc.sh
	mv asst6.zip asst6.pdf ../../www/assignments/

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

