diff --git a/cad/PrusaSlicer/Makefile b/cad/PrusaSlicer/Makefile index 71e71c1dd171..1696b25ce15b 100644 --- a/cad/PrusaSlicer/Makefile +++ b/cad/PrusaSlicer/Makefile @@ -1,76 +1,76 @@ PORTNAME= PrusaSlicer DISTVERSIONPREFIX=version_ DISTVERSION= 2.9.4 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= cad DIST_SUBDIR= PrusaSlicer MAINTAINER= teodorsigaev@gmail.com COMMENT= Slicing application for 3D printers WWW= https://www.prusa3d.com/prusaslicer/ LICENSE= AGPLv3 LICENSE_FILE= ${WRKSRC}/LICENSE BUILD_DEPENDS= cereal>=1.3.0.10:devel/cereal \ cgal>=5.0.2:math/cgal \ opencascade>=7.7.0:cad/opencascade \ libbgcode>=0.2.0_1:cad/libbgcode \ hidapi>=0.14.0:comms/hidapi \ nlohmann-json>=3.12:devel/nlohmann-json LIB_DEPENDS+= libbgcode_convert.so:cad/libbgcode \ libbgcode_binarize.so:cad/libbgcode \ libbgcode_core.so:cad/libbgcode \ libtbb.so:devel/onetbb \ libboost_log.so:devel/boost-libs \ libImath.so:math/Imath \ libnlopt.so:math/nlopt \ libqhull_r.so:math/qhull \ libcurl.so:ftp/curl \ libexpat.so:textproc/expat2 \ libiconv.so:converters/libiconv \ libopenvdb.so:misc/openvdb \ libgmp.so:math/gmp \ libmpfr.so:math/mpfr \ libdbus-1.so:devel/dbus \ libpng.so:graphics/png \ libTKXSDRAWSTEP.so:cad/opencascade \ libtiff.so:graphics/tiff \ libfontconfig.so:x11-fonts/fontconfig \ libfreeimage.so:graphics/freeimage \ libfreetype.so:print/freetype2 \ libavcodec.so:multimedia/ffmpeg4 \ libharfbuzz.so:print/harfbuzz \ libwayland-egl.so:graphics/wayland \ libwebkit2gtk-4.1.so:www/webkit2-gtk@41 \ libsoup-3.0.so:devel/libsoup3 \ libjavascriptcoregtk-4.1.so:www/webkit2-gtk@41 \ libz3.so:math/z3 USES= cmake cpe desktop-file-utils eigen:3 gettext gl gnome iconv \ jpeg pkgconfig xorg ssl tcl tk CPE_VENDOR= prusa3d USE_GITHUB= yes GH_ACCOUNT= prusa3d USE_GL= gl glu glew USE_GNOME= gtk30 pango atk cairo gdkpixbuf glib20 USE_WX= 3.2 USE_XORG= x11 CMAKE_ARGS+= -DwxWidgets_CONFIG_EXECUTABLE="${WX_CONFIG}" \ -DSLIC3R_GTK=3 \ -DSLIC3R_FHS=1 \ -DSLIC3R_PCH=OFF \ -DSLIC3R_BUILD_TESTS=OFF \ -Wno-dev PORTDATA= * post-patch: ${MKDIR} ${WRKSRC}/bundled_deps/hidapi/libusb ${CP} ${FILESDIR}/hid.c ${WRKSRC}/bundled_deps/hidapi/libusb/hid.c @${REINPLACE_CMD} -e '/_boost_/s|system;||' \ ${WRKSRC}/CMakeLists.txt .include diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index 6ff394bc5c6c..b8d3d8b1378e 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -1,51 +1,51 @@ PORTNAME= z3-solver DISTVERSIONPREFIX= z3- DISTVERSION= 4.14.1 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} MAINTAINER= yuri@FreeBSD.org COMMENT= Python binding for Z3 Theorem Prover WWW= https://github.com/Z3Prover/z3 LICENSE= MIT LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt LIB_DEPENDS= libz3.so:math/z3 USES= cmake python USE_PYTHON= flavors autoplist USE_GITHUB= yes GH_ACCOUNT= Z3Prover GH_PROJECT= z3 WRKSRC_SUBDIR= src/api/python WRKSRC_top= ${WRKSRC}/../../.. TEST_ENV= ${MAKE_ENV} PYTHONPATH=${STAGEDIR}${PYTHONPREFIX_SITELIBDIR} NO_ARCH= yes post-patch: @${RLN} ${WRKSRC_top}/scripts ${WRKSRC}/scripts @${RLN} ${WRKSRC_top}/src/api ${WRKSRC}/api do-test: .for t in z3 z3num @cd ${WRKSRC_top} && \ ${CP} ${WRKSRC}/z3test.py . && \ ${ECHO} "==> running the test ${t}" && \ ${SETENV} ${TEST_ENV} ${PYTHON_CMD} z3test.py ${t} && \ ${ECHO} "... test ${t} succeeded" .endfor .for e in kinematics power-of-two dog-cat-mouse sudoku eight-queens @cd ${WRKSRC}/../../.. && \ ${ECHO} "==> running the example ${e}" && \ ${SETENV} ${TEST_ENV} ${PYTHON_CMD} ${FILESDIR}/example-${e}.py && \ ${ECHO} "... example ${e} succeeded" @${ECHO} "All tests succeeded." .endfor .include diff --git a/math/vampire/Makefile b/math/vampire/Makefile index bd6a6f5b6a6e..97539b49239e 100644 --- a/math/vampire/Makefile +++ b/math/vampire/Makefile @@ -1,37 +1,37 @@ PORTNAME= vampire DISTVERSIONPREFIX= v DISTVERSION= 4.9casc2024 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= Automatic theorem prover WWW= https://vprover.github.io/ LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/LICENCE BROKEN_armv7= error: static_assert failed due to requirement 'sizeof(void *) == 8' BROKEN_i386= error: static_assert failed due to requirement 'sizeof(void *) == 8' BROKEN_powerpc= error: static_assert failed due to requirement 'sizeof(void *) == 8' LIB_DEPENDS= libz3.so:math/z3 USES= cmake compiler:c++17-lang USE_GITHUB= yes GH_ACCOUNT= vprover CMAKE_ARGS= -DCMAKE_BUILD_HOL=On # code is broken w/out this CMAKE_ARGS+= -DZ3_DIR=${WRKSRC}/z3 LDFLAGS+= -lexecinfo PLIST_FILES= bin/${PORTNAME} PORTSCOUT= limit:^.*[1-9]\.[1-9].*$$ # prevent tags like sledgehammerScheds do-install: ${INSTALL_PROGRAM} ${BUILD_WRKSRC}/bin/${PORTNAME}* ${STAGEDIR}${PREFIX}/bin/${PORTNAME} .include diff --git a/math/z3/Makefile b/math/z3/Makefile index 9b843725f3bc..5365506065d4 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,30 +1,30 @@ PORTNAME= z3 -DISTVERSION= 4.15.8.0 +DISTVERSION= 4.16.0.0 CATEGORIES= math MASTER_SITES= https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/ DISTNAME= ${PORTNAME}_solver-${DISTVERSION} MAINTAINER= arrowd@FreeBSD.org COMMENT= Z3 Theorem Prover WWW= https://z3prover.github.io/ \ https://github.com/Z3Prover/z3/ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt USES= cmake compiler:c++20-lang localbase:ldflags CMAKE_ARGS= -DCMAKE_INSTALL_PKGCONFIGDIR=${PREFIX}/libdata/pkgconfig CMAKE_OFF= Z3_ENABLE_EXAMPLE_TARGETS WRKSRC_SUBDIR= core PLIST_SUB= SOVERSION=${DISTVERSION} OPTIONS_DEFINE= GMP OPTIONS_SUB= yes GMP_LIB_DEPENDS= libgmp.so:math/gmp GMP_CMAKE_BOOL= Z3_USE_LIB_GMP .include diff --git a/math/z3/distinfo b/math/z3/distinfo index 8b1c66bc8f9a..81d71c7503cf 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1771308833 -SHA256 (z3_solver-4.15.8.0.tar.gz) = f15aa2ff4c2ddc40aea1dc6a4d247ca68e0cf6c06e318a820ca049d074f7c03d -SIZE (z3_solver-4.15.8.0.tar.gz) = 5073041 +TIMESTAMP = 1771516821 +SHA256 (z3_solver-4.16.0.0.tar.gz) = 263d9ad668966e832c2b246ba0389298a599637793da2dc01cc5e4ef4b0b6c78 +SIZE (z3_solver-4.16.0.0.tar.gz) = 5098891 diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist index c50928af5df1..23294427a4e2 100644 --- a/math/z3/pkg-plist +++ b/math/z3/pkg-plist @@ -1,23 +1,23 @@ bin/z3 include/z3++.h include/z3.h include/z3_algebraic.h include/z3_api.h include/z3_ast_containers.h include/z3_fixedpoint.h include/z3_fpa.h include/z3_macros.h include/z3_optimization.h include/z3_polynomial.h include/z3_rcf.h include/z3_spacer.h include/z3_v1.h include/z3_version.h lib/cmake/z3/Z3Config.cmake lib/cmake/z3/Z3ConfigVersion.cmake lib/cmake/z3/Z3Targets-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/z3/Z3Targets.cmake lib/libz3.so -lib/libz3.so.4.15 +lib/libz3.so.4.16 lib/libz3.so.%%SOVERSION%% libdata/pkgconfig/z3.pc diff --git a/security/klee/Makefile b/security/klee/Makefile index 89e35f67e665..78bc2b129e04 100644 --- a/security/klee/Makefile +++ b/security/klee/Makefile @@ -1,55 +1,56 @@ PORTNAME= klee DISTVERSIONPREFIX= v DISTVERSION= 3.2 +PORTREVISION= 1 CATEGORIES= security devel MAINTAINER= arrowd@FreeBSD.org COMMENT= Symbolic virtual machine built on top of LLVM WWW= https://klee.github.io/ LICENSE= NCSA LICENSE_FILE= ${WRKSRC}/LICENSE.TXT NOT_FOR_ARCHS= i386 powerpc RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR} USES= cmake compiler:c++14-lang llvm:min=13,max=16,build,run,noexport localbase \ pkgconfig python:run shebangfix sqlite USE_GITHUB= yes SHEBANG_FILES= tools/klee-stats/klee-stats tools/ktest-tool/ktest-tool tools/klee-zesti/klee-zesti USE_LDCONFIG= yes CMAKE_OFF= ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS CMAKE_ARGS= -DLLVM_DIR=${LLVM_PREFIX}/lib/cmake/llvm OPTIONS_DEFINE= TCMALLOC OPTIONS_DEFAULT= TCMALLOC Z3 STP OPTIONS_MULTI= BACKEND OPTIONS_MULTI_BACKEND= Z3 STP TCMALLOC_DESC= Use tcmalloc library for memory management TCMALLOC_CMAKE_BOOL= ENABLE_TCMALLOC TCMALLOC_LIB_DEPENDS= libtcmalloc.so:devel/google-perftools Z3_DESC= Enable Z3 SMT solver Z3_CMAKE_BOOL= ENABLE_SOLVER_Z3 Z3_BUILD_DEPENDS= z3:math/z3 Z3_RUN_DEPENDS= z3:math/z3 STP_DESC= Enable STP SMT solver STP_CMAKE_BOOL= ENABLE_SOLVER_STP STP_LIB_DEPENDS= libstp.so:math/stp \ libcryptominisat5.so:math/cryptominisat .include .if ${ARCH} == powerpc64le || ${ARCH} == aarch64 PLIST_SUB= 32BIT="@comment " \ 64BIT="" .else PLIST_SUB= 32BIT="" \ 64BIT="" .endif .include diff --git a/security/py-angr/Makefile b/security/py-angr/Makefile index 2cb0f358578f..e5ee1857031b 100644 --- a/security/py-angr/Makefile +++ b/security/py-angr/Makefile @@ -1,91 +1,91 @@ PORTNAME= angr DISTVERSIONPREFIX= v DISTVERSION= ${ANGR_VERSION} -PORTREVISION= 5 +PORTREVISION= 6 CATEGORIES= security devel python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} MAINTAINER= ports@FreeBSD.org COMMENT= Multi-architecture binary analysis toolkit WWW= https://github.com/angr/angr LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/LICENSE BUILD_DEPENDS= ${PYTHON_PKGNAMEPREFIX}pyvex>=${ANGR_VERSION}:security/py-pyvex@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}unicorn>0:emulators/py-unicorn@${PY_FLAVOR} LIB_DEPENDS= libunicorn.so:emulators/unicorn \ libz3.so:math/z3 RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}ailment>=${ANGR_VERSION}:security/py-ailment@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}cachetools>=0:devel/py-cachetools@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}capstone>=3.0.5:devel/py-capstone@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}cffi>=1.14.0:devel/py-cffi@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}claripy>=${ANGR_VERSION}:math/py-claripy@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}cle>=${ANGR_VERSION}:devel/py-cle@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}cppheaderparser>=0:devel/py-cppheaderparser@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}dpkt>=0:net/py-dpkt@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}gitpython>=0:devel/py-gitpython@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}itanium_demangler>=0:devel/py-itanium_demangler@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}mulpyplexer>=0:devel/py-mulpyplexer@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}networkx>=2.0:math/py-networkx@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}progressbar2>=0:misc/py-progressbar2@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}protobuf>=3.12.0:devel/py-protobuf@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}psutil>=0:sysutils/py-psutil@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}pycparser>2.18:devel/py-pycparser@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}pyvex>=${ANGR_VERSION}:security/py-pyvex@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}rpyc>0:devel/py-RPyC@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}sortedcontainers>=0:devel/py-sortedcontainers@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}unicorn>0:emulators/py-unicorn@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}wheel>=0:devel/py-wheel@${PY_FLAVOR} TEST_DEPENDS= ${PYTHON_PKGNAMEPREFIX}keystone-engine>=0:devel/py-keystone-engine@${PY_FLAVOR} \ ${PYTHON_PKGNAMEPREFIX}nose>=0:devel/py-nose@${PY_FLAVOR} USES= angr:binaries gmake localbase:ldflags python USE_GITHUB= yes USE_PYTHON= autoplist distutils TEST_ENV= ${MAKE_ENV} \ NOSE_EXCLUDE="${_NOSE_EXCLUDE}" # Problem: the following tests require PySoot: https://github.com/angr/pysoot _EXCLUDED_TESTS+= test_simple1 _EXCLUDED_TESTS+= test_simple2 _EXCLUDED_TESTS+= test_fauxware _EXCLUDED_TESTS+= test_cmd_line_args _EXCLUDED_TESTS+= test_jni_version_information _EXCLUDED_TESTS+= test_jni_global_and_local_refs _EXCLUDED_TESTS+= test_jni_object_operations _EXCLUDED_TESTS+= test_jni_string_operations _EXCLUDED_TESTS+= test_jni_field_access _EXCLUDED_TESTS+= test_jni_method_calls _EXCLUDED_TESTS+= test_jni_primitive_datatypes _EXCLUDED_TESTS+= test_jni_object_arrays _EXCLUDED_TESTS+= test_jni_array_operations _EXCLUDED_TESTS+= test_method_calls _EXCLUDED_TESTS+= test_array_operations _EXCLUDED_TESTS+= test_multiarray_operations _EXCLUDED_TESTS+= test_loading _EXCLUDED_TESTS+= test_toggling_of_simstate # Problem: "TypeError: %d format: a number is required, not NoneType" _EXCLUDED_TESTS+= test_fastmem.* # Problem: "angr.errors.AngrIncongruencyError: Different constraints!" _EXCLUDED_TESTS+= test_similarity_fauxware # Problem: "IndexError: list index out of range" _EXCLUDED_TESTS+= test_self_modifying_code # Problem: "Exception: Not a valid binary file: '/bin/false'" _EXCLUDED_TESTS+= test_project # Problem: the test is hanging _EXCLUDED_TESTS+= test_veritesting_a # There are far more tests which are failing at the moment... # Create a regular expression out of the excluded tests, # but first remove double spaces. _NOSE_EXCLUDE= (${_EXCLUDED_TESTS:S, , ,g:S, ,|,gW}) post-install: @${STRIP_CMD} ${STAGEDIR}${PYTHON_SITELIBDIR}/${PORTNAME}/lib/angr_native*.so do-test: @(cd ${WRKSRC}/tests && ${SETENV} ${TEST_ENV} nosetests-${PYTHON_VER} -v) .include diff --git a/sysutils/triton/Makefile b/sysutils/triton/Makefile index 0198246bdbf3..c67dcb8ee60b 100644 --- a/sysutils/triton/Makefile +++ b/sysutils/triton/Makefile @@ -1,47 +1,47 @@ PORTNAME= triton DISTVERSIONPREFIX= v DISTVERSION= 0.9-597 -PORTREVISION= 1 +PORTREVISION= 2 DISTVERSIONSUFFIX= -gafb28564 CATEGORIES= sysutils MAINTAINER= yuri@FreeBSD.org COMMENT= Dynamic Binary Analysis (DBA) framework WWW= https://triton.quarkslab.com/ LICENSE= APACHE20 LICENSE_FILE= ${WRKSRC}/LICENSE.txt BROKEN_armv7= src/libtriton/includes/triton/tritonToZ3.hpp:43:17: error: no type named '__uint' in namespace 'triton', see https://github.com/JonathanSalwan/Triton/issues/1214 BROKEN_i386= compilation fails: conflict of 'namespace i386' and macro '#define i386 1' BROKEN_riscv64= src/libtriton/includes/triton/tritonToZ3.hpp:43:17: error: no type named '__uint' in namespace 'triton', see https://github.com/JonathanSalwan/Triton/issues/1214 BUILD_DEPENDS= boost-libs>0:devel/boost-libs LIB_DEPENDS= libcapstone.so:devel/capstone4 \ libz3.so:math/z3 USES= cmake:testing compiler:c++17-lang shebangfix USE_LDCONFIG= yes SHEBANG_GLOB= *.py USE_GITHUB= yes GH_ACCOUNT= JonathanSalwan GH_PROJECT= Triton CMAKE_TESTING_ON= ENABLE_TEST OPTIONS_DEFINE= PYTHON OPTIONS_DEFAULT= PYTHON OPTIONS_SUB= yes PYTHON_USES= python PYTHON_USES_OFF= python:build PYTHON_CMAKE_BOOL= PYTHON_BINDINGS PYTHON_CMAKE_ON= -DPYTHON_EXECUTABLE=${PYTHON_CMD} PYTHON_TEST_DEPENDS= ${PYTHON_PKGNAMEPREFIX}lief>0:devel/py-lief@${PY_FLAVOR} post-install-PYTHON-on: @${STRIP_CMD} ${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}/triton.so .include