bad-reduce: *.sml *.mlb lib
	mpl -default-type int64 -default-type word64 bad-reduce.mlb

max-sums: *.sml *.mlb lib
	mpl -default-type int64 -default-type word64 max-sums.mlb

lib:
	smlpkg sync

lec02-code.tgz: lib *.sml *.mlb
	tar czf lec02-code.tgz -C .. code/lib code/bad-reduce.mlb code/bad-reduce.sml code/max-sums.mlb code/max-sums.sml code/MaxSums.sml code/Examples.sml code/sml.pkg code/Makefile

clean:
	rm -f bad-reduce max-sums
