CMakeLists.txt

cmake_minimum_required(VERSION 3.15)
project(vc-gen)

set(CMAKE_CXX_STANDARD 17)

include_directories(
        .
        imp imp/recognizer imp/compiler
        gc gc/recognizer
        solver
)

add_compile_options(-O1 -g -Wall -Wextra -Wpedantic -Wnull-dereference -Wnon-virtual-dtor)

#add_definitions(-DDEBUG)

find_package(BISON)
find_package(FLEX)

BISON_TARGET(
        imp-parser
        imp/imp-parser.yy
        ${CMAKE_CURRENT_SOURCE_DIR}/imp/recognizer/imp-parser.cpp
        COMPILE_FLAGS "--report=state --graph --warnings=all")
FLEX_TARGET(
        imp-scanner
        imp/imp-scanner.ll
        ${CMAKE_CURRENT_SOURCE_DIR}/imp/recognizer/imp-scanner.cpp)
ADD_FLEX_BISON_DEPENDENCY(imp-scanner imp-parser)

BISON_TARGET(
        gc-parser
        gc/gc-parser.yy
        ${CMAKE_CURRENT_SOURCE_DIR}/gc/recognizer/gc-parser.cpp
        COMPILE_FLAGS "--report=state --graph --warnings=all")
FLEX_TARGET(
        gc-scanner
        gc/gc-scanner.ll
        ${CMAKE_CURRENT_SOURCE_DIR}/gc/recognizer/gc-scanner.cpp)
ADD_FLEX_BISON_DEPENDENCY(gc-scanner gc-parser)

add_executable(vcgen
        vcgen.cpp
        ##########
        ${BISON_imp-parser_OUTPUTS}
        ${FLEX_imp-scanner_OUTPUTS}
        imp/imp-driver.cpp
        imp/imp-driver.hpp
        imp/ast/imp.cpp
        imp/ast/imp.hpp
        imp/ast/visitor.hpp
        imp/ast/printer-visitor.hpp
        imp/compiler/gc-compiler.hpp
        ##########
        tools.cpp
        tools.hpp
        ##########
        ${BISON_gc-parser_OUTPUTS}
        ${FLEX_gc-scanner_OUTPUTS}
        gc/gc-driver.hpp
        gc/gc-driver.cpp
        gc/ast/gc.hpp
        gc/ast/gc.cpp
        gc/ast/visitor.hpp
        gc/ast/printer-visitor.hpp
        gc/compiler/smt-compiler.hpp
        ##########
        solver/z3-solver.hpp
        solver/z3-solver.cpp)

add_executable(gc
        gc/test.cpp
        ##########
        tools.cpp
        tools.hpp
        ##########
        ${BISON_gc-parser_OUTPUTS}
        ${FLEX_gc-scanner_OUTPUTS}
        gc/gc-driver.hpp
        gc/gc-driver.cpp
        gc/ast/gc.hpp
        gc/ast/gc.cpp
        gc/ast/visitor.hpp
        gc/ast/printer-visitor.hpp
        gc/compiler/smt-compiler.hpp
        ##########
        solver/z3-solver.hpp
        solver/z3-solver.cpp)