tools: include specific Makefile

Sometimes (expecially in cross-compilation context) t is necessary to use different environments. Instead of complicate this makefile, include an external one with user code. Create a local file named Makefile.specific, and write here your code. Bear in mind that Makefile.specific will run before the Makefile. Signed-off-by: Federico Vaga <federico.vaga@cern.ch>

tools: include specific Makefile
Sometimes (expecially in cross-compilation context) t is necessary to use different environments. Instead of complicate this makefile, include an external one with user code. Create a local file named Makefile.specific, and write here your code. Bear in mind that Makefile.specific will run before the Makefile. Signed-off-by: Federico Vaga <federico.vaga@cern.ch>
203992b6 · Federico Vaga · 3b1c60a9 · 203992b6 · 203992b6 · 203992b6
Commit 203992b6 authored Jul 25, 2014 by Federico Vaga
Hide whitespace changes
Inline Side-by-side

Showing with 17 additions and 1 deletion

.gitignore .gitignore +2 -1

Makefile lib/Makefile +5 -0

Makefile oldtools/Makefile +5 -0

Makefile tools/Makefile +5 -0

No files found.
--- a/.gitignore
+++ b/.gitignore
@@ -5,4 +5,5 @@
 /.tmp_versions
 .*cmd
 modules.order
-Module.symvers
\ No newline at end of file
+Module.symvers
+Makefile.specific
--- a/lib/Makefile
+++ b/lib/Makefile
 # This is not a kbuild Makefile. It is a plain Makefile so it can be copied

+# If it exists includes Makefile.specific. In this Makefile, you should put
+# specific Makefile code that you want to run before this. For example,
+# build a particular environment.
+-include Makefile.specific
+
 ZIO := $(shell cd ..; scripts/check-submodule zio $(ZIO))

 LIB = libfdelay.a

--- a/oldtools/Makefile
+++ b/oldtools/Makefile
 # older user-space tools for spec-fine-delay

+# If it exists includes Makefile.specific. In this Makefile, you should put
+# specific Makefile code that you want to run before this. For example,
+# build a particular environment.
+-include Makefile.specific
+
 M = $(shell /bin/pwd)/../kernel

 HOST_EXTRACFLAGS += -I$(M) -I../lib -I../zio/include -Wno-trigraphs -Wall -ggdb

--- a/tools/Makefile
+++ b/tools/Makefile
 # user-space tools for spec-fine-delay

+# If it exists includes Makefile.specific. In this Makefile, you should put
+# specific Makefile code that you want to run before this. For example,
+# build a particular environment.
+-include Makefile.specific
+
 M = $(shell /bin/pwd)/../kernel

 DESTDIR ?= /usr/local