main: *.mlb *.sml
	mpl -default-type int64 -default-type word64 main.mlb

lec07-code.tgz:
	tar czf lec07-code.tgz -C .. code/main.mlb code/main.sml code/ContractGraph.sml code/VersionedSeq.sml code/sml.pkg code/lib code/lib-local code/Makefile
