ABI=
BUILD_DATE=2025-12-26 08:51:37 +0000
BUILD_HOST=NetBSD victory.netbsd.org 10.0 NetBSD 10.0 (LIBKVER) #0: Tue Jan 19 00:00:00 UTC 2038 root@localhost:/sys/arch/evbarm/compile/LIBKVER evbarm
CATEGORIES=math
CC_VERSION=gcc-12.5.0
CFLAGS=-O2  -I/usr/include -I/usr/pkg/include
CMAKE_CONFIGURE_ARGS=
CONFIGURE_ARGS=
CONFIGURE_ENV=PTHREAD_CFLAGS=\ -pthread\  PTHREAD_LDFLAGS=\ -pthread PTHREAD_LIBS= PTHREADBASE=/usr INSTALL_INFO= MAKEINFO=/pbulk/work/math/py-z3/work/.tools/bin/makeinfo FLEX= BISON= ITSTOOL=/pbulk/work/math/py-z3/work/.tools/bin/itstool GDBUS_CODEGEN=/pbulk/work/math/py-z3/work/.tools/bin/gdbus-codegen PKG_CONFIG=/pbulk/work/math/py-z3/work/.tools/bin/pkg-config PKG_CONFIG_LIBDIR=/pbulk/work/math/py-z3/work/.buildlink/lib/pkgconfig:/pbulk/work/math/py-z3/work/.buildlink/share/pkgconfig PKG_CONFIG_LOG=/pbulk/work/math/py-z3/work/.pkg-config.log PKG_CONFIG_PATH= MAKE=make DL_CFLAGS=\ -pthread\  DL_LDFLAGS=\ -pthread DL_LIBS= CWRAPPERS_CONFIG_DIR=/pbulk/work/math/py-z3/work/.cwrapper/config PYTHON=/usr/pkg/bin/python3.12 CC=gcc CFLAGS=-O2\ -I/usr/include\ -I/usr/pkg/include CPPFLAGS=-I/usr/include\ -I/usr/pkg/include CXX=c++ CXXFLAGS=-O2\ -I/usr/include\ -I/usr/pkg/include COMPILER_RPATH_FLAG=-Wl,-R F77=gfortran FC=gfortran FFLAGS=-O LANG=C LC_ALL=C LC_COLLATE=C LC_CTYPE=C LC_MESSAGES=C LC_MONETARY=C LC_NUMERIC=C LC_TIME=C LDFLAGS=-L/usr/pkg/gcc12/lib/gcc/aarch64--netbsd/12.5.0\ -Wl,-R/usr/pkg/gcc12/lib/gcc/aarch64--netbsd/12.5.0\ -Wl,-zrelro\ -L/usr/lib\ -Wl,-R/usr/lib\ -L/usr/pkg/lib\ -Wl,-R/usr/pkg/lib LINKER_RPATH_FLAG=-R PATH=/pbulk/work/math/py-z3/work/.cwrapper/bin:/pbulk/work/math/py-z3/work/.buildlink/bin:/pbulk/work/math/py-z3/work/.gcc/bin:/pbulk/work/math/py-z3/work/.tools/bin:/usr/pkg/bin:/home/mlelstv/bin:/bin:/sbin:/usr/bin:/usr/sbin:/usr/X11R7/bin:/usr/pkg/bin:/usr/pkg/sbin:/usr/games:/usr/local/bin:/usr/local/sbin:/usr/pkg/bin:/usr/X11R7/bin PREFIX=/usr/pkg MAKELEVEL=0 CONFIG_SITE= ftp_proxy=downloads-forbidden-except-during-fetch http_proxy=downloads-forbidden-except-during-fetch https_proxy=downloads-forbidden-except-during-fetch no_proxy= PKG_SYSCONFDIR=/usr/pkg/etc HOME=/pbulk/work/math/py-z3/work/.home CWRAPPERS_CONFIG_DIR=/pbulk/work/math/py-z3/work/.cwrapper/config
CPE_URI=cpe:2.3:a:py312-z3:py312-z3:4.14.0:::::netbsd10:aarch64
CPPFLAGS=  -I/usr/include -I/usr/pkg/include
FFLAGS=-O
HOMEPAGE=https://github.com/Z3Prover/z3
LDFLAGS=  -L/usr/pkg/gcc12/lib/gcc/aarch64--netbsd/12.5.0 -Wl,-R/usr/pkg/gcc12/lib/gcc/aarch64--netbsd/12.5.0 -Wl,-zrelro -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib
LICENSE=mit
LOCALBASE=/usr/pkg
MACHINE_ARCH=aarch64
MACHINE_GNU_ARCH=aarch64
MAINTAINER=dholland@NetBSD.org
MULTI=PYTHON_VERSION_REQD=312
NO_BIN_ON_CDROM=
NO_BIN_ON_FTP=
NO_SRC_ON_CDROM=
NO_SRC_ON_FTP=
OBJECT_FMT=ELF
OPSYS=NetBSD
OS_VERSION=10.0
PKGGNUDIR=gnu/
PKGINFODIR=info
PKGMANDIR=man
PKGPATH=math/py-z3
PKGTOOLS_VERSION=20091115
PKG_SYSCONFBASEDIR=/usr/pkg/etc
PKG_SYSCONFDIR=/usr/pkg/etc
PROVIDES=/usr/pkg/lib/python3.12/site-packages/z3/lib/libz3.so
PROVIDES=/usr/pkg/lib/python3.12/site-packages/z3/lib/libz3.so.4.14
PYTHON_VERSION_DEFAULT=313
REQUIRES=/usr/lib/libc.so.12
REQUIRES=/usr/lib/libm.so.0
REQUIRES=/usr/lib/libpthread.so.1
REQUIRES=/usr/pkg/gcc12/aarch64--netbsd/lib/./libgcc_s.so.1
REQUIRES=/usr/pkg/gcc12/aarch64--netbsd/lib/./libstdc++.so.7
RESTRICTED=
_USE_DESTDIR=user-destdir
