bolt/CMakeLists.txt
Sam Vervaeck b1d685bdaf
Add again generalization in Checker.cc
Constraint instantiation is still missing.
2025-03-02 00:19:19 +01:00

159 lines
3.3 KiB
CMake

cmake_minimum_required(VERSION 3.20)
project(Bolt C CXX)
#set(CMAKE_MODULE_PATH ${CMAKE_MODULE_PATH} "${CMAKE_SOURCE_DIR}/cmake/Modules")
option(BOLT_ENABLE_LLVM "Enable using LLVM as a back-end" ON)
option(BOLT_ENABLE_CLANG "Enable integration with the Clang compiler" ON)
if (NOT BOLT_ENABLE_LLVM AND BOLT_ENABLE_CLANG)
message(FATAL_ERROR "BOLT_ENABLE_LLVM must be set when enabling BOLT_ENABLE_CLANG")
endif()
set(CMAKE_CXX_STANDARD 20)
find_package(ICU REQUIRED uc)
if (BOLT_ENABLE_LLVM)
find_package(LLVM REQUIRED CONFIG)
message(STATUS "Found LLVM ${LLVM_PACKAGE_VERSION}")
message(STATUS "Using LLVMConfig.cmake in: ${LLVM_DIR}")
# find_package(LLVM 18 REQUIRED all-targets)
# if (BOLT_ENABLE_CLANG)
# find_package(Clang 18 REQUIRED)
# endif()
endif()
add_subdirectory(deps/zen EXCLUDE_FROM_ALL)
add_subdirectory(deps/fmt EXCLUDE_FROM_ALL)
# FIXME temporary solution
#set(ICU_DIR "${CMAKE_CURRENT_SOURCE_DIR}/build/icu/install")
#set(ICU_CFLAGS "-DUNISTR_FROM_CHAR_EXPLICIT=explicit -DUNISTR_FROM_STRING_EXPLICIT=explicit -DU_NO_DEFAULT_INCLUDE_UTF_HEADERS=1 -DU_HIDE_OBSOLETE_UTF_OLD_H=1")
#set(ICU_INCLUDE_DIRS "${ICU_DIR}/include")
#set(ICU_LIBRARY_DIRS "${ICU_DIR}/lib")
#set(ICU_LIBRARIES icuuc)
if (CMAKE_BUILD_TYPE STREQUAL "RelWithDebInfo" OR CMAKE_BUILD_TYPE STREQUAL "Debug")
set(BOLT_DEBUG ON)
endif()
add_library(
BoltCore
#src/Text.cc
src/CST.cc
src/Diagnostics.cc
src/ConsolePrinter.cc
src/Scanner.cc
src/Parser.cc
src/Type.cc
src/Constraint.cc
src/Checker.cc
src/Evaluator.cc
src/Scope.cc
src/Program.cc
)
target_link_directories(
BoltCore
PUBLIC
${ICU_LIBRARY_DIRS}
${CLANG_LIBDIRS}
)
target_compile_options(
BoltCore
PUBLIC
-Werror
-fno-exceptions
#-fno-rtti
${ICU_CFLAGS}
)
target_include_directories(
BoltCore
PUBLIC
include
${ICU_LIBRARY_DIRS}
${CLANG_INCLUDE_DIRS}
)
target_link_libraries(
BoltCore
PUBLIC
zen
icuuc
${CLANG_LIBRARIES}
)
if (CMAKE_CXX_COMPILER_ID STREQUAL "Clang" AND BOLT_DEBUG)
target_compile_options(
BoltCore
PUBLIC
-fstandalone-debug
)
endif()
separate_arguments(LLVM_DEFINITIONS_LIST NATIVE_COMMAND ${LLVM_DEFINITIONS})
llvm_map_components_to_libnames(llvm_libs support core native)
message("Libs: ${llvm_libs}")
add_library(
BoltLLVM
src/LLVMCodeGen.cc
)
target_include_directories(
BoltLLVM
PUBLIC
${LLVM_INCLUDE_DIRS}
)
target_link_libraries(
BoltLLVM
PUBLIC
BoltCore
${llvm_libs}
)
target_compile_definitions(
BoltLLVM
PUBLIC
${LLVM_DEFINITIONS_LIST}
)
target_link_directories(
BoltLLVM
PUBLIC
${LLVM_LIBRARY_DIRS}
)
add_executable(
bolt
src/main.cc
)
target_link_libraries(
bolt
PUBLIC
BoltCore
BoltLLVM
fmt::fmt
)
if (BOLT_ENABLE_TESTS)
add_subdirectory(deps/googletest EXCLUDE_FROM_ALL)
add_executable(
alltests
test/TestText.cc
)
target_link_libraries(
alltests
PUBLIC
BoltCore
gtest
gtest_main
)
endif()
# add_custom_command(
# OUTPUT "${CMAKE_CURRENT_SOURCE_DIR}/include/bolt/CST.hpp" "${CMAKE_CURRENT_SOURCE_DIR}/src/CST.cc"
# COMMAND scripts/gennodes.py --name=CST ./bolt-cst-spec.txt -Iinclude/ --include-root=bolt --source-root=src/ --namespace=bolt
# DEPENDS scripts/gennodes.py
# MAIN_DEPENDENCY "${CMAKE_CURRENT_SOURCE_DIR}/bolt-cst-spec.txt"
# WORKING_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}"
# )