diff --git a/cad/PrusaSlicer/Makefile b/cad/PrusaSlicer/Makefile index b9336618cecf..8af495340343 100644 --- a/cad/PrusaSlicer/Makefile +++ b/cad/PrusaSlicer/Makefile @@ -1,71 +1,71 @@ PORTNAME= PrusaSlicer DISTVERSIONPREFIX=version_ DISTVERSION= 2.9.2 -PORTREVISION= 5 +PORTREVISION= 6 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 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 .include diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index c1f93f9bc0ff..6ff394bc5c6c 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -1,50 +1,51 @@ PORTNAME= z3-solver DISTVERSIONPREFIX= z3- DISTVERSION= 4.14.1 +PORTREVISION= 1 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 0e148e9c4baf..bd6a6f5b6a6e 100644 --- a/math/vampire/Makefile +++ b/math/vampire/Makefile @@ -1,36 +1,37 @@ PORTNAME= vampire DISTVERSIONPREFIX= v DISTVERSION= 4.9casc2024 +PORTREVISION= 1 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 63d368089c33..566e16cba61a 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,27 +1,27 @@ PORTNAME= z3 -DISTVERSION= 4.14.1.0 +DISTVERSION= 4.15.3.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://github.com/Z3Prover/z3 LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt USES= cmake compiler:c++20-lang localbase:ldflags -WRKSRC_SUBDIR= core - -CMAKE_OFF= Z3_ENABLE_EXAMPLE_TARGETS CMAKE_ARGS= -DCMAKE_INSTALL_PKGCONFIGDIR=${PREFIX}/libdata/pkgconfig +CMAKE_OFF= Z3_ENABLE_EXAMPLE_TARGETS + +WRKSRC_SUBDIR= core OPTIONS_DEFINE= GMP OPTIONS_SUB= yes -GMP_CMAKE_BOOL= Z3_USE_LIB_GMP 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 13cb429023d9..11399b5e4a29 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1742299618 -SHA256 (z3_solver-4.14.1.0.tar.gz) = ddc6981d83205cbe6000b8fa71f78da496bbaa635fadaf776b6d129b80e7b113 -SIZE (z3_solver-4.14.1.0.tar.gz) = 5028426 +TIMESTAMP = 1758463427 +SHA256 (z3_solver-4.15.3.0.tar.gz) = 78f69aebda5519bfd8af146a129f36cf4721a3c2667e80d9fe35cc9bb4d214a6 +SIZE (z3_solver-4.15.3.0.tar.gz) = 4985945 diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist index 31b2e987ef5e..1aa3d23cb8c4 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.14 -lib/libz3.so.4.14.1.0 +lib/libz3.so.4.15 +lib/libz3.so.4.15.3.0 libdata/pkgconfig/z3.pc diff --git a/security/py-angr/Makefile b/security/py-angr/Makefile index 7a3aace13fe1..2cb0f358578f 100644 --- a/security/py-angr/Makefile +++ b/security/py-angr/Makefile @@ -1,91 +1,91 @@ PORTNAME= angr DISTVERSIONPREFIX= v DISTVERSION= ${ANGR_VERSION} -PORTREVISION= 4 +PORTREVISION= 5 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 2744fbc43fc6..0198246bdbf3 100644 --- a/sysutils/triton/Makefile +++ b/sysutils/triton/Makefile @@ -1,46 +1,47 @@ PORTNAME= triton DISTVERSIONPREFIX= v DISTVERSION= 0.9-597 +PORTREVISION= 1 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