sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-04-28 01:26:39 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/bitwuzla: update 0.5.0 → 0.7.0

Browse source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2024-12-13 01:01:23 -08:00
parent 77a2bab52f
commit 1820542ed7
3 changed files with 13 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
math/bitwuzla/Makefile
View file

@ -1,5 +1,5 @@
PORTNAME= bitwuzla
DISTVERSION= 0.5.0
DISTVERSION= 0.7.0
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
@ -24,6 +24,8 @@ LDFLAGS+= -lcadical
MESON_ARGS= -Ddefault_library=shared \
-Dtesting=disabled
BINARY_ALIAS= git=false
do-test: # 1 test hangs, see https://github.com/bitwuzla/bitwuzla/issues/117
@cd ${WRKSRC} && \
${SETENV} ${CONFIGURE_ENV} ${CONFIGURE_CMD} ${CONFIGURE_ARGS} -Dtesting=enabled && \

8
math/bitwuzla/distinfo
View file

@ -1,5 +1,3 @@
TIMESTAMP = 1717606902
SHA256 (rel-1.7.4.tar.gz) = 866c8a1332ff1ad5dc7ad403bdef3164420f3f947816b5c9509aad1d18ada7a1
SIZE (rel-1.7.4.tar.gz) = 647830
SHA256 (bitwuzla-bitwuzla-0.5.0_GH0.tar.gz) = a477a5973883a8c174ffca8174cd7493a4aae6c95c72397628d395c32226392b
SIZE (bitwuzla-bitwuzla-0.5.0_GH0.tar.gz) = 2010240
TIMESTAMP = 1734064151
SHA256 (bitwuzla-bitwuzla-0.7.0_GH0.tar.gz) = 4a388aa935fab5fe3e61494f94c1110653ac11e07f1cf29593d6fdba30238afa
SIZE (bitwuzla-bitwuzla-0.7.0_GH0.tar.gz) = 2071988

14
math/bitwuzla/files/patch-src_meson.build
View file

@ -1,4 +1,4 @@
--- src/meson.build.orig 2024-05-29 23:47:56 UTC
--- src/meson.build.orig 2024-12-13 03:01:05 UTC
+++ src/meson.build
@@ -15,13 +15,13 @@ gmp_dep = dependency('gmp',
# Subproject dependencies
@ -19,17 +19,17 @@
+# cadical_dep = dependency('cadical', required: true)
+#endif
# Kissat does not provide pkg-config to find dependency
kissat_dep = cpp_compiler.find_library('kissat',
@@ -34,9 +34,9 @@ endif
cms_dep = dependency('cryptominisat5',
version: '5.11.21',
@@ -39,9 +39,9 @@ endif
# Using system include type suppresses compile warnings originating from the
# symfpu headers
-symfpu_dep = dependency('symfpu', include_type: 'system', required: true)
+#symfpu_dep = dependency('symfpu', include_type: 'system', required: true)
-dependencies = [symfpu_dep, cadical_dep, kissat_dep, gmp_dep]
+dependencies = [kissat_dep, gmp_dep]
-dependencies = [symfpu_dep, cadical_dep, cms_dep, kissat_dep, gmp_dep]
+dependencies = [cms_dep, kissat_dep, gmp_dep]
cpp_args = []
if kissat_dep.found()
if cms_dep.found()