diff --git a/math/lean/Makefile b/math/lean/Makefile index 95a6a9ab39b3..e9dfbd1c0a00 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -1,46 +1,45 @@ PORTNAME= lean DISTVERSIONPREFIX= v DISTVERSION= 3.51.1 CATEGORIES= math PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/ PATCHFILES= 5eecaa0b9c860858372a22ab242566671907c913.patch:-p2 MAINTAINER= yuri@FreeBSD.org COMMENT= Theorem prover WWW= https://leanprover-community.github.io/ LICENSE= APACHE20 LICENSE_FILE= ${WRKSRC}/../LICENSE BROKEN_aarch64= c++ crashes during link on arm64 on math/lean, see https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=266777 LIB_DEPENDS= libgmp.so:math/gmp USES= cmake:testing compiler:c++11-lang USE_GITHUB= yes GH_ACCOUNT= leanprover-community WRKSRC_SUBDIR= src CMAKE_OFF= BUILD_TESTING CMAKE_TESTING_ON= BUILD_TESTING OPTIONS_DEFINE= TCMALLOC THREADS OPTIONS_DEFAULT= TCMALLOC THREADS OPTIONS_EXCLUDE_powerpc= TCMALLOC -TCMALLOC_DESC= Use tcmalloc from google-perftools as memory allocator TCMALLOC_CMAKE_BOOL= TCMALLOC TCMALLOC_LIB_DEPENDS= libtcmalloc.so:devel/google-perftools THREADS_CMAKE_BOOL= MULTI_THREAD post-build: # workaround for https://github.com/leanprover-community/lean/issues/765 @cd ${WRKSRC}/../library && ${BUILD_WRKSRC}/shell/lean --make post-install: @${FIND} ${STAGEDIR}${PREFIX} -type d -empty -delete .include diff --git a/math/symengine/Makefile b/math/symengine/Makefile index 68498695babc..144c7371d845 100644 --- a/math/symengine/Makefile +++ b/math/symengine/Makefile @@ -1,88 +1,87 @@ PORTNAME= symengine DISTVERSIONPREFIX= v DISTVERSION= 0.10.1 PORTREVISION= 1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= Fast symbolic manipulation library, written in C++ WWW= https://symengine.org/ LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/LICENSE LIB_DEPENDS= libboost_serialization.so:devel/boost-libs \ libgmp.so:math/gmp \ libzstd.so:archivers/zstd USES= cmake compiler:c++14-lang llvm:min=15,max=15 USE_GITHUB= yes USE_LDCONFIG= yes CMAKE_ON= WITH_SYMENGINE_THREAD_SAFE BUILD_SHARED_LIBS BUILD_FOR_DISTRIBUTION CMAKE_OFF= BUILD_BENCHMARKS WITH_COTIRE OPTIONS_DEFINE= ARB ECM LLVM MPC TCMALLOC ASSERT OPTIONS_SINGLE= INTCLASS OPTIONS_SINGLE_INTCLASS= GMP GMPXX BOOSTMP FLINT PIRANHA OPTIONS_DEFAULT= ARB ECM LLVM MPC FLINT # FLINT choice is based on best performance, TCMALLOC is broken due to memory corruption issues, see https://github.com/symengine/symengine.py/issues/412 INTCLASS_DESC= Integer class, use integers from: ARB_DESC= Build with Arb (interval arithmetic library) ARB_CMAKE_BOOL= WITH_ARB ARB_LIB_DEPENDS= libarb.so:math/arb \ libflint.so:math/flint2 \ libmpfr.so:math/mpfr ECM_DESC= Build with ECM support (Elliptic Curve Method) ECM_CMAKE_BOOL= WITH_ECM ECM_LIB_DEPENDS= libecm.so:math/gmp-ecm LLVM_DESC= Build with LLVM LLVM_CMAKE_BOOL= WITH_LLVM LLVM_CMAKE_ON= -DLLVM_INCLUDE_DIRS:STRING=${LOCALBASE}/llvm${LLVM_VERSION}/include \ -DFREEBSD_LLVM_VERSION=${LLVM_VERSION} LLVM_BUILD_DEPENDS= llvm${LLVM_VERSION}>0:devel/llvm${LLVM_VERSION} MPC_DESC= Build with MPC MPC_CMAKE_BOOL= WITH_MPC MPC_LIB_DEPENDS= libmpc.so:math/mpc -TCMALLOC_DESC= Use tcmalloc from google-perftools (improves performance) TCMALLOC_CMAKE_BOOL= WITH_TCMALLOC TCMALLOC_LIB_DEPENDS= libtcmalloc.so:devel/google-perftools TCMALLOC_BROKEN= associated with a suspected memory corruption problem, see https://github.com/symengine/symengine.py/issues/412 ASSERT_CMAKE_BOOL= WITH_SYMENGINE_ASSERT GMP_DESC= gmp (supports arbitrary fp precision) GMP_CMAKE_ON= -DINTEGER_CLASS:STRING=gmp GMP_LIB_DEPENDS= libgmp.so:math/gmp \ libmpfr.so:math/mpfr GMPXX_DESC= gmpxx GMPXX_CMAKE_ON= -DINTEGER_CLASS:STRING=gmpxx GMPXX_LIB_DEPENDS= libgmp.so:math/gmp BOOSTMP_DESC= boostmp (no arbitrary fp precision) BOOSTMP_CMAKE_ON= -DINTEGER_CLASS:STRING=boostmp BOOSTMP_BUILD_DEPENDS= ${LOCALBASE}/include/boost/multiprecision/cpp_int.hpp:devel/boost-libs FLINT_DESC= flint (supports arbitrary fp precision, best performance) FLINT_CMAKE_ON= -DINTEGER_CLASS:STRING=flint FLINT_LIB_DEPENDS= libflint.so:math/flint2 \ libgmp.so:math/gmp \ libmpfr.so:math/mpfr PIRANHA_DESC= piranha PIRANHA_CMAKE_ON= -DINTEGER_CLASS:STRING=piranha PIRANHA_BUILD_DEPENDS= piranha>0:math/piranha do-test: # one test fails: https://github.com/symengine/symengine/issues/1697 @cd ${BUILD_WRKSRC} && \ ${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} ${CMAKE_ARGS} -DBUILD_TESTING:BOOL=ON ${CMAKE_SOURCE_PATH} && \ ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ${ALL_TARGET} && \ ${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} test .include diff --git a/security/tor-devel/Makefile b/security/tor-devel/Makefile index afe86a8edc2c..fa24e46d636e 100644 --- a/security/tor-devel/Makefile +++ b/security/tor-devel/Makefile @@ -1,131 +1,130 @@ PORTNAME= tor DISTVERSION= 0.4.7.6-rc CATEGORIES= security net MASTER_SITES= TOR PKGNAMESUFFIX= -devel MAINTAINER= yuri@FreeBSD.org COMMENT= Anonymizing overlay network for TCP WWW= https://www.torproject.org/ LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/LICENSE IGNORE= TorProject didn't release any development version at this time USES= compiler:c11 cpe gmake pkgconfig # should be compiler:c99 or compiler:gnu99 USE_CSTD= gnu99 # until this bug report is closed: https://trac.torproject.org/projects/tor/ticket/27900 CPE_VENDOR= torproject GNU_CONFIGURE= yes CONFIGURE_ARGS= --with-openssl-dir="${OPENSSLBASE}" \ --with-libevent-dir=${LOCALBASE} # probably not needed CONFIGURE_ENV= TOR_CPPFLAGS_libevent="-I${LOCALBASE}/include" \ TOR_LDFLAGS_libevent="-L${LOCALBASE}/lib/" \ TOR_LIBEVENT_LIBS="${TOR_LIBEVENT_LIBS}" OPTIONS_DEFINE= MANPAGES DOCS STATIC_TOR TCMALLOC OPTIONS_GROUP= COMPRESSION TRACING OPTIONS_GROUP_COMPRESSION= ZSTD LZMA OPTIONS_GROUP_TRACING= LTTNG USDT LOG_DEBUG OPTIONS_DEFAULT=MANPAGES ZSTD LZMA OPTIONS_SUB= yes STATIC_TOR_DESC= Build a static tor -TCMALLOC_DESC= Use the tcmalloc memory allocation library COMPRESSION_DESC= Supported compression libraries TRACING_DESC= Tracing USE_RC_SUBR= tor SUB_FILES= pkg-message SUB_LIST= USER="${USERS}" GROUP="${GROUPS}" PLIST_SUB= USER="${USERS}" GROUP="${GROUPS}" GROUPS= _tor USERS= _tor CONFLICTS_INSTALL= tor STATIC_TOR_USES= ssl:build STATIC_TOR_USES_OFF= ssl # compression options ZSTD_CONFIGURE_ENABLE= zstd ZSTD_CONFIGURE_ENV=TOR_ZSTD_LIBS="${TOR_ZSTD_LIBS}" LZMA_CONFIGURE_ENABLE= lzma # tracing options LTTNG_DESC= Build with LTTng-UST instrumentation LTTNG_USES= localbase LTTNG_CONFIGURE_ENABLE= tracing-instrumentation-lttng LTTNG_LIB_DEPENDS= liblttng-ust.so:sysutils/lttng-ust USDT_DESC= Build with tracing USDT instrumentation USDT_CONFIGURE_ENABLE= tracing-instrumentation-usdt USDT_LIB_DEPENDS= liblttng-ust.so:sysutils/lttng-ust USDT_BROKEN= error: use of undeclared identifier 'tor_circuit': https://gitlab.torproject.org/tpo/core/tor/-/issues/40174#note_2714275 LOG_DEBUG_DESC= Build with tracing event to debug log LOG_DEBUG_CONFIGURE_ENABLE= tracing-instrumentation-log-debug .include .if ${PORT_OPTIONS:MDOCS} || ${PORT_OPTIONS:MMANPAGES} BUILD_DEPENDS+= asciidoc:textproc/asciidoc .else CONFIGURE_ARGS+= --disable-asciidoc .endif .if !defined(USE_GCC) && empty(CC:T:M*gcc4*) && \ empty(PORT_OPTIONS:MSTATIC_TOR) CONFIGURE_ARGS+= --enable-gcc-hardening .else CONFIGURE_ARGS+= --disable-gcc-hardening .endif .if ${PORT_OPTIONS:MSTATIC_TOR} BUILD_DEPENDS += ${LOCALBASE}/lib/libevent.a:devel/libevent CONFIGURE_ARGS+= --enable-static-tor \ --with-zlib-dir=/usr/lib --disable-linker-hardening TOR_LIBEVENT_LIBS= ${LOCALBASE}/lib/libevent.a . if ${PORT_OPTIONS:MZSTD} BUILD_DEPENDS+= ${LOCALBASE}/lib/libzstd.a:archivers/zstd TOR_ZSTD_LIBS= ${LOCALBASE}/lib/libzstd.a LDFLAGS+= -lelf # needed by libexecinfo.a . endif .else CONFIGURE_ARGS+= --enable-linker-hardening LIB_DEPENDS+= libevent.so:devel/libevent TOR_LIBEVENT_LIBS= -levent . if ${PORT_OPTIONS:MZSTD} LIB_DEPENDS+= libzstd.so:archivers/zstd TOR_ZSTD_LIBS= -lzstd . endif .endif .if ${PORT_OPTIONS:MTCMALLOC} CONFIGURE_ARGS+= --with-malloc=tcmalloc .if ${PORT_OPTIONS:MSTATIC_TOR} BUILD_DEPENDS+= ${LOCALBASE}/lib/libtcmalloc.a:devel/google-perftools # for static 'tor' executable RUN_DEPENDS+= google-perftool>0:devel/google-perftools # for a still-dynamic 'tor-gencert' executable LDFLAGS+= -lc++ -lm # required by libtcmalloc.a and isn't cocered by google-perftools' `pkg-config --libs libtcmalloc` output .else LIB_DEPENDS+= libtcmalloc.so:devel/google-perftools .endif .endif PORTSCOUT= limit:^[0-9]+\.[0-9]+\.[0-9]+\.[0-9]+-[a-z].*$$ post-patch: @${REINPLACE_CMD} -E -e "s@(-z) (relro|now)@-Wl,\1,\2@g" \ ${WRKSRC}/configure @${REINPLACE_CMD} -e 's|lib/tor|db/tor|' \ ${WRKSRC}/src/config/torrc.*.in \ ${WRKSRC}/doc/man/tor.1.* \ ${WRKSRC}/doc/man/tor.html.in post-install: @${MKDIR} ${STAGEDIR}/var/log/tor ${STAGEDIR}/var/run/tor ${STAGEDIR}/var/db/tor check regression-test test: build @cd ${BUILD_WRKSRC} && ${SETENV} ${MAKE_ENV} ${MAKE_CMD} \ ${MAKE_ARGS} check .include diff --git a/security/tor/Makefile b/security/tor/Makefile index 21a00d71a85b..1b469e42357a 100644 --- a/security/tor/Makefile +++ b/security/tor/Makefile @@ -1,126 +1,125 @@ PORTNAME= tor DISTVERSION= 0.4.7.13 CATEGORIES= security net MASTER_SITES= TOR MAINTAINER= yuri@FreeBSD.org COMMENT= Anonymizing overlay network for TCP WWW= https://www.torproject.org/ LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/LICENSE USES= compiler:c11 cpe gmake pkgconfig # should be compiler:c99 or compiler:gnu99 USE_CSTD= gnu99 # until this bug report is closed: https://trac.torproject.org/projects/tor/ticket/27900 CPE_VENDOR= torproject GNU_CONFIGURE= yes CONFIGURE_ARGS= --with-openssl-dir="${OPENSSLBASE}" CONFIGURE_ENV= TOR_CPPFLAGS_libevent="-I${LOCALBASE}/include" \ TOR_LDFLAGS_libevent="-L${LOCALBASE}/lib/" \ TOR_LIBEVENT_LIBS="${TOR_LIBEVENT_LIBS}" OPTIONS_DEFINE= MANPAGES DOCS STATIC_TOR TCMALLOC OPTIONS_GROUP= COMPRESSION TRACING OPTIONS_GROUP_COMPRESSION= ZSTD LZMA OPTIONS_GROUP_TRACING= LTTNG USDT LOG_DEBUG OPTIONS_DEFAULT=MANPAGES ZSTD LZMA OPTIONS_EXCLUDE_FreeBSD_12=DOCS MANPAGES # XXX(rene) a2x somehow broken there OPTIONS_SUB= yes STATIC_TOR_DESC= Build a static tor -TCMALLOC_DESC= Use the tcmalloc memory allocation library COMPRESSION_DESC= Supported compression libraries TRACING_DESC= Tracing USE_RC_SUBR= tor SUB_FILES= pkg-message SUB_LIST= USER="${USERS}" GROUP="${GROUPS}" PLIST_SUB= USER="${USERS}" GROUP="${GROUPS}" GROUPS= _tor USERS= _tor CONFLICTS_INSTALL= tor-devel STATIC_TOR_USES= ssl:build STATIC_TOR_USES_OFF= ssl # compression options ZSTD_CONFIGURE_ENABLE= zstd ZSTD_CONFIGURE_ENV=TOR_ZSTD_LIBS="${TOR_ZSTD_LIBS}" LZMA_CONFIGURE_ENABLE= lzma # tracing options LTTNG_DESC= Build with LTTng-UST instrumentation LTTNG_USES= localbase LTTNG_CONFIGURE_ENABLE= tracing-instrumentation-lttng LTTNG_LIB_DEPENDS= liblttng-ust.so:sysutils/lttng-ust USDT_DESC= Build with tracing USDT instrumentation USDT_CONFIGURE_ENABLE= tracing-instrumentation-usdt USDT_LIB_DEPENDS= liblttng-ust.so:sysutils/lttng-ust USDT_BROKEN= error: use of undeclared identifier 'tor_circuit': https://gitlab.torproject.org/tpo/core/tor/-/issues/40174#note_2714275 LOG_DEBUG_DESC= Build with tracing event to debug log LOG_DEBUG_CONFIGURE_ENABLE= tracing-instrumentation-log-debug .include .if ${PORT_OPTIONS:MDOCS} || ${PORT_OPTIONS:MMANPAGES} BUILD_DEPENDS+= asciidoc:textproc/asciidoc .else CONFIGURE_ARGS+= --disable-asciidoc .endif .if !defined(USE_GCC) && empty(CC:T:M*gcc4*) && \ empty(PORT_OPTIONS:MSTATIC_TOR) CONFIGURE_ARGS+= --enable-gcc-hardening .else CONFIGURE_ARGS+= --disable-gcc-hardening .endif .if ${PORT_OPTIONS:MSTATIC_TOR} BUILD_DEPENDS += ${LOCALBASE}/lib/libevent.a:devel/libevent CONFIGURE_ARGS+= --enable-static-tor \ --with-zlib-dir=/usr/lib --disable-linker-hardening TOR_LIBEVENT_LIBS= ${LOCALBASE}/lib/libevent.a . if ${PORT_OPTIONS:MZSTD} BUILD_DEPENDS+= ${LOCALBASE}/lib/libzstd.a:archivers/zstd TOR_ZSTD_LIBS= ${LOCALBASE}/lib/libzstd.a LDFLAGS+= -lelf # needed by libexecinfo.a . endif .else CONFIGURE_ARGS+= --enable-linker-hardening LIB_DEPENDS+= libevent.so:devel/libevent TOR_LIBEVENT_LIBS= -levent . if ${PORT_OPTIONS:MZSTD} LIB_DEPENDS+= libzstd.so:archivers/zstd TOR_ZSTD_LIBS= -lzstd . endif .endif .if ${PORT_OPTIONS:MTCMALLOC} CONFIGURE_ARGS+= --with-malloc=tcmalloc .if ${PORT_OPTIONS:MSTATIC_TOR} BUILD_DEPENDS+= ${LOCALBASE}/lib/libtcmalloc.a:devel/google-perftools # for static 'tor' executable RUN_DEPENDS+= google-perftool>0:devel/google-perftools # for a still-dynamic 'tor-gencert' executable LDFLAGS+= -lc++ -lm # required by libtcmalloc.a and isn't cocered by google-perftools' `pkg-config --libs libtcmalloc` output .else LIB_DEPENDS+= libtcmalloc.so:devel/google-perftools .endif .endif post-patch: @${REINPLACE_CMD} -E -e "s@(-z) (relro|now)@-Wl,\1,\2@g" \ ${WRKSRC}/configure @${REINPLACE_CMD} -e 's|lib/tor|db/tor|' \ ${WRKSRC}/src/config/torrc.*.in \ ${WRKSRC}/doc/man/tor.1.* \ ${WRKSRC}/doc/man/tor.html.in post-install: @${MKDIR} ${STAGEDIR}/var/log/tor ${STAGEDIR}/var/run/tor ${STAGEDIR}/var/db/tor check regression-test test: build @cd ${BUILD_WRKSRC} && ${SETENV} ${MAKE_ENV} ${MAKE_CMD} \ ${MAKE_ARGS} check .include