Apr 28, 2020 · Apr 28, 2020 · Apr 28, 2020 · Apr 28, 2020 · Apr 28, 2020
diff --git a/Makefile b/Makefile
diff --git a/docs/build.md b/docs/build.md
 # Overview of the build system
 `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.

 # Building with Makefiles
 From the command line inside a git clone, run the following:
 ```
 mkdir build
 cd build
 cmake ../src
 make
 ```
 # Building directly with CMake in Visual Studio 2019
 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.

 # Build options
 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`.
diff --git a/make/dep.py b/make/dep.py
diff --git a/make/generic.mk b/make/generic.mk
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
 # CMakeLists.txt

 # CMake setup
 cmake_minimum_required (VERSION 3.8)

 # Set a default build type if none was specified
 set(default_build_type "RelWithDebInfo")

 if(NOT CMAKE_BUILD_TYPE AND NOT CMAKE_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 the possible values of build type for cmake-gui
  set_property(CACHE CMAKE_BUILD_TYPE PROPERTY STRINGS
    "Debug" "Release" "MinSizeRel" "RelWithDebInfo")
 endif()

 # Project initialisation
 project("datalog-cpp")

 # specify the C++ standard
 set(CMAKE_CXX_STANDARD 17)

 # types_test target
 add_executable(types_test ../tests/types_test.cpp)
 target_include_directories(types_test PUBLIC ${CMAKE_CURRENT_SOURCE_DIR})
 target_compile_definitions(types_test PUBLIC UNIX)
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,20 @@
		# Overview of the build system
		`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.

		# Building with Makefiles
		From the command line inside a git clone, run the following:
		```
		mkdir build
		cd build
		cmake ../src
		make
		```
		# Building directly with CMake in Visual Studio 2019
		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.

		# Build options
		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`.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,27 @@
		# CMakeLists.txt

		# CMake setup
		cmake_minimum_required (VERSION 3.8)

		# Set a default build type if none was specified
		set(default_build_type "RelWithDebInfo")

		if(NOT CMAKE_BUILD_TYPE AND NOT CMAKE_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 the possible values of build type for cmake-gui
		set_property(CACHE CMAKE_BUILD_TYPE PROPERTY STRINGS
		"Debug" "Release" "MinSizeRel" "RelWithDebInfo")
		endif()

		# Project initialisation
		project("datalog-cpp")

		# specify the C++ standard
		set(CMAKE_CXX_STANDARD 17)

		# types_test target
		add_executable(types_test ../tests/types_test.cpp)
		target_include_directories(types_test PUBLIC ${CMAKE_CURRENT_SOURCE_DIR})
		target_compile_definitions(types_test PUBLIC UNIX)