all: main-filter main-flatten main-quicksort

main-filter: *.mlb *.sml lib-local/*.sml lib-local/*.mlb
	mpl -default-type int64 -default-type word64 main-filter.mlb

main-flatten: *.mlb *.sml lib-local/*.sml lib-local/*.mlb
	mpl -default-type int64 -default-type word64 main-flatten.mlb

main-quicksort: *.mlb *.sml lib-local/*.sml lib-local/*.mlb
	mpl -default-type int64 -default-type word64 main-quicksort.mlb

.PHONY: all
