TARGETS=metric metricdir moves movesno3 rounds_pessi rounds_opti rounds_prob all: $(patsubst %, %.exe, $(TARGETS)) %.exe: %.fs heap.fs common.fs client.fs fsc --optimize+ --tailcalls+ --crossoptimize+ --nowarn:46 --out:$@ heap.fs common.fs $< client.fs .PHONY: clean clean: rm -rf $(patsubst %, %.exe, $(TARGETS))