=> Checksum BLAKE2s OK for coq-8.20.1.tar.gz
=> Checksum SHA512 OK for coq-8.20.1.tar.gz
===> Installing dependencies for coq-8.20.1nb1
==========================================================================
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.20.1nb1. Their current value is shown below:
* CURSES_DEFAULT = ncurses
* JPEG_DEFAULT = jpeg
* OCAML_USE_OPT_COMPILER = yes
* PYTHON_VERSION_DEFAULT = 312
Based on these variables, the following variables have been set:
* CURSES_TYPE = ncurses
* JPEGBASE (defined, but empty)
* JPEG_TYPE = jpeg
* PYPACKAGE = python312
* TERMCAP_TYPE = curses
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
`/opt/pkg/bin/bmake clean' after the changes.
==========================================================================
=> Tool dependency glib2-tools-[0-9]*: found glib2-tools-2.82.5
=> Tool dependency gmake>=3.81: found gmake-4.4.1
=> Tool dependency nbpatch-[0-9]*: found nbpatch-20151107
=> Tool dependency cwrappers>=20150314: found cwrappers-20220403
=> Tool dependency checkperms>=1.1: found checkperms-1.12
=> Build dependency ocaml-opaline>=0.3.3nb1: found ocaml-opaline-0.3.3nb2
=> Full dependency adwaita-icon-theme-[0-9]*: found adwaita-icon-theme-40.1.1
=> Full dependency gtk3+>=3.24.43nb6: found gtk3+-3.24.43nb8
=> 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.8nb1
=> Full dependency ocaml-lablgtk3>=3.1.5nb1: found ocaml-lablgtk3-3.1.5nb1
=> Full dependency ocaml-zarith>=1.12nb1: found ocaml-zarith-1.12nb1
=> Full dependency python312>=3.12.0: found python312-3.12.10nb1
=> Build dependency xcb-proto>=1.4: found xcb-proto-1.17.0nb5
=> Build dependency xorgproto>=2016.1: found xorgproto-2024.1
=> Full dependency at-spi2-core>=2.3.2: found at-spi2-core-2.54.0nb5
=> Full dependency brotli>=1.0.1: found brotli-1.1.0
=> Full dependency bzip2>=1.0.1: found bzip2-1.0.8
=> Full dependency cairo>=1.0.0nb2: found cairo-1.18.4
=> Full dependency dbus>=0.91: found dbus-1.14.10
=> Full dependency enchant2>=2: found enchant2-2.8.2
=> Full dependency expat>=1.95.7: found expat-2.7.1
=> Full dependency fontconfig>=2.15.0: found fontconfig-2.15.0
=> Full dependency freetype2>=2.13.0: found freetype2-2.13.3
=> Full dependency fribidi>=0.19.1: found fribidi-1.0.16
=> Full dependency gdk-pixbuf2>=2.22.0: found gdk-pixbuf2-2.42.12
=> Full dependency gettext-lib>=0.22: found gettext-lib-0.22.5
=> Full dependency glib2>=2.4.0: found glib2-2.82.5
=> Full dependency gmp>=4.2.1: found gmp-6.3.0
=> Full dependency graphite2>=1.2: found graphite2-1.3.14nb3
=> Full dependency gtksourceview3>=3.4.2: found gtksourceview3-3.24.11nb27
=> Full dependency gtkspell3>=3.0: found gtkspell3-3.0.10nb17
=> Full dependency harfbuzz>=2.1.1: found harfbuzz-11.1.0
=> Full dependency libiconv>=1.9.1: found libiconv-1.17
=> Full dependency jbigkit>=2.0: found jbigkit-2.1nb1
=> Full dependency jpeg>=8nb1: found jpeg-9f
=> Full dependency libX11>=1.1: found libX11-1.8.12
=> Full dependency libXau>=1.0: found libXau-1.0.12
=> Full dependency libXdmcp>=0.99: found libXdmcp-1.1.5
=> Full dependency libXft>=2.1.10: found libXft-2.3.9
=> Full dependency libXrender>=0.9.2: found libXrender-0.9.12
=> Full dependency libepoxy>=1.4: found libepoxy-1.5.10nb2
=> Full dependency libffi>=1.20: found libffi-3.4.8
=> Full dependency libxcb>=1.6: found libxcb-1.17.0
=> Full dependency libxml2>=2.6.2: found libxml2-2.14.2nb1
=> Full dependency lzo>=2.01: found lzo-2.10
=> Full dependency ncurses>=5.3nb1: found ncurses-6.5
=> Full dependency pango>=1.6.0: found pango-1.56.3
=> Full dependency pcre2>=10.21: found pcre2-10.45
=> Full dependency pixman>=0.40.0: found pixman-0.44.2
=> Full dependency png>=1.2.4: found png-1.6.47
=> Full dependency shared-mime-info>=0.15: found shared-mime-info-2.4nb5
=> Full dependency tiff>=3.6.1: found tiff-4.7.0
=> Full dependency xz>=5.0.0: found xz-5.8.1
=> Full dependency zlib>=1.1.4: found zlib-1.3.1
===> Overriding tools for coq-8.20.1nb1
===> Extracting for coq-8.20.1nb1
===> Patching for coq-8.20.1nb1
=> Applying pkgsrc patches for coq-8.20.1nb1
=> Verifying /Volumes/data/jenkins/workspace/pkgsrc-macos-upstream-arm64/lang/coq/patches/patch-tools_coqdoc_dune
=> Applying pkgsrc patch /Volumes/data/jenkins/workspace/pkgsrc-macos-upstream-arm64/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.20.1nb1
/bin/mkdir -p /Users/pbulk/build/lang/coq/work/.buildlink/lib/pkgconfig
cd /Users/pbulk/build/lang/coq/work/.buildlink/lib/pkgconfig && /bin/ln -sf enchant-2.pc enchant.pc
===> Configuring for coq-8.20.1nb1
=> Replacing python interpreter in tools/make-both-single-timing-files.py tools/make-both-time-files.py tools/make-one-time-file.py.
You have OCaml 4.14.2. Good!
You have OCamlfind 1.9.8. Good!
You have native-code compilation. Good!
You have the Zarith library 1.12 installed. Good!
Architecture : Darwin
Sys.os_type : Unix
OCaml version : 4.14.2
OCaml binaries in : /opt/pkg/bin/
OCaml library in : /opt/pkg/lib/ocaml
Web browser : open %s
Coq web site : http://coq.inria.fr/
Bytecode VM enabled : true
Native Compiler enabled : ondemand
Paths where installation is expected by Coq Makefile:
- Coq is expected in /opt/pkg
- the Coq library is expected in /opt/pkg/lib/coq
- the Coqide configuration files is expected in /opt/pkg/etc/xdg/coq
- the Coqide data files is expected in /opt/pkg/share/coq
- the Coq man pages is expected in /opt/pkg/share/man
- documentation prefix path for all Coq packages is expected in /opt/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'.