From f685dc0717b8e4c63c9bf31e067c2830728fd6ec Mon Sep 17 00:00:00 2001 From: Adrian Danis Date: Thu, 15 Feb 2018 15:15:01 +1100 Subject: [PATCH] cmake: CPPFile for bitfield generation CPPFile is a more robuse verision of GenCPPCommand and allows us to drop the `custom_command_c_flags` as cmake can directly perform compilatio --- CMakeLists.txt | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 038365186..ab23eb967 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -319,12 +319,9 @@ foreach(bf_dec ${bf_declarations}) string(REPLACE ".bf" "_proofs.thy" proofs_target "${bf_name}") set(pbf_name "generated/${bf_gen_dir}/${bf_name}.pbf") set(pbf_target "${bf_gen_target}_pbf") - GenCPPCommand( - "${pbf_name}" - "${bf_file}" - EXTRA_FLAGS "${custom_command_c_flags} -P" - TARGET "${pbf_target}" - EXTRA_DEPS "${gen_files_list};xml_headers_target;kernel_config_headers" + CPPFile("${pbf_name}" "${pbf_target}" "${bf_file}" + EXTRA_FLAGS -P + EXTRA_DEPS kernel_config_headers ${gen_files_list} ) GenHBFTarget("" ${bf_gen_target} "generated/${bf_gen_dir}/${bf_target}" "${pbf_name}" "${pbf_target}" "kernel_all_pp_prune.c" "kernel_all_pp_prune_wrapper")