summaryrefslogtreecommitdiffstats
path: root/driver
diff options
context:
space:
mode:
authorJon Medhurst2012-03-02 09:32:46 -0600
committerJon Medhurst2012-03-05 03:27:56 -0600
commit61fdde505372e81082e470f6ef04c469aa0846fb (patch)
tree6d9e1a7aec856d1a774a7ccc44434edf2fda0c00 /driver
parent7150bdb86762f575a92b68f43de099baa94768ab (diff)
downloadarm-ds5-gator-61fdde505372e81082e470f6ef04c469aa0846fb.tar.gz
arm-ds5-gator-61fdde505372e81082e470f6ef04c469aa0846fb.tar.xz
arm-ds5-gator-61fdde505372e81082e470f6ef04c469aa0846fb.zip
gator-driver: Hack makefile to search for Mali trace headers
Gator needs Mali headers and device type in order to build with Mali profiling support. Unfortunately, the presence and location of this information is difficult to configure considering kernels are separate packages and managed by various teams. To work around this, just use the find command to look for the header and if present, assume we want Mali support, and that it is a Mali-400. Signed-off-by: Jon Medhurst <tixy@linaro.org>
Diffstat (limited to 'driver')
-rw-r--r--driver/Makefile10
1 files changed, 10 insertions, 0 deletions
diff --git a/driver/Makefile b/driver/Makefile
index e521b99..8824f8e 100644
--- a/driver/Makefile
+++ b/driver/Makefile
@@ -16,6 +16,16 @@ gator-y := gator_main.o \
16 16
17gator-y += gator_events_mmaped.o 17gator-y += gator_events_mmaped.o
18 18
19ifeq ($(GATOR_WITH_MALI_SUPPORT),)
20ifeq ($(GATOR_MALI_INCLUDE),)
21GATOR_MALI_INCLUDE = $(abspath $(shell find -L . -name "mali_linux_trace.h" | sed -n -e '1s,\(.*\)/linux/mali_linux_trace.h$$,\1,p'))
22endif
23ifneq ($(GATOR_MALI_INCLUDE),)
24GATOR_WITH_MALI_SUPPORT = MALI_400 # for now, assume all devices with Mali have the Mali-400
25EXTRA_CFLAGS += -I$(GATOR_MALI_INCLUDE)
26endif
27endif
28
19ifneq ($(GATOR_WITH_MALI_SUPPORT),) 29ifneq ($(GATOR_WITH_MALI_SUPPORT),)
20ifeq ($(GATOR_WITH_MALI_SUPPORT),MALI_T6xx) 30ifeq ($(GATOR_WITH_MALI_SUPPORT),MALI_T6xx)
21gator-y += gator_events_mali_t6xx.o 31gator-y += gator_events_mali_t6xx.o