mirror of
https://gitee.com/openharmony/arkcompiler_runtime_core
synced 2024-11-27 08:50:45 +00:00
c658ccf319
Issue: https://gitee.com/openharmony/arkcompiler_runtime_core/issues/I5G96F Test: Test262 suit, ark unittest, rk3568 XTS, ark previewer demo Signed-off-by: huangyu <huangyu76@huawei.com> Change-Id: I3f63d129a07deaa27a390f556dcaa5651c098185
517 lines
18 KiB
CMake
517 lines
18 KiB
CMake
# Copyright (c) 2021-2022 Huawei Device Co., Ltd.
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
# you may not use this file except in compliance with the License.
|
|
# You may obtain a copy of the License at
|
|
#
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
#
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
# See the License for the specific language governing permissions and
|
|
# limitations under the License.
|
|
|
|
# Add a panda assembly to the project using the specified source file
|
|
#
|
|
# Example usage:
|
|
#
|
|
# add_panda_assembly(TARGET <name> SOURCE <source> INDIR <input directory> OUTDIR <output directory> TARGETNAME <target file name>)
|
|
#
|
|
# Adds a panda assembly target called <name> to be build from <source> file
|
|
# listed in the command invocation.
|
|
function(add_panda_assembly)
|
|
set(prefix ARG)
|
|
set(noValues)
|
|
set(singleValues TARGET SOURCE INDIR OUTDIR TARGETNAME)
|
|
set(multiValues)
|
|
cmake_parse_arguments(${prefix}
|
|
"${noValues}"
|
|
"${singleValues}"
|
|
"${multiValues}"
|
|
${ARGN})
|
|
if (NOT DEFINED ARG_TARGET)
|
|
message(FATAL_ERROR "Mandatory TARGET argument is not defined.")
|
|
endif()
|
|
|
|
if (NOT DEFINED ARG_SOURCE)
|
|
message(FATAL_ERROR "Mandatory SOURCE argument is not defined.")
|
|
endif()
|
|
|
|
set(source_file_dir "${CMAKE_CURRENT_SOURCE_DIR}")
|
|
|
|
if (DEFINED ARG_INDIR)
|
|
set(source_file_dir "${ARG_INDIR}")
|
|
endif()
|
|
|
|
set(binary_file_dir "${CMAKE_CURRENT_BINARY_DIR}")
|
|
|
|
if (DEFINED ARG_OUTDIR)
|
|
set(binary_file_dir "${ARG_OUTDIR}")
|
|
endif()
|
|
|
|
set(target_file_name "${ARG_TARGET}")
|
|
|
|
if (DEFINED ARG_TARGETNAME)
|
|
set(target_file_name "${ARG_TARGETNAME}")
|
|
endif()
|
|
|
|
if (TARGET ARG_TARGET)
|
|
message(FATAL_ERROR "Target ${ARG_TARGET} is already defined.")
|
|
endif()
|
|
|
|
set(source_file "${source_file_dir}/${ARG_SOURCE}")
|
|
set(binary_file "${binary_file_dir}/${target_file_name}.abc")
|
|
|
|
if(CMAKE_CROSSCOMPILING)
|
|
ExternalProject_Get_Property(panda_host_tools binary_dir)
|
|
set(assembler_target panda_host_tools)
|
|
set(assembler_bin "${binary_dir}/assembler/ark_asm")
|
|
else()
|
|
set(assembler_target ark_asm)
|
|
set(assembler_bin $<TARGET_FILE:${assembler_target}>)
|
|
endif()
|
|
|
|
add_custom_command(OUTPUT "${binary_file}"
|
|
COMMENT "Building ${ARG_TARGET}"
|
|
COMMAND "${assembler_bin}" "${source_file}" "${binary_file}"
|
|
DEPENDS ${assembler_target} "${source_file}")
|
|
|
|
add_custom_target(${ARG_TARGET} DEPENDS "${binary_file}")
|
|
endfunction()
|
|
|
|
# Use `mkdir` instead of `file(MAKE_DIRECTORY)` to create dependency on the directory existence:
|
|
set(COMPILER_STATS_DIR "${CMAKE_BINARY_DIR}/compiler/stats/csv")
|
|
add_custom_target(compiler_stats_dir
|
|
COMMAND mkdir -p "${COMPILER_STATS_DIR}")
|
|
|
|
# Add a single buildable and runnable Panda Assembly file to the build tree.
|
|
#
|
|
# Usage:
|
|
#
|
|
# panda_add_asm_file(
|
|
# FILE <source>
|
|
# TARGET <target>
|
|
# [ENTRY <entry_point>]
|
|
# [SUBDIR <subdir>]
|
|
# [OUTPUT_FILE_VARIABLE <variable>]
|
|
# [ERROR_FILE_VARIABLE <variable>]
|
|
# [SKIP_BUILD TRUE|FALSE]
|
|
# [AOT_MODE TRUE|FALSE]
|
|
# [AOT_STATS TRUE|FALSE]
|
|
# [DEPENDS <dependency>...]
|
|
# [RUNTIME_OPTIONS <option>...]
|
|
# [COMPILER_OPTIONS <option>...]
|
|
# [AOT_GC_OPTION <option>]
|
|
# [ENTRY_ARGUMENTS <argument>...]
|
|
# [TIMEOUT <timeout>]
|
|
# [LANGUAGE_CONTEXT <language>]
|
|
# )
|
|
#
|
|
# Adds a target <target> which assembles the assembly file <source>
|
|
# with Panda assembler and runs it with Panda interpreter.
|
|
#
|
|
# Options:
|
|
#
|
|
# ENTRY
|
|
# Entry point to execute in format <Class>::<method>. By default _GLOBAL::main is used
|
|
#
|
|
# SUBDIR
|
|
# Subdirectory in the current binary directory that is used to store build artifacts.
|
|
# Full path to directory with artifacts: ${CMAKE_CURRENT_BINARY_DIR}/<subdir>/<target>
|
|
#
|
|
# OUTPUT_FILE_VARIABLE, ERROR_FILE_VARIABLE
|
|
# The variable named will be set with the paths to files with contents of the stdout and
|
|
# stderr of the program respectively
|
|
#
|
|
# SKIP_BUILD
|
|
# Do not run assembly
|
|
#
|
|
# AOT_MODE
|
|
# Run test in AOT mode
|
|
#
|
|
# AOT_STATS
|
|
# Creates additional independent target `${TARGET}-stats`.
|
|
# `stats`-target dumps AOT compiler statistics in `${COMPILER_STATS_DIR}/${TARGET}.csv`
|
|
#
|
|
# DEPENDS
|
|
# List of additional dependences (exclude assembler and interpreter)
|
|
#
|
|
# RUNTIME_OPTIONS
|
|
# Runtime options
|
|
#
|
|
# COMPILER_OPTIONS
|
|
# Options for compiler, given both to panda and paoc
|
|
#
|
|
# AOT_GC_OPTION
|
|
# Type of a gc
|
|
#
|
|
# ENTRY_ARGUMENTS
|
|
# List of arguments that will be passed to program's entry point
|
|
#
|
|
# TIMEOUT
|
|
# If specified, the program will be run and terminated with the signal 10 (corresponds
|
|
# to SIGUSR1 on most platforms) after the given timeout. The format of the value
|
|
# must match the `timeout` command. The run will be considered successful if the program
|
|
# exits before the timeout with the successful exit code or if it is terminated
|
|
# after the timeout with the signal 10.
|
|
#
|
|
# LANGUAGE_CONTEXT
|
|
# Set the language-dependent semantics for the code. Possible values: core, java.
|
|
#
|
|
function(panda_add_asm_file)
|
|
set(prefix ARG)
|
|
set(noValues)
|
|
set(singleValues FILE ENTRY TARGET SUBDIR OUTPUT_FILE_VARIABLE ERROR_FILE_VARIABLE SKIP_BUILD AOT_MODE AOT_STATS TIMEOUT LANGUAGE_CONTEXT AOT_GC_OPTION)
|
|
set(multiValues DEPENDS RUNTIME_OPTIONS COMPILER_OPTIONS ENTRY_ARGUMENTS PRLIMIT_OPTIONS ADDITIONAL_STDLIBS)
|
|
cmake_parse_arguments(${prefix}
|
|
"${noValues}"
|
|
"${singleValues}"
|
|
"${multiValues}"
|
|
${ARGN})
|
|
|
|
if (NOT DEFINED ARG_FILE)
|
|
message(FATAL_ERROR "Mandatory FILE argument is not defined.")
|
|
endif()
|
|
|
|
if (NOT DEFINED ARG_TARGET)
|
|
message(FATAL_ERROR "Mandatory TARGET argument is not defined.")
|
|
endif()
|
|
|
|
if (TARGET ARG_TARGET)
|
|
message(FATAL_ERROR "Target ${ARG_TARGET} is already defined.")
|
|
endif()
|
|
|
|
set(build_dir "${CMAKE_CURRENT_BINARY_DIR}/${ARG_SUBDIR}/${ARG_TARGET}")
|
|
set(build_log "${build_dir}/build.log")
|
|
set(build_out "${build_dir}/build.out")
|
|
set(build_err "${build_dir}/build.err")
|
|
set(binary_file "${build_dir}/test.abc")
|
|
set(launch_file "${build_dir}/launch.sh")
|
|
set(output_file "${build_dir}/run.out")
|
|
set(error_file "${build_dir}/run.err")
|
|
|
|
file(MAKE_DIRECTORY "${build_dir}")
|
|
|
|
if (DEFINED ARG_OUTPUT_FILE_VARIABLE)
|
|
set(${ARG_OUTPUT_FILE_VARIABLE} "${output_file}" PARENT_SCOPE)
|
|
endif()
|
|
|
|
if (DEFINED ARG_ERROR_FILE_VARIABLE)
|
|
set(${ARG_ERROR_FILE_VARIABLE} "${error_file}" PARENT_SCOPE)
|
|
endif()
|
|
|
|
if (ARG_SKIP_BUILD)
|
|
set(binary_file "${ARG_FILE}")
|
|
else()
|
|
set(assembler ark_asm)
|
|
add_custom_command(OUTPUT "${binary_file}"
|
|
COMMENT "Building ${ARG_TARGET}"
|
|
COMMAND ${PANDA_RUN_PREFIX} $<TARGET_FILE:${assembler}> --verbose --log-file "${build_log}" "${ARG_FILE}" "${binary_file}" 1>"${build_out}" 2>"${build_err}"
|
|
DEPENDS ${assembler} "${ARG_FILE}")
|
|
endif()
|
|
|
|
if (DEFINED ARG_TIMEOUT AND NOT "${ARG_TIMEOUT}" STREQUAL "")
|
|
set(timeout_signal 10)
|
|
set(timeout_prefix "timeout --preserve-status --signal=${timeout_signal} --kill-after=10s ${ARG_TIMEOUT}")
|
|
set(timeout_suffix "|| [ `expr \$? % 128` -eq ${timeout_signal} ]")
|
|
else()
|
|
set(timeout_prefix "")
|
|
set(timeout_suffix "")
|
|
endif()
|
|
|
|
if (NOT DEFINED ARG_ENTRY)
|
|
set(ARG_ENTRY "_GLOBAL::main")
|
|
endif()
|
|
|
|
set(panda_stdlib arkstdlib)
|
|
set(panda_cli ark)
|
|
set(panda_verifier verifier)
|
|
|
|
set(stdlibs "${${panda_stdlib}_BINARY_DIR}/${panda_stdlib}.abc")
|
|
if (DEFINED ARG_ADDITIONAL_STDLIBS)
|
|
list(APPEND stdlibs ${ARG_ADDITIONAL_STDLIBS})
|
|
endif()
|
|
|
|
set(spaces "core")
|
|
if (NOT "core" STREQUAL "${ARG_LANGUAGE_CONTEXT}")
|
|
set(spaces "${ARG_LANGUAGE_CONTEXT}")
|
|
endif()
|
|
|
|
string(REPLACE ";" ":" boot_stdlibs "${stdlibs}")
|
|
string(REPLACE ";" ":" boot_spaces "${spaces}")
|
|
|
|
if (ARG_AOT_MODE)
|
|
set(aot_compiler ark_aot)
|
|
set(launch_aot_file "${build_dir}/launch_aot.sh")
|
|
set(aot_file "${build_dir}/test.an")
|
|
set(aot_file_stats "${build_dir}/test_stats.an")
|
|
set(launcher_aot
|
|
"${PANDA_RUN_PREFIX}"
|
|
"$<TARGET_FILE:${aot_compiler}>"
|
|
"--boot-panda-files \"${boot_stdlibs}\""
|
|
"--load-runtimes=${boot_spaces}"
|
|
"--paoc-panda-files \"${binary_file}\""
|
|
"--paoc-output \"${aot_file}\""
|
|
"--compiler-ignore-failures=false"
|
|
"${ARG_COMPILER_OPTIONS}"
|
|
"${ARG_AOT_GC_OPTION}"
|
|
"1>>\"${build_out}\""
|
|
"2>>\"${build_err}\""
|
|
)
|
|
string(REPLACE ";" " " launcher_aot "${launcher_aot}")
|
|
file(GENERATE OUTPUT ${launch_aot_file} CONTENT "${launcher_aot}")
|
|
|
|
# TODO(msherstennikov): enable for arm64
|
|
# Problem in arm64 is that ark_aotdump cannot open aot elf file with error: "undefined symbol: aot"
|
|
if (NOT PANDA_MINIMAL_VIXL AND PANDA_TARGET_AMD64)
|
|
set(aotdump_command
|
|
"${PANDA_RUN_PREFIX}"
|
|
"$<TARGET_FILE:ark_aotdump>"
|
|
"--output-file=/dev/null"
|
|
"--show-code" "disasm"
|
|
"${aot_file}")
|
|
endif()
|
|
|
|
set(aot_compile_depends "${aot_compiler}" "${binary_file}")
|
|
if (NOT PANDA_MINIMAL_VIXL)
|
|
list(APPEND aot_compile_depends "ark_aotdump")
|
|
endif()
|
|
|
|
add_custom_command(OUTPUT "${aot_file}"
|
|
COMMENT "Running aot compiler for ${ARG_TARGET}"
|
|
COMMAND . ${launch_aot_file} || (cat ${build_err} && false)
|
|
COMMAND ${aotdump_command}
|
|
DEPENDS ${aot_compile_depends})
|
|
list(APPEND ARG_RUNTIME_OPTIONS "--aot-file=${aot_file}")
|
|
|
|
if (ARG_AOT_STATS)
|
|
set(launch_aot_stats_file "${build_dir}/launch_aot_stats.sh")
|
|
set(launcher_aot_stats
|
|
"${PANDA_RUN_PREFIX}"
|
|
"$<TARGET_FILE:${aot_compiler}>"
|
|
"--boot-panda-files \"${boot_stdlibs}\""
|
|
"--load-runtimes=${boot_spaces}"
|
|
"--paoc-panda-files \"${binary_file}\""
|
|
"--paoc-output \"${aot_file_stats}\""
|
|
"--compiler-ignore-failures=false"
|
|
"--compiler-dump-stats-csv=\"${COMPILER_STATS_DIR}/${ARG_TARGET}.csv\""
|
|
"${ARG_COMPILER_OPTIONS}"
|
|
"${ARG_AOT_GC_OPTION}"
|
|
"1>>\"${build_out}\""
|
|
"2>>\"${build_err}\""
|
|
)
|
|
string(REPLACE ";" " " launcher_aot_stats "${launcher_aot_stats}")
|
|
file(GENERATE OUTPUT ${launch_aot_stats_file} CONTENT "${launcher_aot_stats}")
|
|
add_custom_target(${ARG_TARGET}-stats
|
|
COMMENT "Gathering AOT-statistics for ${ARG_TARGET}"
|
|
COMMAND . ${launch_aot_stats_file}
|
|
DEPENDS ${aot_compiler} "${binary_file}" compiler_stats_dir)
|
|
endif()
|
|
endif()
|
|
|
|
# NB! The lines below imply that we cannot handle ";" properly
|
|
# in both Panda's own options and the runned program's options.
|
|
# TODO: Fix this once this becomes an issue.
|
|
string(REPLACE ";" " " runtime_options "${ARG_COMPILER_OPTIONS} ${ARG_RUNTIME_OPTIONS}")
|
|
string(REPLACE ";" " " entry_arguments "${ARG_ENTRY_ARGUMENTS}")
|
|
|
|
set(prlimit_cmd "")
|
|
if (DEFINED ARG_PRLIMIT_OPTIONS)
|
|
set(prlimit_cmd "prlimit ${ARG_PRLIMIT_OPTIONS}")
|
|
string(REPLACE ";" " " prlimit_cmd "${prlimit_cmd}")
|
|
endif()
|
|
|
|
if (${runtime_options} MATCHES ".*events-output=csv.*")
|
|
set(runtime_options "${runtime_options} --events-file=${build_dir}/events.csv")
|
|
endif()
|
|
|
|
set(launcher
|
|
"${timeout_prefix}"
|
|
"${prlimit_cmd}"
|
|
"${PANDA_RUN_PREFIX}"
|
|
$<TARGET_FILE:${panda_cli}>
|
|
"--boot-panda-files \"${boot_stdlibs}\""
|
|
"--load-runtimes=${boot_spaces}"
|
|
"--compiler-ignore-failures=false"
|
|
"${runtime_options}"
|
|
"\"${binary_file}\""
|
|
"\"${ARG_ENTRY}\""
|
|
"${entry_arguments}"
|
|
"1>\"${output_file}\""
|
|
"2>\"${error_file}\""
|
|
"${timeout_suffix}"
|
|
)
|
|
string(REPLACE ";" " " launcher "${launcher}")
|
|
file(GENERATE OUTPUT ${launch_file} CONTENT "${launcher}")
|
|
|
|
add_custom_target(${ARG_TARGET}
|
|
COMMENT "Running ${ARG_TARGET}"
|
|
COMMAND . ${launch_file} || (cat ${error_file} && false)
|
|
DEPENDS ${panda_cli} ${panda_stdlib} "${binary_file}" ${aot_file})
|
|
|
|
if (DEFINED ARG_DEPENDS)
|
|
add_dependencies(${ARG_TARGET} ${ARG_DEPENDS})
|
|
endif()
|
|
|
|
|
|
endfunction()
|
|
|
|
# Add a single buildable and verifiable Panda Assembly file to the build tree.
|
|
#
|
|
# Usage:
|
|
#
|
|
# verifier_add_asm_file(
|
|
# FILE <source>
|
|
# TARGET <target>
|
|
# [RUNTIME_OPTIONS <runtime options>]
|
|
# [VERIFIER_OPTIONS <verifier options>]
|
|
# [SUBDIR <subdir>]
|
|
# [OUTPUT_FILE_VARIABLE <variable>]
|
|
# [ERROR_FILE_VARIABLE <variable>]
|
|
# [DEPENDS <dependency>...]
|
|
# [TIMEOUT <timeout>]
|
|
# [LANGUAGE_CONTEXT <language>]
|
|
# )
|
|
#
|
|
# Adds a target <target> which assembles the assembly file <source>
|
|
# with Panda assembler and verifies it with verifier.
|
|
#
|
|
# Options:
|
|
#
|
|
# SUBDIR
|
|
# Subdirectory in the current binary directory that is used to store build artifacts.
|
|
# Full path to directory with artifacts: ${CMAKE_CURRENT_BINARY_DIR}/<subdir>/<target>
|
|
#
|
|
# OUTPUT_FILE_VARIABLE, ERROR_FILE_VARIABLE
|
|
# The variable named will be set with the paths to files with contents of the stdout and
|
|
# stderr of the program respectively
|
|
#
|
|
# DEPENDS
|
|
# List of additional dependences (exclude assembler and interpreter)
|
|
#
|
|
# RUNTIME_OPTIONS
|
|
# Runtime initialization options
|
|
#
|
|
# VERIFIER_OPTIONS
|
|
# Verifier CLI options
|
|
#
|
|
# VERIFIER_FAIL_TEST
|
|
# If true, verifier is allowed to exit with non-0 exit code
|
|
#
|
|
# TIMEOUT
|
|
# If specified, the program will be run and terminated with the signal 10 (corresponds
|
|
# to SIGUSR1 on most platforms) after the given timeout. The format of the value
|
|
# must match the `timeout` command. The run will be considered successful if the program
|
|
# exits before the timeout with the successful exit code or if it is terminated
|
|
# after the timeout with the signal 10.
|
|
#
|
|
# LANGUAGE_CONTEXT
|
|
# Set the language-dependent semantics for the code. Possible values: core, java.
|
|
#
|
|
function(verifier_add_asm_file)
|
|
set(prefix ARG)
|
|
set(noValues VERIFIER_FAIL_TEST)
|
|
set(singleValues
|
|
FILE
|
|
TARGET
|
|
SUBDIR
|
|
OUTPUT_FILE_VARIABLE
|
|
ERROR_FILE_VARIABLE
|
|
TIMEOUT
|
|
LANGUAGE_CONTEXT)
|
|
set(multiValues DEPENDS RUNTIME_OPTIONS VERIFIER_OPTIONS STDLIBS)
|
|
cmake_parse_arguments(${prefix}
|
|
"${noValues}"
|
|
"${singleValues}"
|
|
"${multiValues}"
|
|
${ARGN})
|
|
|
|
if (NOT DEFINED ARG_FILE)
|
|
message(FATAL_ERROR "Mandatory FILE argument is not defined.")
|
|
endif()
|
|
|
|
if (NOT DEFINED ARG_TARGET)
|
|
message(FATAL_ERROR "Mandatory TARGET argument is not defined.")
|
|
endif()
|
|
|
|
if (TARGET ARG_TARGET)
|
|
message(FATAL_ERROR "Target ${ARG_TARGET} is already defined.")
|
|
endif()
|
|
|
|
set(build_dir "${CMAKE_CURRENT_BINARY_DIR}/${ARG_SUBDIR}/${ARG_TARGET}")
|
|
set(build_out "${build_dir}/build.out")
|
|
set(build_err "${build_dir}/build.err")
|
|
set(binary_file "${build_dir}/test.abc")
|
|
set(launch_file "${build_dir}/verifier_launch.sh")
|
|
set(output_file "${build_dir}/verify.out")
|
|
set(error_file "${build_dir}/verify.err")
|
|
|
|
file(MAKE_DIRECTORY "${build_dir}")
|
|
|
|
if (DEFINED ARG_OUTPUT_FILE_VARIABLE)
|
|
set(${ARG_OUTPUT_FILE_VARIABLE} "${output_file}" PARENT_SCOPE)
|
|
endif()
|
|
|
|
if (DEFINED ARG_ERROR_FILE_VARIABLE)
|
|
set(${ARG_ERROR_FILE_VARIABLE} "${error_file}" PARENT_SCOPE)
|
|
endif()
|
|
|
|
set(assembler ark_asm)
|
|
add_custom_command(OUTPUT "${binary_file}"
|
|
COMMENT "Building ${ARG_TARGET}"
|
|
COMMAND ${PANDA_RUN_PREFIX} $<TARGET_FILE:${assembler}> "${ARG_FILE}" "${binary_file}" 1>"${build_out}" 2>"${build_err}"
|
|
DEPENDS ${assembler} "${ARG_FILE}")
|
|
|
|
if (DEFINED ARG_TIMEOUT AND NOT "${ARG_TIMEOUT}" STREQUAL "")
|
|
set(timeout_signal 10)
|
|
set(timeout_prefix "timeout --preserve-status --signal=${timeout_signal} --kill-after=10s ${ARG_TIMEOUT}")
|
|
set(timeout_suffix "|| [ `expr \$? % 128` -eq ${timeout_signal} ]")
|
|
else()
|
|
set(timeout_prefix "")
|
|
set(timeout_suffix "")
|
|
endif()
|
|
|
|
set(panda_stdlib arkstdlib)
|
|
set(verifier_cli verifier)
|
|
|
|
set(spaces "core")
|
|
if (NOT "core" STREQUAL "${ARG_LANGUAGE_CONTEXT}")
|
|
set(spaces "${ARG_LANGUAGE_CONTEXT}")
|
|
else()
|
|
set(stdlibs "${${panda_stdlib}_BINARY_DIR}/${panda_stdlib}.abc")
|
|
endif()
|
|
|
|
list(APPEND stdlibs ${ARG_STDLIBS})
|
|
|
|
string(REPLACE ";" ":" boot_stdlibs "${stdlibs}")
|
|
string(REPLACE ";" ":" boot_spaces "${spaces}")
|
|
|
|
set(launcher_verifier
|
|
"${PANDA_RUN_PREFIX}"
|
|
$<TARGET_FILE:${verifier_cli}>
|
|
"${ARG_VERIFIER_OPTIONS}"
|
|
"${ARG_RUNTIME_OPTIONS}"
|
|
"--boot-panda-files=\"${boot_stdlibs}\""
|
|
"--load-runtimes=${boot_spaces}"
|
|
"\"${binary_file}\""
|
|
"1>\"${output_file}\""
|
|
"2>\"${error_file}\""
|
|
)
|
|
string(REPLACE ";" " " launcher_verifier "${launcher_verifier}")
|
|
if (ARG_VERIFIER_FAIL_TEST)
|
|
string(APPEND launcher_verifier " || (exit 0)")
|
|
endif()
|
|
|
|
file(GENERATE OUTPUT ${launch_file} CONTENT "${launcher_verifier}")
|
|
|
|
add_custom_target(${ARG_TARGET}
|
|
COMMENT "Verifying ${ARG_TARGET}"
|
|
COMMAND . ${launch_file}
|
|
DEPENDS ${verifier_cli} "${binary_file}")
|
|
|
|
if (DEFINED ARG_DEPENDS)
|
|
add_dependencies(${ARG_TARGET} ${ARG_DEPENDS})
|
|
endif()
|
|
|
|
endfunction()
|