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 14set(ABSINT_SOURCES 15 ${VERIFICATION_SOURCES_DIR}/absint/absint.cpp 16 ${VERIFICATION_SOURCES_DIR}/absint/abs_int_inl.cpp 17 ${VERIFICATION_SOURCES_DIR}/absint/panda_types.cpp 18) 19 20set(ABSINT_TESTS_SOURCES 21 ${VERIFICATION_SOURCES_DIR}/absint/tests/reg_context_test.cpp 22 ${VERIFICATION_SOURCES_DIR}/absint/tests/exec_context_test.cpp 23) 24 25set_source_files_properties(${VERIFICATION_SOURCES_DIR}/absint/absint.cpp 26 PROPERTIES COMPILE_FLAGS -fno-threadsafe-statics) 27 28set_source_files_properties(${VERIFICATION_SOURCES_DIR}/absint/abs_int_inl.cp 29 PROPERTIES COMPILE_FLAGS -fno-threadsafe-statics) 30