makefile tweaks

redianthus · redianthus · commit ecf6af731f3f · 2023-07-24T19:52:05.000+02:00
diff --git a/interpreter/Makefile b/interpreter/Makefile
@@ -45,6 +45,8 @@ smallint.exe:
 
 $(JSLIB):
 	dune build $@
+	rm -f $@
+	cp $(BUILDDIR)/$@ $@
 
 # Executing test suite
 
@@ -94,3 +96,4 @@ $(ZIP):
 
 clean:
 	dune clean
+	rm -f $(NAME) $(JSLIB)
