diff options
| author | Chia-I Wu <olv@lunarg.com> | 2011-01-29 19:06:27 +0800 |
|---|---|---|
| committer | Chia-I Wu <olv@lunarg.com> | 2011-01-29 19:22:54 +0800 |
| commit | b825e4955243b8ecb57e58afafd8b2286fdd4369 (patch) | |
| tree | b9b8d5d3f7d2ff1855174f31a5068beddb91ca24 /src/mapi/shared-glapi | |
| parent | 2a456dc123e8263de8e4666890a34f403faa9a39 (diff) | |
mapi: Workaround a bug in makedepend.
makedepend would crash when a source includes a header indirectly, such
as
#define HEADER "some-header.h"
#include HEADER
Do not define HEADER (makedepend would detects this as an incomplete
include) and add the dependency manually in the Makefile.
This should hopefully fix bug #33374.
Diffstat (limited to 'src/mapi/shared-glapi')
| -rw-r--r-- | src/mapi/shared-glapi/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/mapi/shared-glapi/Makefile b/src/mapi/shared-glapi/Makefile index ee937bd681b..c928f822c81 100644 --- a/src/mapi/shared-glapi/Makefile +++ b/src/mapi/shared-glapi/Makefile @@ -51,10 +51,15 @@ install: $(MINSTALL) $(TOP)/$(LIB_DIR)/$(GLAPI_LIB_GLOB) \ $(DESTDIR)$(INSTALL_LIB_DIR) +# workaround a bug in makedepend +makedepend_CPPFLAGS := \ + $(filter-out -DMAPI_ABI_HEADER=%, $(glapi_CPPFLAGS)) +$(glapi_OBJECTS): glapi_mapi_tmp.h + depend: $(glapi_SOURCES) @echo "running $(MKDEP)" @touch depend - @$(MKDEP) $(MKDEP_OPTIONS) -f- $(DEFINES) $(glapi_CPPFLAGS) \ + @$(MKDEP) $(MKDEP_OPTIONS) -f- $(DEFINES) $(makedepend_CPPFLAGS) \ $(glapi_SOURCES) 2>/dev/null | sed -e 's,^$(MAPI)/,,' \ > depend |