From 1d96277f5d4c615ca4018d9a6e867c980db3b73a Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 8 Jan 2015 00:23:18 +0100 Subject: Added add_share_file Makefile macro --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 38e892131..8d2e7679d 100644 --- a/Makefile +++ b/Makefile @@ -143,6 +143,13 @@ ifeq ($(ENABLE_COVER),1) CXXFLAGS += -DYOSYS_ENABLE_COVER endif +define add_share_file +EXTRA_TARGETS += $(1)/$(notdir $(2)) +$(1)/$(notdir $(2)): $(2) + $$(P) mkdir -p $(1) + $$(Q) cp $(2) $(1)/$(notdir $(2)) +endef + ifeq ($(PRETTY), 1) P_STATUS = 0 P_OFFSET = 0 -- cgit v1.2.3