From 7cb2ca62f4ce92acd3940d605959f7f2be7ae97f Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 23 Aug 2014 18:28:34 -0700 Subject: [PATCH] refactor(Makefile): do not use full path on makefile rules Signed-off-by: Leonardo de Moura --- library/Makefile | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/library/Makefile b/library/Makefile index cabff59ef..7977fda68 100644 --- a/library/Makefile +++ b/library/Makefile @@ -1,6 +1,6 @@ TOP := $(dir $(lastword $(MAKEFILE_LIST))) DIR := $(shell pwd) -LEAN_FILES := $(shell find $(DIR) -type f -name '*.lean') +LEAN_FILES := $(shell cd $(DIR); find . -type f -name '*.lean') OLEAN_FILES := $(LEAN_FILES:.lean=.olean) ILEAN_FILES := $(LEAN_FILES:.lean=.ilean) DEP_FILES := $(LEAN_FILES:.lean=.d) @@ -16,12 +16,10 @@ all: $(OLEAN_FILES) $(DEP_FILES) %.d: %.lean $(LEAN_VERSION_FILE) @echo Making dependency file \'$@\' ... - @rm -f $@ - @rm -f $@.tmp - @$(LEAN) --deps $< > $@.tmp - @printf "$(basename $@).olean : $< $@ " > $@ - @tr "\n" " " < $@.tmp >> $@ - @rm -f $@.tmp + $(eval DEPS := $(shell $(LEAN) --deps $<)) + $(eval DEPS := $(subst $(DIR)/,, $(DEPS))) + $(eval DEPS := $(subst "\n", " ", $(DEPS))) + @printf "$(basename $@).olean : $< $@ $(DEPS)\n" > $@ %.ilean: %.lean %.olean $(LEAN_VERSION_FILE) $(LEAN) $(LEAN_OPTIONS) $< -i $@