Skip to content

Commit 9a99b26

Browse files
committed
bring back $NAME in the Makefile
1 parent 7a062b7 commit 9a99b26

File tree

1 file changed

+5
-4
lines changed

1 file changed

+5
-4
lines changed

interpreter/Makefile

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,9 @@
99

1010
# Configuration
1111

12-
OPT = wasm.exe
13-
ZIP = wasm.zip
12+
NAME = wasm
13+
OPT = $(NAME).exe
14+
ZIP = $(NAME).zip
1415
JSLIB = wast.bc.js
1516

1617
BUILDDIR = _build/default
@@ -30,8 +31,8 @@ smallint: smallint.exe
3031
ci: all jslib
3132

3233
# Building executable
33-
.PHONY: wasm.exe
34-
wasm.exe:
34+
.PHONY: $(NAME).exe
35+
$(NAME).exe:
3536
dune build $@
3637

3738
.PHONY: smallint.exe

0 commit comments

Comments
 (0)