diff options
| author | Ethan Morgan <ethan@gweithio.com> | 2026-02-14 16:44:06 +0000 |
|---|---|---|
| committer | Ethan Morgan <ethan@gweithio.com> | 2026-02-14 16:44:06 +0000 |
| commit | 54409423f767d8b1cf30cb7d0efca6b4ca138823 (patch) | |
| tree | d915ac7828703ce4b963efdd9728a1777ba18c1e /vcpkg/ports/casadi/portfile.cmake | |
Diffstat (limited to 'vcpkg/ports/casadi/portfile.cmake')
| -rw-r--r-- | vcpkg/ports/casadi/portfile.cmake | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/vcpkg/ports/casadi/portfile.cmake b/vcpkg/ports/casadi/portfile.cmake new file mode 100644 index 0000000..7151c50 --- /dev/null +++ b/vcpkg/ports/casadi/portfile.cmake @@ -0,0 +1,39 @@ +# Currently no upstream support for static libraries
+vcpkg_check_linkage(ONLY_DYNAMIC_LIBRARY)
+
+vcpkg_from_github(
+ OUT_SOURCE_PATH SOURCE_PATH
+ REPO casadi/casadi
+ REF "${VERSION}"
+ SHA512 2c95368281f0bda385c6c451e361c168589f13aa66af6bc6fadf01f899bcd6c785ea7da3dee0fb5835559e58982e499182a4d244af3ea208ac05f672ea99cfd1
+ HEAD_REF main
+ PATCHES relocatable.patch disable_fortran.patch namespace.cmake
+)
+
+vcpkg_cmake_configure(
+ SOURCE_PATH "${SOURCE_PATH}"
+ OPTIONS
+ -DWITH_SELFCONTAINED=OFF
+ -DWITH_TINYXML=OFF
+ -DWITH_BUILD_TINYXML=OFF
+ -DWITH_QPOASES=OFF
+ -DWITH_SUNDIALS=OFF
+ -DWITH_CSPARSE=OFF
+ -DLIB_PREFIX:PATH=lib
+ -DBIN_PREFIX:PATH=bin
+ -DINCLUDE_PREFIX:PATH=include
+ -DCMAKE_PREFIX:PATH=share/${PORT}
+)
+
+vcpkg_cmake_install()
+
+vcpkg_cmake_config_fixup()
+
+vcpkg_install_copyright(FILE_LIST "${SOURCE_PATH}/LICENSE.txt")
+
+vcpkg_fixup_pkgconfig()
+
+configure_file("${CMAKE_CURRENT_LIST_DIR}/usage" "${CURRENT_PACKAGES_DIR}/share/${PORT}/usage" COPYONLY)
+
+file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/include")
+vcpkg_copy_tools(TOOL_NAMES casadi-cli AUTO_CLEAN)
|