arminbiere · SamuelMarks · Sep 17, 2021 · Sep 17, 2021
diff --git a/.gitignore b/.gitignore
@@ -10,3 +10,5 @@ tissat
 *.gcov
 gmon.out
 *~
+*build*
+.idea
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -0,0 +1,90 @@
+cmake_minimum_required(VERSION 3.19)
+project(kissat VERSION 2.0.1 LANGUAGES C)
+
+set(CMAKE_C_STANDARD 90)
+set(CMAKE_C_VISIBILITY_PRESET hidden)
+set(CMAKE_VISIBILITY_INLINES_HIDDEN YES)
+
+option(BUILD_SHARED_LIBS "Build using shared libraries" OFF)
+if (BUILD_SHARED_LIBS)
+    set(LIBRARY_TYPE_FLAG "SHARED")
+else ()
+    set(LIBRARY_TYPE_FLAG "STATIC")
+endif ()
+
+# control where the static and shared libraries are built so that on windows
+# we don't need to tinker with the path to run the executable
+set(CMAKE_ARCHIVE_OUTPUT_DIRECTORY "${PROJECT_BINARY_DIR}")
+set(CMAKE_LIBRARY_OUTPUT_DIRECTORY "${PROJECT_BINARY_DIR}")
+set(CMAKE_RUNTIME_OUTPUT_DIRECTORY "${PROJECT_BINARY_DIR}")
+
+add_library("${PROJECT_NAME}_compiler_flags" INTERFACE)
+target_compile_features("${PROJECT_NAME}_compiler_flags" INTERFACE "c_std_90")
+
+set(gcc_like "$<COMPILE_LANG_AND_ID:C,CXX,ARMClang,AppleClang,Clang,GNU>")
+set(msvc "$<COMPILE_LANG_AND_ID:C,CXX,MSVC>")
+# -g -fsanitize=address -fno-omit-frame-pointer
+target_compile_options(
+        "${PROJECT_NAME}_compiler_flags"
+        INTERFACE
+        "$<${gcc_like}:$<BUILD_INTERFACE:-Wall;-Wextra;-Wshadow;-Wformat=2;-Wunused;-pedantic->>"
+        "$<${msvc}:$<BUILD_INTERFACE:-W3;-WX;-Zi;-permissive->>"
+)
+if (CMAKE_C_COMPILER_ID STREQUAL "Clang" OR CMAKE_C_COMPILER_ID STREQUAL "AppleClang")
+    set(CMAKE_C_FLAGS_DEBUG "${CMAKE_C_FLAGS_DEBUG} -fno-omit-frame-pointer -fsanitize=address")
+    set(CMAKE_LINKER_FLAGS_DEBUG "${CMAKE_LINKER_FLAGS_DEBUG} -fno-omit-frame-pointer -fsanitize=address")
+endif()
+
+# configure a header file to pass the version number only
+configure_file(
+        "${CMAKE_CURRENT_SOURCE_DIR}/cmake/config.h.in"
+        "${PROJECT_NAME}Config.h"
+)
+
+add_subdirectory("src")
+
+option(BUILD_TESTS "Build tests" OFF)
+if (BUILD_TESTS)
+    add_subdirectory("test")
+endif (BUILD_TESTS)
+
+install(
+        FILES "${PROJECT_BINARY_DIR}/${PROJECT_NAME}Config.h"
+        DESTINATION "include"
+)
+
+include(InstallRequiredSystemLibraries)
+set(CPACK_BUNDLE_NAME "${PROJECT_NAME}")
+set(CPACK_PACKAGE_VENDOR "Armin Biere")
+set(CPACK_PACKAGE_DESCRIPTION "Kissat is a "keep it simple and clean bare metal SAT solver" written in C.")
+set(CPACK_PACKAGE_DESCRIPTION_SUMMARY "Kissat is a "keep it simple and clean bare metal SAT solver" written in C.")
+if (APPLE)
+    set(CPACK_BUNDLE_PLIST "${CMAKE_CURRENT_SOURCE_DIR}/cmake/Info.plist")
+    set(CPACK_BUNDLE_ICON "${CMAKE_CURRENT_SOURCE_DIR}/cmake/Info.plist")
+    set(CPACK_PACKAGE_ICON "${CMAKE_CURRENT_SOURCE_DIR}/cmake/CustomVolumeIcon.icns")
+endif()
+set(CPACK_RESOURCE_FILE_LICENSE "${CMAKE_CURRENT_SOURCE_DIR}/License")
+set(CPACK_PACKAGE_VERSION_MAJOR "${${PROJECT_NAME}_VERSION_MAJOR}")
+set(CPACK_PACKAGE_VERSION_MINOR "${${PROJECT_NAME}_VERSION_MINOR}")
+set(CPACK_RESOURCE_FILE_README "${CMAKE_CURRENT_SOURCE_DIR}/cmake/README.txt")
+set(CPACK_RESOURCE_FILE_WELCOME "${CMAKE_CURRENT_SOURCE_DIR}/cmake/Welcome.txt")
+set(CPACK_PACKAGE_CONTACT "https://github.com/attractivechaos/${PROJECT_NAME}")
+
+include(CPack)
+include(CMakePackageConfigHelpers)
+
+# generate the config file that is includes the exports
+configure_package_config_file(
+        "${CMAKE_CURRENT_SOURCE_DIR}/cmake/Config.cmake.in"
+        "${CMAKE_CURRENT_BINARY_DIR}/${PROJECT_NAME}Config.cmake"
+        INSTALL_DESTINATION "lib/cmake/example"
+        NO_SET_AND_CHECK_MACRO
+        NO_CHECK_REQUIRED_COMPONENTS_MACRO
+)
+
+# generate the version file for the config file
+write_basic_package_version_file(
+        "${CMAKE_CURRENT_BINARY_DIR}/${PROJECT_NAME}ConfigVersion.cmake"
+        VERSION "${${PROJECT_NAME}_VERSION_MAJOR}.${${PROJECT_NAME}_VERSION_MINOR}"
+        COMPATIBILITY AnyNewerVersion
+)
diff --git a/cmake/BundleIcon.icns b/cmake/BundleIcon.icns
diff --git a/cmake/CTestConfig.cmake b/cmake/CTestConfig.cmake
@@ -0,0 +1,7 @@
+set(CTEST_PROJECT_NAME "kissat")
+set(CTEST_NIGHTLY_START_TIME "00:00:00 EST")
+
+set(CTEST_DROP_METHOD "http")
+set(CTEST_DROP_SITE "my.cdash.org")
+set(CTEST_DROP_LOCATION "/submit.php?project=kissat")
+set(CTEST_DROP_SITE_CDASH TRUE)
diff --git a/cmake/Config.cmake.in b/cmake/Config.cmake.in
@@ -0,0 +1,4 @@
+
+@PACKAGE_INIT@
+
+include ( "${CMAKE_CURRENT_LIST_DIR}/libkissatTargets.cmake" )
diff --git a/cmake/CustomVolumeIcon.icns b/cmake/CustomVolumeIcon.icns
diff --git a/cmake/Info.plist b/cmake/Info.plist
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
+<plist version="1.0">
+	<dict>
+		<key>CFBundleExecutable</key>
+		<string>BundleGeneratorTest</string>
+		<key>CFBundleIconFile</key>
+		<string>BundleGeneratorTest.icns</string>
+		<key>CFBundleInfoDictionaryVersion</key>
+		<string>6.0</string>
+		<key>CFBundlePackageType</key>
+		<string>APPL</string>
+	</dict>
+</plist>
diff --git a/cmake/MultiCPackConfig.cmake b/cmake/MultiCPackConfig.cmake
@@ -0,0 +1,6 @@
+include("release/CPackConfig.cmake")
+
+set(CPACK_INSTALL_CMAKE_PROJECTS
+        "debug;Kann;ALL;/"
+        "release;Kann;ALL;/"
+)
diff --git a/cmake/README.txt b/cmake/README.txt
@@ -0,0 +1 @@
+Kissat is a "keep it simple and clean bare metal SAT solver" written in C.
diff --git a/cmake/Welcome.txt b/cmake/Welcome.txt
@@ -0,0 +1 @@
+Kissat is a "keep it simple and clean bare metal SAT solver" written in C.
diff --git a/cmake/config.h.in b/cmake/config.h.in
@@ -0,0 +1,9 @@
+#ifndef kissat_CONFIG_H
+#define kissat_CONFIG_H
+
+#define kissat_VERSION_MAJOR @kissat_VERSION_MAJOR@
+#define kissat_VERSION_MINOR @kissat_VERSION_MINOR@
+#define kissat_VERSION_PATCH @kissat_VERSION_PATCH@
+#define kissat_VERSION "@kissat_VERSION@"
+
+#endif /* kissat_CONFIG_H */
-Original file line number
+Diff line change
@@ Expand Up / @@ -10,3 +10,5 @@ tissat @@
     *.gcov
     gmon.out
     *~
+    *build*
+    .idea
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,4 @@

		@PACKAGE_INIT@

		include ( "${CMAKE_CURRENT_LIST_DIR}/libkissatTargets.cmake" )
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		Kissat is a "keep it simple and clean bare metal SAT solver" written in C.