`datalog-cpp` uses the[CMake](www.cmake.org) build tool to generate build files for other build systems. Currently, building using clang and gcc with Makefiles are supported.

From the command line inside a git clone, run the following:

Visual Studio 2019 supports using CMake to manage the build directly by selecting File -> Open -> Cmake... and opening`src/CMakeLists.txt`. Then Visual Studio's normal build shortcuts will update the CMake configuration as well as building the project.

CMake options are configured using the`CMakeSettings.json` file, which Visual Studio will generate when`CMakeLists.txt` is opened.

Additional configuration variables can be provided in the`cmake` invocation.

For Makefile builds, a build type can be specified by passing`-DCMAKE_BUILD_TYPE=Debug`,`-DCMAKE_BUILD_TYPE=MinSizeRel`,`-DCMAKE_BUILD_TYPE=Release`, or`-DCMAKE_BUILD_TYPE=RelWithDebInfo`. By default, Makefile builds will use`RelWithDebInfo`.

cmake_minimum_required (VERSION 3.8)

set(default_build_type"RelWithDebInfo")

if(NOTCMAKE_BUILD_TYPEANDNOTCMAKE_CONFIGURATION_TYPES)

message(STATUS"Setting build type to '${default_build_type}' as none was specified.")

set(CMAKE_BUILD_TYPE"${default_build_type}"CACHE

STRING"Choose the type of build." FORCE)

set_property(CACHECMAKE_BUILD_TYPE PROPERTYSTRINGS

"Debug""Release""MinSizeRel""RelWithDebInfo")

endif()

project("datalog-cpp")

set(CMAKE_CXX_STANDARD 17)

add_executable(types_test ../tests/types_test.cpp)

target_include_directories(types_testPUBLIC${CMAKE_CURRENT_SOURCE_DIR})

target_compile_definitions(types_testPUBLICUNIX)