make
This commit is contained in:
parent
7797aa4002
commit
d675d92222
1 changed files with 8 additions and 0 deletions
8
Makefile
Normal file
8
Makefile
Normal file
|
@ -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
|
Loading…
Reference in a new issue