CMakeLists.txt

cmake_minimum_required(VERSION 3.22)
project(veripython)

set(CMAKE_CXX_STANDARD 20)

string(TOLOWER "${CMAKE_BUILD_TYPE}" build_type)

if (build_type STREQUAL "release")
    message(STATUS "We are in Release Mode")
    set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -O2")
else ()
    message(STATUS "We are in Debug Mode, gtest is enabled")
    set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall -g")

    include(FetchContent)
    FetchContent_Declare(
            googletest
            GIT_REPOSITORY https://gitee.com/mirrors/googletest.git
            GIT_TAG v1.14.0
    )
    # For Windows: Prevent overriding the parent project's compiler/linker settings
    set(gtest_force_shared_crt ON CACHE BOOL "" FORCE)
    FetchContent_MakeAvailable(googletest)
endif ()

find_package(FLEX REQUIRED)
set(FLEX_SRC "${CMAKE_SOURCE_DIR}/verilog.l")
set(FLEX_OUT "${CMAKE_BINARY_DIR}/lex.yy.c")
set(FLEX_DIR "${CMAKE_BINARY_DIR}")
add_custom_command(
        OUTPUT ${FLEX_OUT}
        COMMAND cp ${CMAKE_SOURCE_DIR}/Lexer.h ${FLEX_DIR}
        COMMAND ${FLEX_EXECUTABLE} ${FLEX_SRC}
        MAIN_DEPENDENCY ${FLEX_SRC} ${CMAKE_SOURCE_DIR}/Lexer.h
        COMMENT "Generating lex.yy.c from verilog.l"
)
add_library(lexer OBJECT ${FLEX_OUT})

if (NOT FIRTOOL_LIB_PATH)
    set(FIRTOOL_LIB_PATH "/root/circt/firtool-1.93.1/lib")
endif ()
set(FIRTOOL_INSTALL_PATH "${FIRTOOL_LIB_PATH}/cmake")
message(STATUS "FIRTOOL_LIB_PATH is ${FIRTOOL_LIB_PATH}")
find_package(CIRCT REQUIRED CONFIG
        HINTS "${FIRTOOL_INSTALL_PATH}/circt")
find_package(MLIR REQUIRED CONFIG
        HINTS "${FIRTOOL_INSTALL_PATH}/mlir")
find_package(LLVM REQUIRED CONFIG
        HINTS "${FIRTOOL_INSTALL_PATH}/llvm")
message(STATUS "Found CIRCT include dir ${CIRCT_INCLUDE_DIRS}")

include_directories(${CIRCT_INCLUDE_DIRS})
link_directories(${FIRTOOL_LIB_PATH})

set(LLVM_ENABLE_RTTI ON)
set(LLVM_ENABLE_EH ON)
set(BUILD_SHARED_LIBS ON)
add_definitions(${LLVM_DEFINITIONS})

set(circt_libs
        CIRCTFIRRTL
        CIRCTArc
        CIRCTArcTransforms
        CIRCTArcToLLVM
        CIRCTConvertToArcs
        CIRCTCombToArith
        CIRCTFirtool
        CIRCTTransforms
        MLIRIR
        MLIRArithDialect
        MLIRBuiltinToLLVMIRTranslation
        MLIRControlFlowDialect
        MLIRDLTIDialect
        MLIRFuncDialect
        MLIRFuncInlinerExtension
        MLIRIndexDialect
        MLIRLLVMIRTransforms
        MLIRLLVMToLLVMIRTranslation
        MLIRSCFDialect
        MLIRTargetLLVMIRExport
)

add_executable(veripython
        main.cpp
        Parser.cpp
        Parser.h
        Lexer.h
        AST.h
        AST.cpp
        RtlModule.cpp
        RtlModule.h
        CombLogics.cpp
        CombLogics.h
        CircuitSymbol.cpp
        CircuitSymbol.h
        RtlVisualizer.cpp
        RtlVisualizer.h
        RtlSimulator.cpp
        RtlSimulator.h
        Lexer.cpp
        EmitFIRRTL.cpp
        EmitFIRRTL.h
        Exceptions.h
        FIRToHW.cpp
        FIRToHW.h
        ArcBackend.cpp
        ArcBackend.h
        Testbench.cpp
        Testbench.h
)

target_link_libraries(veripython PRIVATE lexer -lfl)
target_link_libraries(veripython PRIVATE ${circt_libs})

if (NOT (build_type STREQUAL "release"))
    enable_testing()
    add_executable(ParserTests
            tests/ParserTests.cpp
            Parser.cpp
            Parser.h
            Lexer.h
            AST.h
            AST.cpp
            RtlModule.cpp
            RtlModule.h
            CircuitSymbol.cpp
            CircuitSymbol.h
            CombLogics.cpp
            CombLogics.h
            RtlVisualizer.cpp
            RtlVisualizer.h
            RtlSimulator.cpp
            RtlSimulator.h
            EmitFIRRTL.cpp
            EmitFIRRTL.h
            Exceptions.h
            FIRToHW.cpp
            FIRToHW.h
            ArcBackend.cpp
            ArcBackend.h
            Testbench.cpp
            Testbench.h
    )
    target_link_libraries(ParserTests PRIVATE GTest::gtest_main)
    target_link_libraries(ParserTests PRIVATE lexer -lfl)
    target_link_libraries(ParserTests PRIVATE ${circt_libs})
    add_executable(AcrilatorHeaderCppTests tests/ArcilatorHeaderCppTests.cpp)
    target_link_libraries(AcrilatorHeaderCppTests PRIVATE GTest::gtest_main)
    include(GoogleTest)
    gtest_discover_tests(ParserTests)
endif ()