Index: src/trusted/validator_arm/build.scons |
diff --git a/src/trusted/validator_arm/build.scons b/src/trusted/validator_arm/build.scons |
old mode 100644 |
new mode 100755 |
index 685ccdc9a96ffc2f79e655fb154b3cee37083d89..0e382b62278ca114ab46702b36a2700ef7d36287 |
--- a/src/trusted/validator_arm/build.scons |
+++ b/src/trusted/validator_arm/build.scons |
@@ -31,6 +31,9 @@ env.Append( |
# up to date. |
gen_env = env.Clone(); |
+# Defines dgen directory inside of common arch-independent validator directory. |
+DGEN_SRC_DIR = '${MAIN_DIR}/src/trusted/validator/dgen' |
+ |
# Defines this source directory. |
GEN_SRC_DIR = '${MAIN_DIR}/src/trusted/validator_arm/gen' |
@@ -38,6 +41,10 @@ GEN_SRC_DIR = '${MAIN_DIR}/src/trusted/validator_arm/gen' |
def _gen_file(filename): |
return '%s/%s' % (GEN_SRC_DIR, filename) |
+# Defines the full file name for a file inside dgen directory. |
+def _dgen_dir_file(filename): |
+ return '%s/%s' % (DGEN_SRC_DIR, filename) |
+ |
# Set of generated source files. |
GEN_LIST = [_gen_file(x) for x in |
['arm32_decode.cc', 'arm32_decode.h', |
@@ -59,13 +66,13 @@ if generate: |
def _generate_source(filename): |
env.Command(target=filename, |
source=['armv7.table', |
- 'generate_decoder.py', |
- 'dgen_core.py', |
- 'dgen_input.py', |
- 'dgen_opt.py', |
- 'dgen_output.py', |
- 'dgen_decoder_output.py', |
- 'dgen_test_output.py', |
+ _dgen_dir_file('generate_decoder.py'), |
+ _dgen_dir_file('dgen_core.py'), |
+ _dgen_dir_file('dgen_input.py'), |
+ _dgen_dir_file('dgen_opt.py'), |
+ _dgen_dir_file('dgen_output.py'), |
+ _dgen_dir_file('dgen_decoder_output.py'), |
+ _dgen_dir_file('dgen_test_output.py'), |
], |
action=['${SOURCES[1].abspath} ${SOURCES[0].abspath} ' |
'${TARGET.abspath} Arm32DecoderState']) |