fixup

Author: illwieckz

src/trusted/validator_arm/CMakeLists.txt

@@ -69,7 +69,7 @@ list(APPEND GEN_OTHER_LIST
 	"gen/arm32_decode.h"
 	"gen/arm32_decode_actuals.h"
 	"gen/arm32_decode_baselines.h"
-	"gen/arm32_decode_named.cc" 
+#	"gen/arm32_decode_named.cc" 
 	"gen/arm32_decode_named_classes.h"
 	"gen/arm32_decode_named_bases.h"
 	"gen/arm32_decode_named_decoder.h"
@@ -85,9 +85,9 @@ list(APPEND VALIDATOR_INPUTS
 	"validator.cc"
 )
 
-add_library(arm_validatore_core OBJECT ${VALIDATOR_INPUTS} ${GEN_ACTUAL_LIST} ${GEN_BASE_LINE_LIST})
+add_library(arm_validatore_core OBJECT ${VALIDATOR_INPUTS} ${GEN_OTHER_LIST})
 
 add_library(ncvalidate_arm_v2 STATIC "ncvalidate.cc")
-target_link_libraries(ncvalidate_arm_v2 ${arm_validatore_core}) # We don't support OPTIONAL_COVERAGE_LIBS.
+target_link_libraries(ncvalidate_arm_v2 arm_validatore_core) # We don't support OPTIONAL_COVERAGE_LIBS.
 
 add_library(arm_validator_reporters STATIC "problem_reporter.cc")