diff options
author | José Fonseca <[email protected]> | 2013-06-27 07:25:10 +0100 |
---|---|---|
committer | José Fonseca <[email protected]> | 2013-06-27 07:25:10 +0100 |
commit | bcd6f3b23c906befd5f0351eaec908dc9496147a (patch) | |
tree | edab483099132acd8e5a288cc5cc26db653164c7 /src/mapi | |
parent | 9f3cfe6aafc210906be85de065afff7503ef240b (diff) |
scons: Add dependencies to all .xml files.
Should prevent stuck builds when only some of the included .xml files
change.
Diffstat (limited to 'src/mapi')
-rw-r--r-- | src/mapi/glapi/gen/SConscript | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/src/mapi/glapi/gen/SConscript b/src/mapi/glapi/gen/SConscript index 6d36248e783..18158ff8b10 100644 --- a/src/mapi/glapi/gen/SConscript +++ b/src/mapi/glapi/gen/SConscript @@ -3,6 +3,12 @@ Import('*') from sys import executable as python_cmd +# Be conservative and depend on all XML files here. Missing dependencies means +# broken builds, whereas extraneous dependencies merely means regenerate the +# .[ch] files -- scons should not recompile them though. +sources = ['gl_and_es_API.xml'] + env.Glob('*.xml') + + # Generate the GL API headers that are used by various parts of the # Mesa and GLX tree. Other .c and .h files are generated elsewhere # if they're only used in one place. @@ -10,28 +16,28 @@ from sys import executable as python_cmd env.CodeGenerate( target = '../../../mesa/main/dispatch.h', script = 'gl_table.py', - source = 'gl_and_es_API.xml', + source = sources, command = python_cmd + ' $SCRIPT -m remap_table -f $SOURCE > $TARGET', ) env.CodeGenerate( target = '../../../mapi/glapi/glapitable.h', script = 'gl_table.py', - source = 'gl_and_es_API.xml', + source = sources, command = python_cmd + ' $SCRIPT -f $SOURCE > $TARGET' ) env.CodeGenerate( target = '../../../mapi/glapi/glapitemp.h', script = 'gl_apitemp.py', - source = 'gl_and_es_API.xml', + source = sources, command = python_cmd + ' $SCRIPT -f $SOURCE > $TARGET' ) env.CodeGenerate( target = '../../../mapi/glapi/glprocs.h', script = 'gl_procs.py', - source = 'gl_and_es_API.xml', + source = sources, command = python_cmd + ' $SCRIPT -f $SOURCE > $TARGET' ) |