Add vcpkg support (#62)

* Initial plan

* Add vcpkg support with port files and CMake install targets

Co-authored-by: hzhangxyz <[email protected]>

* Add clarifying comments to portfile.cmake about placeholder values

Co-authored-by: hzhangxyz <[email protected]>

* Simplify CMakeLists.txt: remove LTO option and config template file

Co-authored-by: hzhangxyz <[email protected]>

* Update portfile.cmake: remove unused options and fixup call

Co-authored-by: hzhangxyz <[email protected]>

* Update vcpkg.json.

* Update portfile.cmake.

* Update CMakeLists.txt.

* Update vcpkg.json.

* Update portfile.cmake.

* Update vcpkg.json.

---------

Co-authored-by: copilot-swe-agent[bot] <[email protected]>
Co-authored-by: hzhangxyz <[email protected]>
Co-authored-by: Hao Zhang <[email protected]>

Author: Copilot

CMakeLists.txt

@@ -2,12 +2,26 @@ cmake_minimum_required(VERSION 3.30)
 project(ds LANGUAGES CXX)
 set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
 
-file(GLOB_RECURSE SOURCES "${CMAKE_CURRENT_SOURCE_DIR}/src/*.cc")
-add_library(${PROJECT_NAME} STATIC ${SOURCES})
-target_include_directories(${PROJECT_NAME} PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/include)
+include(GNUInstallDirs)
+file(GLOB_RECURSE SOURCES CONFIGURE_DEPENDS "${CMAKE_CURRENT_SOURCE_DIR}/src/*.cc")
+add_library(${PROJECT_NAME} STATIC)
+target_sources(${PROJECT_NAME} PRIVATE ${SOURCES})
+target_include_directories(${PROJECT_NAME} PUBLIC $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include> $<INSTALL_INTERFACE:${CMAKE_INSTALL_INCLUDEDIR}>)
 target_compile_features(${PROJECT_NAME} PUBLIC cxx_std_20)
 set_property(TARGET ${PROJECT_NAME} PROPERTY INTERPROCEDURAL_OPTIMIZATION True)
 
+install(TARGETS ${PROJECT_NAME}
+  EXPORT ${PROJECT_NAME}-targets
+  ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR}
+  LIBRARY DESTINATION ${CMAKE_INSTALL_LIBDIR}
+  RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR})
+install(DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/include/
+  DESTINATION ${CMAKE_INSTALL_INCLUDEDIR})
+install(EXPORT ${PROJECT_NAME}-targets
+  FILE ${PROJECT_NAME}-config.cmake
+  NAMESPACE ${PROJECT_NAME}::
+  DESTINATION ${CMAKE_INSTALL_LIBDIR}/cmake/${PROJECT_NAME})
+
 file(GLOB EXECUTABLE_SOURCES "${CMAKE_CURRENT_SOURCE_DIR}/examples/*.cc")
 foreach(EXEC_FILE ${EXECUTABLE_SOURCES})
   get_filename_component(EXEC_NAME ${EXEC_FILE} NAME_WE)

ports/ds/portfile.cmake

@@ -0,0 +1,19 @@
+vcpkg_from_github(
+    OUT_SOURCE_PATH SOURCE_PATH
+    REPO USTC-KnowledgeComputingLab/ds
+    REF main
+)
+
+vcpkg_cmake_configure(
+    SOURCE_PATH "${SOURCE_PATH}"
+)
+
+vcpkg_cmake_build()
+
+vcpkg_cmake_install()
+
+vcpkg_install_copyright(FILE_LIST "${SOURCE_PATH}/LICENSE.md")
+
+vcpkg_cmake_config_fixup(PACKAGE_NAME ds CONFIG_PATH lib/cmake/ds)
+
+file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/include")

ports/ds/vcpkg.json

@@ -0,0 +1,8 @@
+{
+    "name": "ds",
+    "version-string": "0.0.0",
+    "description": "A deductive system",
+    "homepage": "https://github.com/USTC-KnowledgeComputingLab/ds",
+    "license": "AGPL-3.0-or-later",
+    "dependencies": []
+}