• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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")
15import("//build/ohos.gni")
16
17config("verification_public_config") {
18  include_dirs = [
19    "$ark_root/verification",
20    "$target_gen_dir",
21    "$target_gen_dir/include",
22    "$target_gen_dir/../..",
23  ]
24}
25
26ark_gen_file("verification_abs_int_inl_compat_checks_h") {
27  template_file = "templates/abs_int_inl_compat_checks.h.erb"
28  data = [ "$ark_root/verification/verification.yaml" ]
29  api = [ "$ark_root/verification/verification.rb" ]
30  output_file = "$target_gen_dir/include/abs_int_inl_compat_checks.h"
31}
32
33ark_isa_gen("isa_gen_verification_gen") {
34  template_files = [
35    "cflow_iterate_inl_gen.h.erb",
36    "abs_int_inl_gen.h.erb",
37    "job_fill_gen.h.erb",
38    "handle_gen.h.erb",
39  ]
40  sources = "templates"  ## ark_root/templates
41  destination = "$target_gen_dir/include"  ## target_gen_dir/include
42  extra_dependencies = [ ":verification_abs_int_inl_compat_checks_h" ]
43}
44
45ark_gen_file("verification_verifier_messages_h") {
46  template_file = "$ark_root/templates/messages/messages.h.erb"
47  data = [ "$ark_root/verification/messages.yaml" ]
48  api = [ "$ark_root/templates/messages.rb" ]
49  output_file = "$target_gen_dir/include/verifier_messages.h"
50}
51
52ark_gen_file("verification_gen_plugins_gen_inc") {
53  extra_dependencies = [ "$ark_root:concat_plugins_yamls" ]
54  template_file = "$ark_root/verification/gen/templates/plugins_gen.inc.erb"
55  data = [ ark_plugin_options_yaml ]
56  api = [ "$ark_root/templates/plugin_options.rb" ]
57  output_file = "$target_gen_dir/include/plugins_gen.inc"
58}
59
60ark_gen_file("verification_verifier_messages_data_cpp") {
61  template_file =
62      "$ark_root/verification/gen/templates/verifier_messages_data_gen.cpp.erb"
63  data = [ "$ark_root/verification/messages.yaml" ]
64  api = [ "$ark_root/templates/messages.rb" ]
65  output_file = "$target_gen_dir/../verifier_messages_data_gen.cpp"
66}
67