# Copyright (c) 2023 Advanced Micro Devices, Inc. All Rights Reserved.
# SPDX-License-Identifier: MIT

add_subdirectory(gcc)

collect (PROJECT_LIB_SOURCES putnum.c)
collect (PROJECT_LIB_SOURCES vectors.c)
collect (PROJECT_LIB_SOURCES xil_exception.c)
collect (PROJECT_LIB_SOURCES xil_spinlock.c)
collect (PROJECT_LIB_HEADERS vectors.h)
collect (PROJECT_LIB_HEADERS xil_exception.h)
collect (PROJECT_LIB_HEADERS xil_spinlock.h)
