X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=v3%2FMakefile;fp=v3%2FMakefile;h=0000000000000000000000000000000000000000;hb=499c58a269a00e031302938b5a8f006f23aae451;hp=dc015629d5f9a61dd7d0f37a9425f714cc91a21c;hpb=4c703fadbdc17d1753d16841582636598f862416;p=khatus.git

diff --git a/v3/Makefile b/v3/Makefile
deleted file mode 100644
index dc01562..0000000
--- a/v3/Makefile
+++ /dev/null
@@ -1,30 +0,0 @@
-MAKEFLAGS := --no-builtin-rules
-
-PREFIX   := $(HOME)
-EXE_NAME := khatus_cache_dumper
-EXE_TYPE := native  # native | byte
-
-.PHONY: \
-	build \
-	install \
-	clean
-
-build: | bin
-	@ocamlbuild \
-		-cflags '-w A' \
-		-pkg unix \
-		-I src/exe \
-		-I src/lib \
-		$(EXE_NAME).$(EXE_TYPE)
-	@mv _build/src/exe/$(EXE_NAME).$(EXE_TYPE) bin/$(EXE_NAME)
-	@rm -f $(EXE_NAME).$(EXE_TYPE)
-
-install:
-	$(foreach filename,$(wildcard bin/*),cp -p "$(filename)" "$(PREFIX)/$(filename)"; )
-
-clean:
-	@rm -rf bin
-	@ocamlbuild -clean
-
-bin:
-	@mkdir -p bin