lart/CMakeLists.txt at master · xlauko/lart · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
cmake_minimum_required( VERSION 3.23 )

if ( DEFINED ENV{VCPKG_ROOT} AND NOT DEFINED CMAKE_TOOLCHAIN_FILE )
  set( CMAKE_TOOLCHAIN_FILE "$ENV{VCPKG_ROOT}/scripts/buildsystems/vcpkg.cmake"
      CACHE STRING "" )
endif()

if (NOT DEFINED VCPKG_OVERLAY_PORTS)
    set(VCPKG_OVERLAY_PORTS "${CURRENT_LIST_DIR}/ports")
endif()

project( lart VERSION 0.1.0
	DESCRIPTION "LLVM Abstraction and Refinement Tool"
  HOMEPAGE_URL "https://github.com/xlauko/lart"
)

# Globally set the required C++ standard
set( CMAKE_CXX_STANDARD 20 )
set( CMAKE_CXX_EXTENSIONS ON )

add_subdirectory( external )

add_subdirectory( runtime )
add_subdirectory( lava )
add_subdirectory( lamp )

add_subdirectory( lartcc )


if ( ENABLE_TESTING )
  enable_testing()
  add_subdirectory( test )
endif()