1# Copyright (c) 2021-2022 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 14cmake_minimum_required(VERSION 3.10) 15 16project(verifier) 17 18set(SOURCES verifier.cpp) 19 20panda_add_executable(verifier ${SOURCES}) 21 22panda_add_to_clang_tidy(TARGET verifier) 23 24target_include_directories(verifier PUBLIC ${PANDA_ROOT}/libpandabase/ 25 ${PANDA_ROOT}/runtime/ 26 ${PANDA_BINARY_ROOT} 27 ${VERIFIER_INCLUDE_DIR} 28) 29 30target_link_libraries(verifier arkruntime arkbase) 31 32panda_add_sanitizers(TARGET verifier SANITIZERS ${PANDA_SANITIZERS_LIST}) 33 34panda_gen_options(TARGET verifier YAML_FILE options.yaml GENERATED_HEADER 35 verifier_options_gen.h) 36 37add_check_style(".") 38