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 14import("//arkcompiler/runtime_core/ark_config.gni") 15 16config("verification_public_config") { 17 include_dirs = [ 18 "$ark_root/verification", 19 "$target_gen_dir", 20 "$target_gen_dir/include", 21 ] 22} 23 24ark_gen_file("verification_abs_int_inl_compat_checks_h") { 25 template_file = "templates/abs_int_inl_compat_checks.h.erb" 26 data_file = "$ark_root/verification/verification.yaml" 27 requires = [ "$ark_root/verification/verification.rb" ] 28 output_file = "$target_gen_dir/include/abs_int_inl_compat_checks.h" 29} 30 31ark_isa_gen("isa_gen_verification_gen") { 32 template_files = [ 33 "cflow_iterate_inl_gen.h.erb", 34 "abs_int_inl_gen.h.erb", 35 "job_fill_gen.h.erb", 36 ] 37 sources = "templates" ## ark_root/templates 38 destination = "$target_gen_dir/include" ## target_gen_dir/include 39 extra_dependencies = [ ":verification_abs_int_inl_compat_checks_h" ] 40} 41 42ark_gen_file("verification_verifier_messages_h") { 43 template_file = "$ark_root/templates/messages/messages.h.erb" 44 data_file = "$ark_root/verification/messages.yaml" 45 requires = [ "$ark_root/templates/messages.rb" ] 46 output_file = "$target_gen_dir/include/verifier_messages.h" 47} 48 49ark_gen_file("lang_specifics_h") { 50 extra_dependencies = [ "$ark_root:concat_plugins_yamls" ] 51 template_file = "$ark_root/verification/gen/templates/lang_specifics.h.erb" 52 data_file = "$target_gen_dir/../../plugin_options.yaml" 53 requires = [ "$ark_root/templates/plugin_options.rb" ] 54 output_file = "$target_gen_dir/include/lang_specifics.h" 55} 56