=> 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:
* 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.2
=> 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
=> 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.1
=> 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
=> Build dependency xcb-proto>=1.4: found xcb-proto-1.17.0nb4
=> Build dependency xorgproto>=2016.1: found xorgproto-2024.1
=> Full dependency at-spi2-core>=2.3.2: found at-spi2-core-2.54.0nb4
=> 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.2
=> 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.6.3
=> Full dependency fontconfig>=2.11.91: 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.2
=> 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.11nb25
=> Full dependency gtkspell3>=3.0: found gtkspell3-3.0.10nb16
=> Full dependency harfbuzz>=2.1.1: found harfbuzz-10.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.10
=> Full dependency libXau>=1.0: found libXau-1.0.11
=> Full dependency libXdmcp>=0.99: found libXdmcp-1.1.5
=> Full dependency libXft>=2.1.10: found libXft-2.3.8nb1
=> Full dependency libXrender>=0.9.2: found libXrender-0.9.11
=> Full dependency libepoxy>=1.4: found libepoxy-1.5.10nb2
=> Full dependency libffi>=1.20: found libffi-3.4.6
=> Full dependency libxcb>=1.6: found libxcb-1.17.0
=> Full dependency libxml2>=2.6.2: found libxml2-2.12.9nb3
=> 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.54.0
=> Full dependency pcre2>=10.21: found pcre2-10.44
=> Full dependency pixman>=0.40.0: found pixman-0.44.0
=> Full dependency png>=1.2.4: found png-1.6.44
=> Full dependency shared-mime-info>=0.15: found shared-mime-info-2.4nb4
=> Full dependency tiff>=3.6.1: found tiff-4.7.0
=> Full dependency xz>=5.0.0: found xz-5.6.3
=> Full dependency zlib>=1.1.4: found zlib-1.3.1
===> 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 /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-arm64/lang/coq/patches/patch-Makefile.install
=> Applying pkgsrc patch /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-arm64/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 /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-arm64/lang/coq/patches/patch-Makefile.make
=> Applying pkgsrc patch /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-arm64/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 /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-arm64/lang/coq/patches/patch-tools_configure_coqide.ml
=> Applying pkgsrc patch /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-arm64/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 /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-arm64/lang/coq/patches/patch-tools_coqdoc_dune
=> Applying pkgsrc patch /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-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.15.2nb19
/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.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.
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 : Darwin
Sys.os_type : Unix
OCaml version : 4.14.2
OCaml binaries in : /opt/pkg/bin/
OCaml library in : /opt/pkg/lib/ocaml
Native dynamic link support : true
Lablgtk3 library in :
CoqIDE : opt
Documentation : None
Web browser : open %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 /opt/pkg
- the Coq library will be copied in /opt/pkg/lib/coq
- the Coqide configuration files will be copied in /opt/pkg/etc/xdg/coq
- the Coqide data files will be copied in /opt/pkg/share/coq
- the Coq man pages will be copied in /opt/pkg/share/man
- documentation prefix path for all Coq packages will be copied 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'.