ABI=
BDB185_DEFAULT=db1
BDB_DEFAULT=db4
BUILD_DATE=2019-03-05 12:42:56 +0000
BUILD_HOST=NetBSD localhost 8.0 NetBSD 8.0 (GENERIC) #0: Tue Jul 17 14:59:51 UTC 2018  mkrepro@mkrepro.NetBSD.org:/usr/src/sys/arch/amd64/compile/GENERIC amd64
BUILTIN_PKGS=xz-5.2.1 zlib-1.2.10 bzip2-1.0.6 freetype2-2.6.3 expat-2.2.1 libXrender-0.9.10 xorgproto-2018.1 libX11-1.6.5 libxcb-1.12 xcb-proto-1.12 MesaLib-10.3.5 libXdamage-1.1.4 libXfixes-5.0.3 libdrm-2.4.75 libXext-1.3.3 pixman-0.34.0 xcursor-1.1.15 libXrandr-1.5.1 libXinerama-1.1.3 sqlite3-3.17.0 libXtst-1.2.3 openssl-1.0.2k libXres-1.0.7
CATEGORIES=lang math
CC_VERSION=gcc-5.5.0
CFLAGS=-O2 -D_FORTIFY_SOURCE=2 -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4
CMAKE_ARGS=
CONFIGURE_ARGS=-prefix /usr/pkg -emacslib /usr/pkg/share/emacs/site-lisp -mandir /usr/pkg/man -configdir /usr/pkg/etc/xdg/coq -docdir /usr/pkg/share/doc/coq -coqdocdir /usr/pkg/share/texmf-dist/tex/latex/coq -native-compiler yes -with-doc no
CONFIGURE_ENV=PTHREAD_CFLAGS=\ -pthread\  PTHREAD_LDFLAGS=\ -pthread PTHREAD_LIBS= PTHREADBASE=/usr DL_CFLAGS=\ -pthread\  DL_LDFLAGS=\ -pthread DL_LIBS= FREETYPE_CONFIG=/usr/X11R7/bin/freetype-config INSTALL_INFO= MAKEINFO=/usr/pkgsrc/lang/coq/work/.tools/bin/makeinfo FLEX= BISON= PKG_CONFIG= PKG_CONFIG_LIBDIR=/usr/pkgsrc/lang/coq/work/.buildlink/lib/pkgconfig:/usr/pkgsrc/lang/coq/work/.buildlink/share/pkgconfig PKG_CONFIG_LOG=/usr/pkgsrc/lang/coq/work/.pkg-config.log PKG_CONFIG_PATH= MAKE=make CWRAPPERS_CONFIG_DIR=/usr/pkgsrc/lang/coq/work/.cwrapper/config PYTHON=/usr/pkg/bin/python2.7 CC=gcc CFLAGS=-O2\ -D_FORTIFY_SOURCE=2\ -I/usr/pkg/include\ -I/usr/include\ -I/usr/pkg/include/glib/glib-2.0\ -I/usr/pkg/include/glib/gio-unix-2.0\ -I/usr/pkg/lib/glib-2.0/include\ -I/usr/X11R7/include\ -I/usr/X11R7/include/freetype2\ -I/usr/X11R7/include/libdrm\ -I/usr/pkg/include/nss/nss\ -I/usr/pkg/include/nspr\ -I/usr/pkg/include/db4 CPPFLAGS=-I/usr/pkg/include\ -I/usr/include\ -I/usr/pkg/include/glib/glib-2.0\ -I/usr/pkg/include/glib/gio-unix-2.0\ -I/usr/pkg/lib/glib-2.0/include\ -I/usr/X11R7/include\ -I/usr/X11R7/include/freetype2\ -I/usr/X11R7/include/libdrm\ -I/usr/pkg/include/nss/nss\ -I/usr/pkg/include/nspr\ -I/usr/pkg/include/db4 CXX=c++ CXXFLAGS=-O2\ -D_FORTIFY_SOURCE=2\ -I/usr/pkg/include\ -I/usr/include\ -I/usr/pkg/include/glib/glib-2.0\ -I/usr/pkg/include/glib/gio-unix-2.0\ -I/usr/pkg/lib/glib-2.0/include\ -I/usr/X11R7/include\ -I/usr/X11R7/include/freetype2\ -I/usr/X11R7/include/libdrm\ -I/usr/pkg/include/nss/nss\ -I/usr/pkg/include/nspr\ -I/usr/pkg/include/db4 COMPILER_RPATH_FLAG=-Wl,-R F77=g77 FC=g77 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/lib\ -Wl,-R/usr/pkg/lib\ -L/usr/lib\ -Wl,-R/usr/lib\ -L/usr/X11R7/lib\ -Wl,-R/usr/X11R7/lib\ -L/usr/pkg/lib/nss\ -Wl,-R/usr/pkg/lib/nss\ -L/usr/pkg/lib/nspr\ -Wl,-R/usr/pkg/lib/nspr LINKER_RPATH_FLAG=-R PATH=/usr/pkgsrc/lang/coq/work/.cwrapper/bin:/usr/pkgsrc/lang/coq/work/.buildlink/bin:/usr/pkgsrc/lang/coq/work/.gcc/bin:/usr/pkgsrc/lang/coq/work/.tools/bin:/usr/pkg/bin:/sbin:/usr/sbin:/bin:/usr/bin:/usr/pkg/sbin:/usr/pkg/bin:/usr/X11R7/bin:/usr/local/sbin:/usr/local/bin:/usr/pkg/bin:/usr/X11R7/bin PREFIX=/usr/pkg MAKELEVEL=0 CONFIG_SITE= PKG_SYSCONFDIR=/usr/pkg/etc CXXCPP=cpp HOME=/usr/pkgsrc/lang/coq/work/.home CWRAPPERS_CONFIG_DIR=/usr/pkgsrc/lang/coq/work/.cwrapper/config
CPPFLAGS=   -I/usr/pkg/include -I/usr/include -I/usr/pkg/include/glib/glib-2.0 -I/usr/pkg/include/glib/gio-unix-2.0 -I/usr/pkg/lib/glib-2.0/include -I/usr/X11R7/include -I/usr/X11R7/include/freetype2 -I/usr/X11R7/include/libdrm -I/usr/pkg/include/nss/nss -I/usr/pkg/include/nspr -I/usr/pkg/include/db4
FFLAGS=-O
GMAKE=GNU Make 4.2.1
HOMEPAGE=http://coq.inria.fr/
LDFLAGS=   -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -L/usr/lib -Wl,-R/usr/lib -L/usr/X11R7/lib -Wl,-R/usr/X11R7/lib -L/usr/pkg/lib/nss -Wl,-R/usr/pkg/lib/nss -L/usr/pkg/lib/nspr -Wl,-R/usr/pkg/lib/nspr
LICENSE=gnu-lgpl-v2.1
LOCALBASE=/usr/pkg
MACHINE_ARCH=x86_64
MACHINE_GNU_ARCH=x86_64
MAINTAINER=jaapb@NetBSD.org
MULTI=PYTHON_VERSION_REQD=27
NO_BIN_ON_CDROM=
NO_BIN_ON_FTP=
NO_SRC_ON_CDROM=
NO_SRC_ON_FTP=
OBJECT_FMT=ELF
OCAML_USE_OPT_COMPILER=yes
OPSYS=NetBSD
OS_VERSION=8.0
PKGGNUDIR=gnu/
PKGINFODIR=info
PKGMANDIR=man
PKGPATH=lang/coq
PKGTOOLS_VERSION=20091115
PKG_OPTIONS=coqide
PKG_SYSCONFBASEDIR=/usr/pkg/etc
PKG_SYSCONFDIR=/usr/pkg/etc
PYTHON_VERSION_DEFAULT=27
REQUIRES=/usr/X11R7/lib/libX11.so.7
REQUIRES=/usr/X11R7/lib/libXau.so.7
REQUIRES=/usr/X11R7/lib/libXcomposite.so.2
REQUIRES=/usr/X11R7/lib/libXcursor.so.2
REQUIRES=/usr/X11R7/lib/libXdamage.so.2
REQUIRES=/usr/X11R7/lib/libXdmcp.so.7
REQUIRES=/usr/X11R7/lib/libXext.so.7
REQUIRES=/usr/X11R7/lib/libXfixes.so.4
REQUIRES=/usr/X11R7/lib/libXi.so.7
REQUIRES=/usr/X11R7/lib/libXinerama.so.2
REQUIRES=/usr/X11R7/lib/libXrandr.so.3
REQUIRES=/usr/X11R7/lib/libXrender.so.2
REQUIRES=/usr/X11R7/lib/libfontconfig.so.2
REQUIRES=/usr/X11R7/lib/libfreetype.so.18
REQUIRES=/usr/X11R7/lib/libpixman-1.so.2
REQUIRES=/usr/X11R7/lib/libxcb-render.so.0
REQUIRES=/usr/X11R7/lib/libxcb-shm.so.0
REQUIRES=/usr/X11R7/lib/libxcb.so.2
REQUIRES=/usr/lib/libbz2.so.1
REQUIRES=/usr/lib/libc.so.12
REQUIRES=/usr/lib/libexpat.so.2
REQUIRES=/usr/lib/libgcc_s.so.1
REQUIRES=/usr/lib/libintl.so.1
REQUIRES=/usr/lib/liblzma.so.2
REQUIRES=/usr/lib/libm.so.0
REQUIRES=/usr/lib/libpthread.so.1
REQUIRES=/usr/lib/librt.so.1
REQUIRES=/usr/lib/libz.so.1
REQUIRES=/usr/pkg/lib/libatk-1.0.so.0
REQUIRES=/usr/pkg/lib/libcairo.so.2
REQUIRES=/usr/pkg/lib/libffi.so.6
REQUIRES=/usr/pkg/lib/libfontconfig.so.1
REQUIRES=/usr/pkg/lib/libfreetype.so.6
REQUIRES=/usr/pkg/lib/libfribidi.so.0
REQUIRES=/usr/pkg/lib/libgdk-x11-2.0.so.0
REQUIRES=/usr/pkg/lib/libgdk_pixbuf-2.0.so.0
REQUIRES=/usr/pkg/lib/libgio-2.0.so.0
REQUIRES=/usr/pkg/lib/libglib-2.0.so.0
REQUIRES=/usr/pkg/lib/libgmodule-2.0.so.0
REQUIRES=/usr/pkg/lib/libgobject-2.0.so.0
REQUIRES=/usr/pkg/lib/libgthread-2.0.so.0
REQUIRES=/usr/pkg/lib/libgtk-x11-2.0.so.0
REQUIRES=/usr/pkg/lib/libgtksourceview-2.0.so.0
REQUIRES=/usr/pkg/lib/libharfbuzz.so.0
REQUIRES=/usr/pkg/lib/libpango-1.0.so.0
REQUIRES=/usr/pkg/lib/libpangocairo-1.0.so.0
REQUIRES=/usr/pkg/lib/libpangoft2-1.0.so.0
REQUIRES=/usr/pkg/lib/libpcre.so.1
REQUIRES=/usr/pkg/lib/libpng16.so.16
REQUIRES=/usr/pkg/lib/libuuid.so.1
REQUIRES=/usr/pkg/lib/libxml2.so.2
RESTRICTED=
SSLBASE=/usr
SSLCERTS=/etc/openssl/certs
SSLDIR=/etc/openssl
SSLKEYS=/etc/openssl/private
_PLIST_IGNORE_FILES=
_USE_DESTDIR=user-destdir
