diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..c3fd886 --- /dev/null +++ b/Makefile @@ -0,0 +1,8 @@ +all: aoc + +aoc: $(wildcard *.m) + nix shell nixpkgs#mercury -c mmc --make aoc + +clean: + rm -rf Mercury + rm -f *.mh *.err aoc