fixed makefile

gborough · May 13, 2024 · 3fa5a29 · 3fa5a29
1 parent 3fb1f4d
commit 3fa5a29
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 13 deletions.
diff --git a/Makefile b/Makefile
@@ -1,20 +1,10 @@
-INSTALL_ARGS := $(if $(PREFIX),--prefix $(PREFIX),)
-
-default:
+build:
 	dune build
 
 test:
 	dune runtest
 
-install:
-	dune install $(INSTALL_ARGS)
-
-uninstall:
-	dune uninstall $(INSTALL_ARGS)
-
-reinstall: uninstall install
-
 clean:
 	dune clean
 
-.PHONY: default test install uninstall reinstall clean
+.PHONY: build test clean
diff --git a/dune-project b/dune-project
@@ -28,7 +28,6 @@
    dune
    re
    (atdgen (>= 2.10.0))
-   ; fix int64 JSON issue https://github.com/ahrefs/atd/issues/402
    (atdgen-runtime (>= 2.12.0))
    timedesc
    (ppx_expect :with-test)