From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Wed, 14 Nov 2018 16:16:32 +0000 (-0500)
Subject: Make a clean executable name
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=0a1c6f40315940659978d3d576cc7c6415c27d81;p=dups.git

Make a clean executable name
---

diff --git a/.gitignore b/.gitignore
index 47ad301..7d19a9d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 _build/
+dupfiles
 *.native
 *.native
 *.swp
diff --git a/Makefile b/Makefile
index 89c5816..3e9627e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,16 +1,17 @@
-TARGET := dupfiles.native
+EXE_NAME := dupfiles
+EXE_TYPE := native
 
-.PHONY: all build clean run
+.PHONY: all build clean
 
 all:
 	@$(MAKE) -s clean
 	@$(MAKE) -s build
 
 build:
-	@ocamlbuild -cflags '-w A' -pkg 'unix' $(TARGET)
+	@ocamlbuild -cflags '-w A' -pkg 'unix' $(EXE_NAME).$(EXE_TYPE)
+	@cp _build/$(EXE_NAME).$(EXE_TYPE) $(EXE_NAME)
+	@rm -f $(EXE_NAME).$(EXE_TYPE)
 
 clean:
 	@ocamlbuild -clean
-
-run:
-	@find ~ -type f | egrep -v '/.git/' | ./$(TARGET)
+	@rm -f $(EXE_NAME)