home
/
code
/
dups.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make a clean executable name
[dups.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index
89c5816
..
3e9627e
100644
(file)
--- 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:
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
clean:
@ocamlbuild -clean
-
-run:
- @find ~ -type f | egrep -v '/.git/' | ./$(TARGET)
+ @rm -f $(EXE_NAME)
This page took
0.02359 seconds
and
4
git commands to generate.