=> Bootstrap dependency digest>=20211023: found digest-20220214 => Checksum BLAKE2s OK for coq-8.15.2.tar.gz => Checksum SHA512 OK for coq-8.15.2.tar.gz ===> Installing dependencies for coq-8.15.2nb19 ========================================================================== 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.15.2nb19. Their current value is shown below: * JPEG_DEFAULT = jpeg * OCAML_USE_OPT_COMPILER = yes * PYTHON_VERSION_DEFAULT = 312 Based on these variables, the following variables have been set: * JPEGBASE (defined, but empty) * JPEG_TYPE = jpeg * PYPACKAGE = python312 * TERMCAP_TYPE = termcap You may want to abort the process now with CTRL-C and change the value of variables in the first group before continuing. Be sure to run `/usr/bin/make clean' after the changes. ========================================================================== => Tool dependency glib2-tools-[0-9]*: found glib2-tools-2.82.2 => Tool dependency mktools-[0-9]*: found mktools-20220614 => Tool dependency bash-[0-9]*: found bash-5.2.37 => Tool dependency gmake>=3.81: found gmake-4.4.1 => Tool dependency cwrappers>=20150314: found cwrappers-20220403 => Tool dependency checkperms>=1.1: found checkperms-1.12 => Build dependency x11-links>=1.36: found x11-links-1.36 => Full dependency adwaita-icon-theme-[0-9]*: found adwaita-icon-theme-40.1.1 => Full dependency gtk3+>=3.24.43nb5: found gtk3+-3.24.43nb5 => Full dependency ocaml>=4.14.0: found ocaml-4.14.2 => Full dependency ocaml-dune>=3.11.1: found ocaml-dune-3.11.1nb1 => Full dependency ocaml-findlib>=1.9.3nb1: found ocaml-findlib-1.9.6 => Full dependency ocaml-lablgtk3>=3.1.3nb16: found ocaml-lablgtk3-3.1.3nb18 => Full dependency ocaml-zarith>=1.12nb1: found ocaml-zarith-1.12nb1 => Full dependency python312>=3.12.0: found python312-3.12.8nb1 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Overriding tools for coq-8.15.2nb19 ===> Extracting for coq-8.15.2nb19 ===> Patching for coq-8.15.2nb19 => Applying pkgsrc patches for coq-8.15.2nb19 => Verifying /usr/pkgsrc/lang/coq/patches/patch-Makefile.install => Applying pkgsrc patch /usr/pkgsrc/lang/coq/patches/patch-Makefile.install Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-Makefile.install,v 1.1 2022/06/21 02:21:22 dholland Exp $ | |Use BSD_INSTALL_* | |--- Makefile.install~ 2022-05-31 08:36:38.000000000 +0000 |+++ Makefile.install -------------------------- Patching file Makefile.install using Plan A... Hunk #1 succeeded at 31. done => Verifying /usr/pkgsrc/lang/coq/patches/patch-Makefile.make => Applying pkgsrc patch /usr/pkgsrc/lang/coq/patches/patch-Makefile.make Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-Makefile.make,v 1.2 2022/06/21 02:21:22 dholland Exp $ | |Use correct find(1) syntax. | |--- Makefile.make.orig 2022-05-31 08:36:38.000000000 +0000 |+++ Makefile.make -------------------------- Patching file Makefile.make using Plan A... Hunk #1 succeeded at 48. done => Verifying /usr/pkgsrc/lang/coq/patches/patch-tools_configure_coqide.ml => Applying pkgsrc patch /usr/pkgsrc/lang/coq/patches/patch-tools_configure_coqide.ml Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-tools_configure_coqide.ml,v 1.1 2022/06/21 02:21:22 dholland Exp $ | |For some reason the installed library metadata for lablgtk3 is lacking |the version number. Until this gets sorted out, accept the |[unspecified] version string that ocamlfind prints; pkgsrc does the |necessary version checks. | |--- tools/configure/coqide.ml~ 2022-05-31 08:36:38.000000000 +0000 |+++ tools/configure/coqide.ml -------------------------- Patching file tools/configure/coqide.ml using Plan A... Hunk #1 succeeded at 25. done => Verifying /usr/pkgsrc/lang/coq/patches/patch-tools_coqdoc_dune => Applying pkgsrc patch /usr/pkgsrc/lang/coq/patches/patch-tools_coqdoc_dune Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-tools_coqdoc_dune,v 1.1 2022/06/21 02:21:22 dholland Exp $ | |Install the latex style file in the right place for us. |(This used to be settable via configure, but no longer is) | |--- tools/coqdoc/dune~ 2022-05-31 08:36:38.000000000 +0000 |+++ tools/coqdoc/dune -------------------------- Patching file tools/coqdoc/dune using Plan A... Hunk #1 succeeded at 10. done ===> Creating toolchain wrappers for coq-8.15.2nb19 /bin/mkdir -p /usr/pkgsrc/lang/coq/work/.buildlink/lib/pkgconfig cd /usr/pkgsrc/lang/coq/work/.buildlink/lib/pkgconfig && /bin/ln -sf enchant-2.pc enchant.pc ===> Configuring for coq-8.15.2nb19 => 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. INFO: [replace-interpreter] Nothing changed in tools/TimeFileMaker.py. => Replacing sh interpreter in configure install.sh. INFO: [replace-interpreter] Nothing changed in configure. => Checking for portability problems in extracted files Warning: Coq Language Versions lower than 0.8 have been deprecated in Dune 3.8 and will be removed in an upcoming Dune version. You have OCaml 4.14.2. Good! You have OCamlfind 1.9.6. Good! You have native-code compilation. Good! You have the Zarith library 1.12 installed. Good! LablGtk3 and LablGtkSourceView3 found (3.1.2), with native threads: => native CoqIDE will be built. Architecture : NetBSD Sys.os_type : Unix OCaml version : 4.14.2 OCaml binaries in : /usr/pkg/bin/ OCaml library in : /usr/pkg/lib/ocaml Native dynamic link support : true Lablgtk3 library in : CoqIDE : opt Documentation : None Web browser : firefox -remote "OpenURL(%s,new-tab)" || firefox %s & Coq web site : http://coq.inria.fr/ Bytecode VM enabled : true Native Compiler enabled : ondemand Paths for true installation: - Coq will be copied in /usr/pkg - 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 - documentation prefix path for all Coq packages will be copied in /usr/pkg/share/doc/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'.