MMCFLAGS := --infer-all --no-inform-inferred --warn-unused-imports \ -s asm_fast.par.gc.stseg all: aoc aoc: $(wildcard *.m) nix shell nixpkgs#mercury -c mmc $(MMCFLAGS) --make aoc clean: rm -rf Mercury rm -f *.mh *.err aoc