# OpenFPGA-related libraries
add_subdirectory(libini)
add_subdirectory(libminishell)
add_subdirectory(libarchopenfpga)
add_subdirectory(libopenfpgautil)