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

diff --git a/x3/Makefile b/x3/Makefile
new file mode 100644
index 0000000..dc01562
--- /dev/null
+++ b/x3/Makefile
@@ -0,0 +1,30 @@
+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