+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /opt/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=39 WRKLOG=/tmp/bulklog/coq-8.15.2/work.log
+ su pbulk -c '"$@"' make /opt/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=39 WRKLOG=/tmp/bulklog/coq-8.15.2/work.log
=> 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.2
==========================================================================
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.2. Their current value is shown below:
* CURSES_DEFAULT = ncurses
* JPEG_DEFAULT = jpeg
* OCAML_USE_OPT_COMPILER = yes
* PYTHON_VERSION_DEFAULT = 39
Based on these variables, the following variables have been set:
* CURSES_TYPE = ncurses
* JPEGBASE (defined, but empty)
* JPEG_TYPE = jpeg
* PYPACKAGE = python39
* 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.70.5
=> Tool dependency mktools-[0-9]*: found mktools-20220614
=> Tool dependency gmake>=3.81: found gmake-4.3nb3
=> Tool dependency cwrappers>=20150314: found cwrappers-20220403
=> Tool dependency checkperms>=1.1: found checkperms-1.12
=> Build dependency xorgproto>=2016.1: found xorgproto-2022.1
=> Build dependency xcb-proto>=1.4: found xcb-proto-1.15.2
=> Full dependency adwaita-icon-theme-[0-9]*: found adwaita-icon-theme-40.1.1
=> Full dependency ocaml-findlib>=1.9.3nb1: found ocaml-findlib-1.9.3nb1
=> Full dependency ocaml>=4.14.0: found ocaml-4.14.0
=> Full dependency python39>=3.9.0: found python39-3.9.13
=> Full dependency ocaml-lablgtk3>=3.1.2nb1: found ocaml-lablgtk3-3.1.2nb2
=> Full dependency gtk3+>=3.24.30nb1: found gtk3+-3.24.33
=> Full dependency ocaml-dune>=2.9.3nb1: found ocaml-dune-2.9.3nb1
=> Full dependency ocaml-zarith>=1.12: found ocaml-zarith-1.12
===> Overriding tools for coq-8.15.2
===> Extracting for coq-8.15.2
===> Patching for coq-8.15.2
=> Applying pkgsrc patches for coq-8.15.2
=> Verifying /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq/patches/patch-Makefile.install
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-upstream-trunk/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 /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq/patches/patch-Makefile.make
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-upstream-trunk/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 /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq/patches/patch-tools_configure_coqide.ml
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-upstream-trunk/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 /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq/patches/patch-tools_coqdoc_dune
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-upstream-trunk/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.2
/usr/bin/mkdir -p /home/pbulk/build/lang/coq/work/.buildlink/lib/pkgconfig
cd /home/pbulk/build/lang/coq/work/.buildlink/lib/pkgconfig && /usr/bin/ln -sf enchant-2.pc enchant.pc
===> Configuring for coq-8.15.2
=> 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.
=> Checking for portability problems in extracted files
You have OCaml 4.14.0. Good!
You have OCamlfind 1.9.3. Good!
You have native-code compilation. Good!
You have the Zarith library 1.12 installed. Good!
LablGtk3 and LablGtkSourceView3 found ([unspecified]), with native threads:
=> native CoqIDE will be built.
Architecture : SunOS
Sys.os_type : Unix
OCaml version : 4.14.0
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 : 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 /opt/pkg
- the Coq library will be copied in /opt/pkg/lib/coq
- the Coqide configuration files will be copied in /etc/opt/pkg/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'.