gator-driver: Hack makefile to search for Mali trace headers
authorJon Medhurst <tixy@linaro.org>
Fri, 2 Mar 2012 15:32:46 +0000 (15:32 +0000)
committerJon Medhurst <tixy@linaro.org>
Mon, 5 Mar 2012 09:27:56 +0000 (09:27 +0000)
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>
driver/Makefile

index e521b9915dc29af938c75c0878167e82c8f0980d..8824f8e602ff09448b40705c48b691e9753b8152 100644 (file)
@@ -16,6 +16,16 @@ gator-y :=   gator_main.o \
 
 gator-y +=     gator_events_mmaped.o
 
+ifeq ($(GATOR_WITH_MALI_SUPPORT),)
+ifeq ($(GATOR_MALI_INCLUDE),)
+GATOR_MALI_INCLUDE = $(abspath $(shell find -L . -name "mali_linux_trace.h" | sed -n -e '1s,\(.*\)/linux/mali_linux_trace.h$$,\1,p'))
+endif
+ifneq ($(GATOR_MALI_INCLUDE),)
+GATOR_WITH_MALI_SUPPORT = MALI_400  # for now, assume all devices with Mali have the Mali-400
+EXTRA_CFLAGS +=        -I$(GATOR_MALI_INCLUDE)
+endif
+endif
+
 ifneq ($(GATOR_WITH_MALI_SUPPORT),)
 ifeq ($(GATOR_WITH_MALI_SUPPORT),MALI_T6xx)
 gator-y +=     gator_events_mali_t6xx.o