=> Bootstrap dependency digest>=20010302: found digest-20160304 ===> Skipping vulnerability checks. WARNING: No /var/db/pkg/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'. => Checksum SHA1 OK for coq-8.7.1.tar.gz => Checksum RMD160 OK for coq-8.7.1.tar.gz => Checksum SHA512 OK for coq-8.7.1.tar.gz ===> Installing dependencies for coq-8.7.1 ========================================================================== The supported build options for coq are: coqide doc The currently selected options are: coqide You can select which build options to use by setting PKG_DEFAULT_OPTIONS or the following variable. Its current value is shown: PKG_OPTIONS.coq (not defined) ========================================================================== ========================================================================== The following variables will affect the build process of this package, coq-8.7.1. Their current value is shown below: * BDB185_DEFAULT = db1 * BDB_DEFAULT = db4 * OCAML_USE_OPT_COMPILER = yes * PYTHON_VERSION_DEFAULT = 27 * SSLBASE = /usr * SSLCERTS = /etc/openssl/certs * SSLDIR = /etc/openssl * SSLKEYS = /etc/openssl/private Based on these variables, the following variables have been set: * BDBBASE (defined, but empty) * BDB_LIBS = -ldb4 * BDB_TYPE = db4 * PYPACKAGE = python27 * TERMCAP_TYPE = termcap You may want to abort the process now with CTRL-C and change their value before continuing. Be sure to run `/usr/bin/make clean' after the changes. ========================================================================== => Tool dependency glib2-tools-[0-9]*: found glib2-tools-2.54.2 => Tool dependency gmake>=3.81: found gmake-4.1nb3 => Tool dependency checkperms>=1.1: found checkperms-1.12 => Build dependency renderproto>=0.9.3nb1: found renderproto-0.11.1 => Build dependency kbproto>=1.0.2: found kbproto-1.0.7 => Build dependency xproto>=7.0.13: found xproto-7.0.31 => Build dependency xcb-proto>=1.4: found xcb-proto-1.12 => Build dependency dri2proto>=2.1: found dri2proto-2.8 => Build dependency dri3proto>=1.0: found dri3proto-1.0 => Build dependency presentproto>=1.0: found presentproto-1.1 => Build dependency glproto>=1.4.11: found glproto-1.4.17 => Build dependency damageproto>=1.1.0: found damageproto-1.2.1 => Build dependency fixesproto>=4.0.0: found fixesproto-5.0 => Build dependency xextproto>=7.0.99.1: found xextproto-7.3.0 => Build dependency inputproto>=2.3: found inputproto-2.3.2 => Build dependency xf86vidmodeproto>=2.3: found xf86vidmodeproto-2.3.1 => Build dependency xf86driproto>=2.0.3: found xf86driproto-2.1.1nb1 => Build dependency randrproto>=1.4: found randrproto-1.5.0 => Build dependency xineramaproto>=1.1.1: found xineramaproto-1.2.1 => Build dependency compositeproto>=0.3.1: found compositeproto-0.4.2 => Build dependency recordproto>=1.13.1: found recordproto-1.14.2 => Build dependency cwrappers>=20150314: found cwrappers-20171108 => Full dependency ocaml>=4.06.0: found ocaml-4.06.0 => Full dependency python27>=2.7.1nb2: found python27-2.7.14 => Full dependency ocaml-lablgtk>=2.18.6nb3: found ocaml-lablgtk-2.18.6nb4 => Full dependency gtk2+>=2.24.31nb2: found gtk2+-2.24.31nb6 => Full dependency camlp5>=7.03: found camlp5-7.03 => Full dependency ocaml-num>=1.1: found ocaml-num-1.1 ===> Overriding tools for coq-8.7.1 ===> Extracting for coq-8.7.1 tar: Global extended headers posix ustar archive. Extracting as plain files. Following files might be in the wrong directory or have wrong attributes. ===> Patching for coq-8.7.1 => Applying pkgsrc patches for coq-8.7.1 => Verifying /data/pkgsrc/lang/coq/patches/patch-Makefile.common => Applying pkgsrc patch /data/pkgsrc/lang/coq/patches/patch-Makefile.common Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-Makefile.common,v 1.4 2017/11/03 11:20:28 jaapb Exp $ | |Use BSD_INSTALL_* |--- Makefile.common.orig 2017-10-16 08:53:18.000000000 +0000 |+++ Makefile.common -------------------------- Patching file Makefile.common using Plan A... Hunk #1 succeeded at 69. done ===> Creating toolchain wrappers for coq-8.7.1 src=/usr/pkg/lib/pkgconfig/fixesproto.pc dst=/data/scratch/lang/coq/work/.buildlink/lib/pkgconfig/fixesext.pc; /bin/mkdir -p /data/scratch/lang/coq/work/.buildlink/lib/pkgconfig; if test -f ${src}; then /bin/ln -sf ${src} ${dst}; fi src=/usr/pkg/lib/pkgconfig/compositeproto.pc dst=/data/scratch/lang/coq/work/.buildlink/lib/pkgconfig/compositeext.pc; /bin/mkdir -p /data/scratch/lang/coq/work/.buildlink/lib/pkgconfig; if test -f ${src}; then /bin/ln -sf ${src} ${dst}; fi ===> Configuring for coq-8.7.1 => Replacing python interpreter in tools/TimeFileMaker.py tools/make-both-single-timing-files.py tools/make-both-time-files.py tools/make-one-time-file.py. => Replacing sh interpreter in configure install.sh. => Checking for portability problems in extracted files You have OCaml 4.06.0. Good! You have OCamlfind 1.7.3. Good! You have Camlp5 7.03. Good! You have native-code compilation. Good! You have the Num library installed. Good! LablGtk2 found (via ocamlfind, 2.18.6), with native threads: => native CoqIde will be built. Architecture : NetBSD Coq VM bytecode link flags : -dllib -lcoqrun -dllpath /usr/pkg/lib/coq/kernel/byterun Other bytecode link flags : OS dependent libraries : -cclib -lunix OCaml version : 4.06.0 OCaml binaries in : /usr/pkg/bin/ OCaml library in : /usr/pkg/lib/ocaml OCaml flambda flags : Camlp5 version : 7.03 Camlp5 binaries in : /usr/pkg/bin Camlp5 library in : +camlp5 Native dynamic link support : true Lablgtk2 library in : +site-lib/lablgtk2 CoqIde : opt Documentation : None Web browser : firefox -remote "OpenURL(%s,new-tab)" || firefox %s & Coq web site : http://coq.inria.fr/ Paths for true installation: - the Coq binaries will be copied in /usr/pkg/bin - the Coq library will be copied in /usr/pkg/lib/coq - the Coqide configuration files will be copied in /usr/pkg/etc/xdg/coq - the Coqide data files will be copied in /usr/pkg/share/coq - the Coq man pages will be copied in /usr/pkg/man - the Coq documentation will be copied in /usr/pkg/share/doc/coq - the Coq Emacs mode will be copied in /usr/pkg/share/emacs/site-lisp - the Coqdoc LaTeX files will be copied in /usr/pkg/share/texmf-dist/tex/latex/coq If anything is wrong above, please restart './configure'. *Warning* To compile the system for a new architecture don't forget to do a 'make clean' before './configure'. => Remove buildlink references from Coq_config module INFO: [subst.mk:fix-paths] Nothing changed in ./config/coq_config.ml.