diff options
Diffstat (limited to 'ports/arb')
| -rw-r--r-- | ports/arb/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | ports/arb/CONTROL | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/ports/arb/CMakeLists.txt b/ports/arb/CMakeLists.txt index 1ec8ac1d6..300c2003b 100644 --- a/ports/arb/CMakeLists.txt +++ b/ports/arb/CMakeLists.txt @@ -5,7 +5,7 @@ project(arb C) set (DEPS mpir mpfr pthreads flint2 gettimeofday) set (mpir_lib gmp mpir) set (mpfr_lib mpfr) -set (pthreads_lib pthreads pthread) +set (pthreads_lib pthreads pthread pthreadVC2 pthreadVC3) set (flint2_lib ${LIBRARY_TYPE}_flint flint) set (gettimeofday_lib gettimeofday) diff --git a/ports/arb/CONTROL b/ports/arb/CONTROL index 28b6d316c..540eedaee 100644 --- a/ports/arb/CONTROL +++ b/ports/arb/CONTROL @@ -1,4 +1,4 @@ Source: arb
-Version: 2.11.1-1
+Version: 2.11.1-2
Description: a C library for arbitrary-precision interval arithmetic
Build-Depends: flint
|