use $(NAME) everywhere

redianthus · redianthus · commit a6855a7ed8eb · 2023-07-24T19:52:05.000+02:00
diff --git a/interpreter/Makefile b/interpreter/Makefile
@@ -92,7 +92,7 @@ install:
 .PHONY:		clean
 
 $(ZIP):
-	git archive --format=zip --prefix=wasm/ -o $@ HEAD
+	git archive --format=zip --prefix=$(NAME)/ -o $@ HEAD
 
 clean:
 	dune clean
