aboutsummaryrefslogtreecommitdiff
path: root/vcpkg/ports/arb
diff options
context:
space:
mode:
authorEthan Morgan <ethan@gweithio.com>2026-02-14 16:44:06 +0000
committerEthan Morgan <ethan@gweithio.com>2026-02-14 16:44:06 +0000
commit54409423f767d8b1cf30cb7d0efca6b4ca138823 (patch)
treed915ac7828703ce4b963efdd9728a1777ba18c1e /vcpkg/ports/arb
move to own git serverHEADmaster
Diffstat (limited to 'vcpkg/ports/arb')
-rw-r--r--vcpkg/ports/arb/fix-build-error.patch14
-rw-r--r--vcpkg/ports/arb/portfile.cmake25
-rw-r--r--vcpkg/ports/arb/vcpkg.json20
3 files changed, 59 insertions, 0 deletions
diff --git a/vcpkg/ports/arb/fix-build-error.patch b/vcpkg/ports/arb/fix-build-error.patch
new file mode 100644
index 0000000..fbebf09
--- /dev/null
+++ b/vcpkg/ports/arb/fix-build-error.patch
@@ -0,0 +1,14 @@
+diff --git a/CMakeLists.txt b/CMakeLists.txt
+index d6136a8..9e260eb 100644
+--- a/CMakeLists.txt
++++ b/CMakeLists.txt
+@@ -76,7 +76,8 @@ set (pthreads_header pthread.h)
+ set (flint2_header flint/flint.h)
+
+ if(MSVC)
+- set(DEPS ${DEPS} pthreads)
++ find_package(pthreads REQUIRED)
++ set(PTHREADS_LIBRARIES PThreads4W::PThreads4W)
+ else()
+ option(CMAKE_THREAD_PREFER_PTHREAD "Prefer pthreads" yes)
+ option(THREADS_PREFER_PTHREAD_FLAG "Prefer -pthread flag" yes)
diff --git a/vcpkg/ports/arb/portfile.cmake b/vcpkg/ports/arb/portfile.cmake
new file mode 100644
index 0000000..6287973
--- /dev/null
+++ b/vcpkg/ports/arb/portfile.cmake
@@ -0,0 +1,25 @@
+vcpkg_from_github(
+ OUT_SOURCE_PATH SOURCE_PATH
+ REPO fredrik-johansson/arb
+ REF e3a633dcc1adafeb7ca9648669f2b1fa2f433ee1 # 2.21.1
+ SHA512 af864ea4f849d12dbaadec8cda7e6b1a7d349b7aa776966ec7f61ad7a5186dc3f280512218bcff28901e2d55d6c976525746e6de13925a9942ed947ac2253af6
+ HEAD_REF master
+ PATCHES fix-build-error.patch
+)
+
+string(COMPARE EQUAL "${VCPKG_CRT_LINKAGE}" "static" MSVC_USE_MT)
+
+vcpkg_cmake_configure(
+ SOURCE_PATH "${SOURCE_PATH}"
+ OPTIONS
+ -DMSVC_USE_MT=${MSVC_USE_MT}
+)
+
+vcpkg_cmake_install()
+vcpkg_copy_pdbs()
+
+# Remove duplicate headers
+file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/include")
+
+# Handle copyright
+file(INSTALL "${SOURCE_PATH}/LICENSE" DESTINATION "${CURRENT_PACKAGES_DIR}/share/${PORT}" RENAME copyright) \ No newline at end of file
diff --git a/vcpkg/ports/arb/vcpkg.json b/vcpkg/ports/arb/vcpkg.json
new file mode 100644
index 0000000..35e454c
--- /dev/null
+++ b/vcpkg/ports/arb/vcpkg.json
@@ -0,0 +1,20 @@
+{
+ "name": "arb",
+ "version": "2.21.1",
+ "port-version": 2,
+ "description": "a C library for arbitrary-precision interval arithmetic",
+ "homepage": "https://github.com/fredrik-johansson/arb",
+ "license": "LGPL-2.1",
+ "supports": "!xbox",
+ "dependencies": [
+ "flint",
+ {
+ "name": "pthreads",
+ "platform": "windows"
+ },
+ {
+ "name": "vcpkg-cmake",
+ "host": true
+ }
+ ]
+}