1# Copyright (c) 2021-2024 Huawei Device Co., Ltd. 2# Licensed under the Apache License, Version 2.0 (the "License"); 3# you may not use this file except in compliance with the License. 4# You may obtain a copy of the License at 5# 6# http://www.apache.org/licenses/LICENSE-2.0 7# 8# Unless required by applicable law or agreed to in writing, software 9# distributed under the License is distributed on an "AS IS" BASIS, 10# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 11# See the License for the specific language governing permissions and 12# limitations under the License. 13 14import("//arkcompiler/runtime_core/static_core/ark_config.gni") 15 16type_sources = [ 17 "$ark_root/verification/type/type_system.cpp", 18 "$ark_root/verification/type/type_type.cpp", 19] 20 21value_sources = [] 22 23cflow_sources = [ 24 "$ark_root/verification/cflow/cflow_check.cpp", 25 "$ark_root/verification/cflow/cflow_common.cpp", 26 "$ark_root/verification/cflow/cflow_info.cpp", 27] 28 29util_sources = [] 30 31absint_sources = [ 32 "$ark_root/verification/absint/abs_int_inl.cpp", 33 "$ark_root/verification/absint/absint.cpp", 34] 35 36config_sources = [ 37 "$ark_root/verification/config/config_load.cpp", 38 "$ark_root/verification/config/context/context.cpp", 39 "$ark_root/verification/config/debug_breakpoint/breakpoint.cpp", 40 "$ark_root/verification/config/debug_breakpoint/config_handler_breakpoints.cpp", 41 "$ark_root/verification/config/default/default_config.cpp", 42 "$ark_root/verification/config/handlers/config_handler_method_groups.cpp", 43 "$ark_root/verification/config/handlers/config_handler_method_options.cpp", 44 "$ark_root/verification/config/handlers/config_handler_options.cpp", 45 "$ark_root/verification/config/handlers/config_handler_whitelist.cpp", 46 "$ark_root/verification/config/options/method_options.cpp", 47 "$ark_root/verification/config/parse/config_parse.cpp", 48 "$ark_root/verification/config/process/config_process.cpp", 49 "$ark_root/verification/config/whitelist/whitelist.cpp", 50] 51 52jobs_sources = [ 53 "$ark_root/verification/jobs/job.cpp", 54 "$ark_root/verification/jobs/service.cpp", 55] 56 57verifier_cache_sources = [ "$ark_root/verification/cache/results_cache.cpp" ] 58 59verifier_sources = [ 60 "$ark_root/verification/default_plugin.cpp", 61 "$ark_root/verification/plugins.cpp", 62 "$ark_root/verification/public.cpp", 63 "$ark_root/verification/verification_options.cpp", 64 "$ark_root/verification/verifier_messages_data.cpp", 65] 66verifier_sources += type_sources 67verifier_sources += value_sources 68verifier_sources += cflow_sources 69verifier_sources += absint_sources 70verifier_sources += config_sources 71verifier_sources += jobs_sources 72verifier_sources += verifier_cache_sources 73