Building on summer
(from freebsd-ocaml-5.0)
2023-09-16 20:12.28 ---> using "b0ee167c73857b60ecf6c06eff6bbe96857a02ac84fefd2b9807cb2eea16bf97" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam"))
2023-09-16 20:12.29 ---> using "58da31f76f3dd28576bb2b11a05c1473a2cbc0bc8e959f83414ab7001888e94f" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q b61304c6db353e679a36720d8b914b029d6fbc0c"))
2023-09-16 20:12.29 ---> using "8d3da13405344b39e752afb838c3c735052c4eec4b16365a8f42fa332f48db13" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
/usr/home/opam/.profile is already up-to-date.
[NOTE] Make sure that /usr/home/opam/.profile is well sourced in your ~/.bashrc.
2023-09-16 20:12.29 ---> using "8116be61a4c735c894d82723f81082e77bc159c30ffe9a35227f19965692cf33" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1 (https://github.com/ocaml/ocaml/archive/4.14.1.tar.gz)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14.1) to update the current shell environment
2023-09-16 20:12.29 ---> using "d74ca11c81cb94850460e040b430ca34af571abb56e8a7a8f872c85baa4c4e5d" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2023-09-16 20:12.30 ---> using "c0b3aedd2094499d94806c83a2a6d025c18f903b4e4191cfd35f3ee66a43d1bd" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"coq-lsp.0.1.7+8.17\"\
\nopam install -vy \"coq-lsp.0.1.7+8.17\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"coq-lsp.0.1.7+8.17\" | grep -q '\"freebsd\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] coq-lsp.0.1.7+8.17 is not installed.
Nothing to do.
The following actions will be performed:
- install cmdliner 1.2.0 [required by coq-lsp]
- install dune 3.10.0 [required by coq-lsp]
- install ocamlfind 1.9.6 [required by coq-serapi]
- install seq base [required by yojson]
- install conf-gmp 4 [required by zarith]
- install stringext 1.6.0 [required by uri]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install sexplib0 v0.16.0 [required by sexplib]
- install result 1.5 [required by ppx_deriving_yojson, ppx_deriving, angstrom]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install menhirSdk 20230608 [required by menhir]
- install menhirLib 20230608 [required by menhir]
- install dune-build-info 3.10.0 [required by coq-lsp]
- install csexp 1.5.2 [required by dune-configurator]
- install cppo 1.6.9 [required by ppx_deriving]
- install num 1.4 [required by sexplib]
- install zarith 1.13 [required by coq-core]
- install parsexp v0.16.0 [required by sexplib]
- install ppxlib 0.30.0 [required by ppx_hash, ppx_deriving, ppx_compare, etc.]
- install menhir 20230608 [required by coq-lsp]
- install dune-configurator 3.10.0 [required by base, bigstringaf]
- install yojson 2.1.0 [required by coq-lsp]
- install coq-core 8.17.1 [required by coq]
- install sexplib v0.16.0 [required by coq-serapi]
- install ppx_import 1.10.0 [required by coq-serapi]
- install ppx_deriving 5.2.1 [required by coq-serapi]
- install bigstringaf 0.9.1 [required by angstrom]
- install base v0.16.3 [required by ppx_compare, ppx_hash]
- install coqide-server 8.17.1 [required by coq]
- install coq-stdlib 8.17.1 [required by coq]
- install ppx_deriving_yojson 3.7.0 [required by coq-serapi]
- install angstrom 0.15.0 [required by uri]
- install ppx_sexp_conv v0.16.0 [required by coq-serapi]
- install ppx_compare v0.16.0 [required by coq-serapi]
- install coq 8.17.1 [required by coq-lsp]
- install uri 4.2.0 [required by coq-lsp]
- install ppx_hash v0.16.0 [required by coq-serapi]
- install coq-serapi 8.17.0+0.17.1 [required by coq-lsp]
- install coq-lsp 0.1.7+8.17
===== 41 to install =====
The following system packages will first need to be installed:
gmp
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/local/bin/sudo "pkg" "install" "-y" "gmp"
- Updating FreeBSD repository catalogue...
- FreeBSD repository is up to date.
- All repositories are up to date.
- The following 1 package(s) will be affected (of 0 checked):
-
- New packages to be INSTALLED:
- gmp: 6.2.1
-
- Number of packages to be installed: 1
-
- The process will require 3 MiB more space.
- 475 KiB to be downloaded.
- [summer] [1/1] Fetching gmp-6.2.1.pkg: .......... done
- Checking integrity... done (0 conflicting)
- [summer] [1/1] Installing gmp-6.2.1...
- [summer] [1/1] Extracting gmp-6.2.1: .......... done
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/123:
Processing 2/123:
Processing 3/123:
-> retrieved angstrom.0.15.0 (cached)
Processing 4/123:
-> retrieved bigstringaf.0.9.1 (cached)
Processing 5/123:
Processing 6/123: [coq.8.17.1: http]
Processing 7/123: [coq.8.17.1: http] [conf-gmp: sh]
Processing 7/123: [conf-gmp: sh]
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 7/123:
-> installed conf-gmp.4
Processing 8/123:
-> retrieved cmdliner.1.2.0 (cached)
Processing 9/123:
Processing 10/123: [cmdliner: gmake all]
-> retrieved coq-core.8.17.1 (cached)
Processing 11/123: [coq-lsp.0.1.7+8.17: http] [cmdliner: gmake all]
-> retrieved coq.8.17.1 (https://github.com/coq/coq/archive/refs/tags/V8.17.1.tar.gz)
Processing 12/123: [coq-lsp.0.1.7+8.17: http] [coq-serapi.8.17.0+0.17.1: http] [cmdliner: gmake all]
-> retrieved base.v0.16.3 (cached)
Processing 13/123: [coq-lsp.0.1.7+8.17: http] [coq-serapi.8.17.0+0.17.1: http] [cmdliner: gmake all]
Processing 13/123: [coq-serapi.8.17.0+0.17.1: http] [cmdliner: gmake all]
Processing 13/123: [cmdliner: gmake all]
-> retrieved coq-stdlib.8.17.1 (cached)
Processing 14/123: [cmdliner: gmake all]
-> retrieved coq-serapi.8.17.0+0.17.1 (https://github.com/ejgallego/coq-serapi/releases/download/8.17.0%2B0.17.1/coq-serapi-8.17.0.0.17.1.tbz)
Processing 15/123: [cmdliner: gmake all]
-> retrieved coq-lsp.0.1.7+8.17 (https://github.com/ejgallego/coq-lsp/releases/download/0.1.7%2B8.17/coq-lsp-0.1.7.8.17.tbz)
Processing 16/123: [cmdliner: gmake all]
-> retrieved cppo.1.6.9 (cached)
Processing 17/123: [cmdliner: gmake all]
-> retrieved csexp.1.5.2 (cached)
Processing 18/123: [cmdliner: gmake all]
-> retrieved coqide-server.8.17.1 (cached)
Processing 19/123: [cmdliner: gmake all]
- ocaml build.ml cma
- ocaml build.ml cmxa
- ocaml build.ml cmxs
-> compiled cmdliner.1.2.0
Processing 19/123:
Processing 20/123: [cmdliner: gmake install]
-> retrieved dune-configurator.3.10.0 (cached)
Processing 21/123: [cmdliner: gmake install]
- install -d "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install pkg/META _build/cmdliner.mli _build/cmdliner.cmi _build/cmdliner.cmti "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install cmdliner.opam "/usr/home/opam/.opam/4.14.1/lib/cmdliner/opam"
- install _build/cmdliner.cma "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install _build/cmdliner.cmxa _build/cmdliner.a _build/cmdliner.cmx _build/cmdliner_arg.cmx _build/cmdliner_base.cmx _build/cmdliner_cline.cmx _build/cmdliner_cmd.cmx _build/cmdliner_docgen.cmx _build/cmdliner_eval.cmx _build/cmdliner_exit.cmx _build/cmdliner_info.cmx _build/cmdliner_manpage.cmx _build/cmdliner_msg.cmx _build/cmdliner_term.cmx _build/cmdliner_term_deprecated.cmx _build/cmdliner_trie.cmx \
- "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install _build/cmdliner.cmxs "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
Processing 21/123: [cmdliner: gmake install-doc]
-> retrieved dune-build-info.3.10.0 (cached)
Processing 22/123: [cmdliner: gmake install-doc]
- install -d "/usr/home/opam/.opam/4.14.1/doc/cmdliner/odoc-pages"
- install CHANGES.md LICENSE.md README.md "/usr/home/opam/.opam/4.14.1/doc/cmdliner"
- install doc/index.mld doc/cli.mld doc/examples.mld doc/tutorial.mld \
- doc/tool_man.mld "/usr/home/opam/.opam/4.14.1/doc/cmdliner/odoc-pages"
-> installed cmdliner.1.2.0
Processing 22/123:
-> retrieved menhir.20230608 (cached)
Processing 23/123:
-> retrieved menhirLib.20230608 (cached)
Processing 24/123:
-> retrieved menhirSdk.20230608 (cached)
Processing 25/123:
-> retrieved num.1.4 (cached)
Processing 26/123:
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
Processing 27/123:
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
Processing 28/123:
-> retrieved ocamlfind.1.9.6 (cached)
Processing 29/123:
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 30/123: [ocamlfind: patch]
-> retrieved ppx_compare.v0.16.0 (cached)
Processing 31/123: [ocamlfind: patch]
Processing 31/123: [ocamlfind: ./configure]
-> retrieved parsexp.v0.16.0 (cached)
Processing 32/123: [ocamlfind: ./configure]
-> retrieved ppx_derivers.1.2.1 (cached)
Processing 33/123: [ocamlfind: ./configure]
-> retrieved ppx_deriving.5.2.1 (cached)
Processing 34/123: [ocamlfind: ./configure]
-> retrieved ppx_deriving_yojson.3.7.0 (cached)
Processing 35/123: [ppx_import.1.10.0: http] [ocamlfind: ./configure]
-> retrieved ppx_hash.v0.16.0 (cached)
Processing 36/123: [ppx_import.1.10.0: http] [ocamlfind: ./configure]
-> retrieved dune.3.10.0 (cached)
Processing 37/123: [ppx_import.1.10.0: http] [ocamlfind: ./configure]
Processing 38/123: [ppx_import.1.10.0: http] [dune: ocaml 15] [ocamlfind: ./configure]
-> retrieved ppxlib.0.30.0 (cached)
Processing 39/123: [ppx_import.1.10.0: http] [dune: ocaml 15] [ocamlfind: ./configure]
-> retrieved ppx_sexp_conv.v0.16.0 (cached)
Processing 40/123: [ppx_import.1.10.0: http] [dune: ocaml 15] [ocamlfind: ./configure]
Processing 41/123: [ppx_import.1.10.0: http] [dune: ocaml 15] [ocamlfind: ./configure]
Processing 42/123: [ppx_import.1.10.0: http] [dune: ocaml 15] [ocamlfind: ./configure]
-> installed seq.base
Processing 43/123: [ppx_import.1.10.0: http] [dune: ocaml 15] [ocamlfind: ./configure]
-> retrieved result.1.5 (cached)
Processing 44/123: [ppx_import.1.10.0: http] [dune: ocaml 15] [ocamlfind: ./configure]
-> retrieved sexplib.v0.16.0 (cached)
Processing 45/123: [ppx_import.1.10.0: http] [dune: ocaml 15] [ocamlfind: ./configure]
-> retrieved sexplib0.v0.16.0 (cached)
Processing 46/123: [ppx_import.1.10.0: http] [dune: ocaml 15] [ocamlfind: ./configure]
-> retrieved stdlib-shims.0.3.0 (cached)
Processing 47/123: [ppx_import.1.10.0: http] [dune: ocaml 15] [ocamlfind: ./configure]
-> retrieved stringext.1.6.0 (cached)
Processing 48/123: [ppx_import.1.10.0: http] [dune: ocaml 15] [ocamlfind: ./configure]
-> retrieved uri.4.2.0 (cached)
Processing 49/123: [ppx_import.1.10.0: http] [dune: ocaml 15] [ocamlfind: ./configure]
-> retrieved yojson.2.1.0 (cached)
-> retrieved zarith.1.13 (cached)
Processing 49/123: [dune: ocaml 15] [ocamlfind: ./configure]
- Welcome to findlib version 1.9.6
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /usr/home/opam/.opam/4.14.1/lib/ocaml
- Binaries: /usr/home/opam/.opam/4.14.1/bin
- Manual pages: /usr/home/opam/.opam/4.14.1/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /usr/home/opam/.opam/4.14.1/lib
- The configuration file is written to:
- findlib config file: /usr/home/opam/.opam/4.14.1/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /usr/home/opam/.opam/4.14.1/bin
- Manual pages: /usr/home/opam/.opam/4.14.1/man
- topfind script: /usr/home/opam/.opam/4.14.1/lib/ocaml
- Topfind ppxopt support: yes
- Toolbox: no
- Link custom runtime: no
- Need bytes compatibility: no
-
- Configuration has been written to Makefile.config
-
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing 49/123: [dune: ocaml 15] [ocamlfind: gmake all]
-> retrieved ppx_import.1.10.0 (https://github.com/ocaml-ppx/ppx_import/releases/download/1.10.0/ppx_import-1.10.0.tbz)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/usr/home/opam/.opam/4.14.1/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/usr/home/opam/.opam/4.14.1/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;freebsd;g' \
- >findlib_config.ml
- if [ "true" = "true" ]; then \
- cp topfind.ml.in topfind.ml; \
- else \
- sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
- > topfind.ml ; \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/usr/home/opam/.opam/4.14.1/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake all-config
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/usr/home/opam/.opam/4.14.1/lib' | \
- tools/patch '@FINDLIB_PATH@' '/usr/home/opam/.opam/4.14.1/lib' -p >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
Processing 49/123: [dune: ocaml 15] [ocamlfind: gmake opt]
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 49/123: [dune: ocaml 15]
Processing 50/123: [dune: ocaml 15] [ocamlfind: gmake install]
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/usr/home/opam/.opam/4.14.1/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//usr/home/opam/.opam/4.14.1/lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi; \
- fi; \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- install -d "/usr/home/opam/.opam/4.14.1/bin"
- install -d "/usr/home/opam/.opam/4.14.1/man"
- /usr/local/bin/gmake install-config
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/usr/home/opam/.opam/4.14.1/lib/findlib.conf\"`"
- test -f "/usr/home/opam/.opam/4.14.1/lib/findlib.conf" || install -c findlib.conf "/usr/home/opam/.opam/4.14.1/lib/findlib.conf"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake install ); done
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/usr/home/opam/.opam/4.14.1/lib/findlib"
- install -d "/usr/home/opam/.opam/4.14.1/bin"
- test 1 -eq 0 || install -d "/usr/home/opam/.opam/4.14.1/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/usr/home/opam/.opam/4.14.1/lib/ocaml/"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \
- fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \
- findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \
- META` && \
- install -c $files "/usr/home/opam/.opam/4.14.1/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/usr/home/opam/.opam/4.14.1/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/usr/home/opam/.opam/4.14.1/lib/findlib/"; \
- fi
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake install-meta
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "/usr/home/opam/.opam/4.14.1/lib/$x"; install -c site-lib-src/$x/META "/usr/home/opam/.opam/4.14.1/lib/$x/META.tmp" && mv "/usr/home/opam/.opam/4.14.1/lib/$x/META.tmp" "/usr/home/opam/.opam/4.14.1/lib/$x/META"; done
- install -d "/usr/home/opam/.opam/4.14.1/lib/findlib"; install -c Makefile.packages "/usr/home/opam/.opam/4.14.1/lib/findlib/Makefile.packages"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/local/bin/gmake install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/usr/home/opam/.opam/4.14.1/bin"
- /usr/local/bin/gmake install-doc
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/usr/home/opam/.opam/4.14.1/man/man1" "/usr/home/opam/.opam/4.14.1/man/man3" "/usr/home/opam/.opam/4.14.1/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/usr/home/opam/.opam/4.14.1/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/usr/home/opam/.opam/4.14.1/man/man5"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 50/123: [dune: ocaml 15]
Processing 51/123: [dune: ocaml 15] [num: gmake]
Processing 52/123: [dune: ocaml 15] [num: gmake] [zarith: sh]
- + LDFLAGS=' -L/usr/local/lib' CFLAGS=' -I/usr/local/include' ./configure
- binary ocaml: found in /usr/home/opam/.opam/4.14.1/bin
- binary ocamlc: found in /usr/home/opam/.opam/4.14.1/bin
- binary ocamldep: found in /usr/home/opam/.opam/4.14.1/bin
- binary ocamlmklib: found in /usr/home/opam/.opam/4.14.1/bin
- binary ocamldoc: found in /usr/home/opam/.opam/4.14.1/bin
- binary ocamlopt: found in /usr/home/opam/.opam/4.14.1/bin
- checking compilation with ocamlc -O3 -Wall -Wextra -I/usr/local/include: working
- include caml/mlvalues.h: found
- library dynlink.cmxa: found
- binary ocamlfind: found in /usr/home/opam/.opam/4.14.1/bin
- OCaml's word size is 64
- package gmp: found
- OCaml supports -bin-annot to produce documentation
-
- detected configuration:
-
- native-code: yes
- dynamic linking: yes
- defines: -DHAS_GMP
- includes: -I/usr/home/opam/.opam/4.14.1/lib/ocaml -I/usr/local/include
- libraries: -L/usr/local/lib -lgmp
- linker options: -L/usr/local/lib
- C options: -O3 -Wall -Wextra -I/usr/local/include
- installation path: /usr/home/opam/.opam/4.14.1/lib
- installation method findlib
-
- configuration successful!
- now type "make" to build
- then type "make install" or "sudo make install" to install
Processing 52/123: [dune: ocaml 15] [num: gmake] [zarith: gmake]
- /usr/local/bin/gmake -C src all
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/num.1.4/src'
- ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c
- ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c
- ocamlmklib -oc nums bng.o nat_stubs.o
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -I . -shared -o nums.cmxs nums.cmxa
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/num.1.4/src'
- /usr/local/bin/gmake -C toplevel all
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/num.1.4/toplevel'
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.mli
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.ml
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.mli
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.ml
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -a -o num_top.cma num_top_printers.cmo num_top.cmo
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/num.1.4/toplevel'
-> compiled num.1.4
Processing 52/123: [dune: ocaml 15] [zarith: gmake]
Processing 53/123: [dune: ocaml 15] [zarith: gmake] [num: ocamlfind remove]
- ocamlfind: [WARNING] No such file: /usr/home/opam/.opam/4.14.1/lib/num/META
- ocamlfind: [WARNING] No such file: /usr/home/opam/.opam/4.14.1/lib/num-top/META
Processing 53/123: [dune: ocaml 15] [zarith: gmake] [num: gmake install]
- /usr/local/bin/gmake -C src install
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/num.1.4/src'
- install -d /usr/home/opam/.opam/4.14.1/lib/ocaml
- sed -e 's/%%VERSION%%/1.4/g' META.in > META
- ocamlfind install num META
- Installed /usr/home/opam/.opam/4.14.1/lib/num/META
- rm -f META
- install -m 644 nums.cma libnums.a big_int.cmi nat.cmi num.cmi ratio.cmi arith_status.cmi big_int.mli nat.mli num.mli ratio.mli arith_status.mli big_int.cmti nat.cmti num.cmti ratio.cmti arith_status.cmti nums.cmxa nums.a int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx nums.cmxs /usr/home/opam/.opam/4.14.1/lib/ocaml
- install -d /usr/home/opam/.opam/4.14.1/lib/ocaml/stublibs
- install dllnums.so /usr/home/opam/.opam/4.14.1/lib/ocaml/stublibs
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/num.1.4/src'
- /usr/local/bin/gmake -C toplevel install
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/num.1.4/toplevel'
- sed -e 's/%%VERSION%%/1.4/g' META.in > META
- ocamlfind install num-top META num_top.cma num_top.cmi num_top_printers.cmi
- Installed /usr/home/opam/.opam/4.14.1/lib/num-top/num_top_printers.cmi
- Installed /usr/home/opam/.opam/4.14.1/lib/num-top/num_top.cmi
- Installed /usr/home/opam/.opam/4.14.1/lib/num-top/num_top.cma
- Installed /usr/home/opam/.opam/4.14.1/lib/num-top/META
- rm -f META
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/num.1.4/toplevel'
-> installed num.1.4
Processing 53/123: [dune: ocaml 15] [zarith: gmake]
- (echo "let"; grep "version" META | head -1) > zarith_version.ml
- ocamldep zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend
- ocamlc -g -I +compiler-libs -bin-annot -c zarith_version.ml
- ocamlc -g -I +compiler-libs -bin-annot -c z.mli
- ocamlc -g -I +compiler-libs -bin-annot -c z.ml
- ocamlc -g -I +compiler-libs -bin-annot -c q.mli
- ocamlc -g -I +compiler-libs -bin-annot -c q.ml
- ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.mli
- ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.ml
- ocamlmklib -g -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -L/usr/local/lib -lgmp -L/usr/local/lib
- ocamlc -ccopt "-I/usr/home/opam/.opam/4.14.1/lib/ocaml -I/usr/local/include -DHAS_GMP -O3 -Wall -Wextra -I/usr/local/include" -c caml_z.c
- ocamlmklib -g -failsafe -o zarith caml_z.o -L/usr/local/lib -lgmp -L/usr/local/lib
- ocamlc -g -I +compiler-libs -bin-annot -c zarith_top.ml
- ocamlc -g -o zarith_top.cma -a zarith_top.cmo
- ocamlopt -g -I +compiler-libs -c zarith_version.ml
- ocamlopt -g -I +compiler-libs -c z.ml
- ocamlopt -g -I +compiler-libs -c q.ml
- ocamlopt -g -I +compiler-libs -c big_int_Z.ml
- ocamlmklib -g -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -L/usr/local/lib -lgmp -L/usr/local/lib
- ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall
-> compiled zarith.1.13
Processing 53/123: [dune: ocaml 15]
Processing 54/123: [dune: ocaml 15] [zarith: gmake install]
- ocamlfind install -destdir "/usr/home/opam/.opam/4.14.1/lib" zarith META zarith.cma libzarith.a z.cmi q.cmi big_int_Z.cmi zarith_top.cma z.mli zarith.cmxa zarith_version.cmx z.cmx q.cmx big_int_Z.cmx zarith.cmxs zarith.h q.mli big_int_Z.mli zarith.a z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/big_int_Z.cmti
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/q.cmti
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/z.cmti
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/zarith.a
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/big_int_Z.mli
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/q.mli
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/zarith.h
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/zarith.cmxs
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/big_int_Z.cmx
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/q.cmx
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/z.cmx
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/zarith_version.cmx
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/zarith.cmxa
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/z.mli
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/zarith_top.cma
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/big_int_Z.cmi
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/q.cmi
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/z.cmi
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/libzarith.a
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/zarith.cma
- Installed /usr/home/opam/.opam/4.14.1/lib/stublibs/dllzarith.so
- Installed /usr/home/opam/.opam/4.14.1/lib/stublibs/dllzarith.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /usr/home/opam/.opam/4.14.1/lib/stublibs is not mentioned in ld.conf
- Installed /usr/home/opam/.opam/4.14.1/lib/zarith/META
-> installed zarith.1.13
Processing 54/123: [dune: ocaml 15]
+ /usr/home/opam/.opam/4.14.1/bin/ocaml "boot/bootstrap.ml" "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.10.0)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 15
-
Processing 54/123: [dune: ./_boot/dune.exe build]
+ /usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.10.0/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.10.0)
-> compiled dune.3.10.0
-> installed dune.3.10.0
Processing 56/123: [coq-core: ./configure no]
Processing 57/123: [coq-core: ./configure no] [cppo: dune build]
Processing 58/123: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build]
Processing 59/123: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [dune-build-info: rm]
Processing 60/123: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [dune-build-info: rm] [menhirLib: dune build]
Processing 61/123: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [dune-build-info: rm] [menhirLib: dune build] [menhirSdk: dune build]
Processing 62/123: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [dune-build-info: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build]
Processing 63/123: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [dune-build-info: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build]
Processing 64/123: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [dune-build-info: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build]
Processing 65/123: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [dune-build-info: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build]
Processing 66/123: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [dune-build-info: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build]
Processing 67/123: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [dune-build-info: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
Processing 68/123: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [dune-build-info: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build]
-> compiled csexp.1.5.2
Processing 68/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build]
-> installed csexp.1.5.2
Processing 69/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build]
Processing 70/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: rm] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build]
Processing 70/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build]
-> compiled stringext.1.6.0
Processing 70/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> installed stringext.1.6.0
Processing 71/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
Processing 71/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> compiled stdlib-shims.0.3.0
Processing 71/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build]
-> installed stdlib-shims.0.3.0
Processing 72/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build]
-> compiled result.1.5
Processing 72/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [sexplib0: dune build]
-> installed result.1.5
Processing 73/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ppx_derivers: dune build] [sexplib0: dune build]
-> compiled ppx_derivers.1.2.1
Processing 73/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [sexplib0: dune build]
-> installed ppx_derivers.1.2.1
Processing 74/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [sexplib0: dune build]
-> compiled ocaml-syntax-shims.1.0.0
Processing 74/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build]
-> installed ocaml-syntax-shims.1.0.0
Processing 75/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build]
-> compiled menhirSdk.20230608
Processing 75/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build]
-> installed menhirSdk.20230608
Processing 76/123: [coq-core: ./configure no] [cppo: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build]
-> compiled cppo.1.6.9
Processing 76/123: [coq-core: ./configure no] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build]
-> installed cppo.1.6.9
Processing 77/123: [coq-core: ./configure no] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build]
Processing 78/123: [coq-core: ./configure no] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [yojson: dune build]
- You have OCaml 4.14.1. Good!
- You have OCamlfind 1.9.6. Good!
- You have native-code compilation. Good!
- You have the Zarith library 1.13 installed. Good!
-
- Architecture : FreeBSD
- Sys.os_type : Unix
- OCaml version : 4.14.1
- OCaml binaries in : /usr/home/opam/.opam/4.14.1/bin/
- OCaml library in : /usr/home/opam/.opam/4.14.1/lib/ocaml
- Web browser : firefox -remote "OpenURL(%s,new-tab)" || firefox %s &
- Coq web site : http://coq.inria.fr/
- Bytecode VM enabled : true
- Native Compiler enabled : no
-
- Paths where installation is expected by Coq Makefile:
- - Coq is expected in /usr/home/opam/.opam/4.14.1
- - the Coq library is expected in /usr/home/opam/.opam/4.14.1/lib/coq
- - the Coqide configuration files is expected in /usr/home/opam/.opam/4.14.1/etc/xdg/coq
- - the Coqide data files is expected in /usr/home/opam/.opam/4.14.1/share/coq
- - the Coq man pages is expected in /usr/home/opam/.opam/4.14.1/man
- - documentation prefix path for all Coq packages is expected in /usr/home/opam/.opam/4.14.1/share/doc
-
- 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'.
Processing 78/123: [coq-core: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [yojson: dune build]
-> compiled ocaml-compiler-libs.v0.12.4
Processing 78/123: [coq-core: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [sexplib0: dune build] [yojson: dune build]
-> installed ocaml-compiler-libs.v0.12.4
Processing 79/123: [coq-core: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [sexplib0: dune build] [yojson: dune build]
-> compiled sexplib0.v0.16.0
Processing 79/123: [coq-core: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [yojson: dune build]
-> installed sexplib0.v0.16.0
Processing 80/123: [coq-core: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [yojson: dune build]
Processing 81/123: [coq-core: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [parsexp: dune build] [yojson: dune build]
Processing 82/123: [coq-core: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhirLib: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20230608
Processing 82/123: [coq-core: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
-> installed menhirLib.20230608
Processing 83/123: [coq-core: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
Processing 84/123: [coq-core: dune build] [dune-build-info: dune build] [dune-configurator: dune build] [menhir: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
-> compiled dune-build-info.3.10.0
Processing 84/123: [coq-core: dune build] [dune-configurator: dune build] [menhir: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
-> installed dune-build-info.3.10.0
Processing 85/123: [coq-core: dune build] [dune-configurator: dune build] [menhir: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
-> compiled dune-configurator.3.10.0
Processing 85/123: [coq-core: dune build] [menhir: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
-> installed dune-configurator.3.10.0
Processing 86/123: [coq-core: dune build] [menhir: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
Processing 87/123: [base: dune build] [coq-core: dune build] [menhir: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
Processing 88/123: [base: dune build] [bigstringaf: dune build] [coq-core: dune build] [menhir: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
-> compiled parsexp.v0.16.0
Processing 88/123: [base: dune build] [bigstringaf: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [yojson: dune build]
-> installed parsexp.v0.16.0
Processing 89/123: [base: dune build] [bigstringaf: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [yojson: dune build]
Processing 90/123: [base: dune build] [bigstringaf: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [sexplib: dune build] [yojson: dune build]
-> compiled yojson.2.1.0
Processing 90/123: [base: dune build] [bigstringaf: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [sexplib: dune build]
-> installed yojson.2.1.0
Processing 91/123: [base: dune build] [bigstringaf: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [sexplib: dune build]
-> compiled bigstringaf.0.9.1
Processing 91/123: [base: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [sexplib: dune build]
-> installed bigstringaf.0.9.1
Processing 92/123: [base: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [sexplib: dune build]
Processing 93/123: [angstrom: dune build] [base: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [sexplib: dune build]
-> compiled angstrom.0.15.0
Processing 93/123: [base: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [sexplib: dune build]
-> installed angstrom.0.15.0
Processing 94/123: [base: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [sexplib: dune build]
Processing 95/123: [base: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [sexplib: dune build] [uri: dune build]
-> compiled sexplib.v0.16.0
Processing 95/123: [base: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [uri: dune build]
-> installed sexplib.v0.16.0
Processing 96/123: [base: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build] [uri: dune build]
-> compiled uri.4.2.0
Processing 96/123: [base: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build]
-> installed uri.4.2.0
Processing 97/123: [base: dune build] [coq-core: dune build] [menhir: dune build] [ppxlib: dune build]
-> compiled base.v0.16.3
Processing 97/123: [coq-core: dune build] [menhir: dune build] [ppxlib: dune build]
-> installed base.v0.16.3
Processing 98/123: [coq-core: dune build] [menhir: dune build] [ppxlib: dune build]
-> compiled ppxlib.0.30.0
Processing 98/123: [coq-core: dune build] [menhir: dune build]
-> installed ppxlib.0.30.0
Processing 99/123: [coq-core: dune build] [menhir: dune build]
Processing 100/123: [coq-core: dune build] [menhir: dune build] [ppx_compare: dune build]
Processing 101/123: [coq-core: dune build] [menhir: dune build] [ppx_compare: dune build] [ppx_deriving: dune build]
Processing 102/123: [coq-core: dune build] [menhir: dune build] [ppx_compare: dune build] [ppx_deriving: dune build] [ppx_import: dune build]
Processing 103/123: [coq-core: dune build] [menhir: dune build] [ppx_compare: dune build] [ppx_deriving: dune build] [ppx_import: dune build] [ppx_sexp_conv: dune build]
-> compiled ppx_compare.v0.16.0
Processing 103/123: [coq-core: dune build] [menhir: dune build] [ppx_deriving: dune build] [ppx_import: dune build] [ppx_sexp_conv: dune build]
-> installed ppx_compare.v0.16.0
Processing 104/123: [coq-core: dune build] [menhir: dune build] [ppx_deriving: dune build] [ppx_import: dune build] [ppx_sexp_conv: dune build]
-> compiled ppx_import.1.10.0
Processing 104/123: [coq-core: dune build] [menhir: dune build] [ppx_deriving: dune build] [ppx_sexp_conv: dune build]
-> installed ppx_import.1.10.0
Processing 105/123: [coq-core: dune build] [menhir: dune build] [ppx_deriving: dune build] [ppx_sexp_conv: dune build]
-> compiled ppx_deriving.5.2.1
Processing 105/123: [coq-core: dune build] [menhir: dune build] [ppx_sexp_conv: dune build]
-> installed ppx_deriving.5.2.1
Processing 106/123: [coq-core: dune build] [menhir: dune build] [ppx_sexp_conv: dune build]
Processing 107/123: [coq-core: dune build] [menhir: dune build] [ppx_deriving_yojson: dune build] [ppx_sexp_conv: dune build]
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 error messages.
- (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 194 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 298 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 40 states.
- Priority played a role in 0 of these states.
- 152 out of 298 states have a default reduction.
- 102 out of 298 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 41 out of 96 symbols keep track of their end position.
- The StackLang code contains 3973 instructions in 267 blocks.
- The StackLang code comprises 5 mutually recursive groups.
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 101 sample input sentences and 48 error messages.
-> compiled menhir.20230608
Processing 107/123: [coq-core: dune build] [ppx_deriving_yojson: dune build] [ppx_sexp_conv: dune build]
-> installed menhir.20230608
Processing 108/123: [coq-core: dune build] [ppx_deriving_yojson: dune build] [ppx_sexp_conv: dune build]
-> compiled ppx_sexp_conv.v0.16.0
Processing 108/123: [coq-core: dune build] [ppx_deriving_yojson: dune build]
-> installed ppx_sexp_conv.v0.16.0
Processing 109/123: [coq-core: dune build] [ppx_deriving_yojson: dune build]
Processing 110/123: [coq-core: dune build] [ppx_deriving_yojson: dune build] [ppx_hash: dune build]
-> compiled ppx_deriving_yojson.3.7.0
Processing 110/123: [coq-core: dune build] [ppx_hash: dune build]
-> installed ppx_deriving_yojson.3.7.0
Processing 111/123: [coq-core: dune build] [ppx_hash: dune build]
-> compiled ppx_hash.v0.16.0
Processing 111/123: [coq-core: dune build]
-> installed ppx_hash.v0.16.0
Processing 112/123: [coq-core: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "coq-core" "-j" "15" "@install" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/coq-core.8.17.1)
-> compiled coq-core.8.17.1
-> installed coq-core.8.17.1
Processing 114/123: [coq-stdlib: ./configure no]
Processing 115/123: [coq-stdlib: ./configure no] [coqide-server: dune build]
- You have OCaml 4.14.1. Good!
- You have OCamlfind 1.9.6. Good!
- You have native-code compilation. Good!
- You have the Zarith library 1.13 installed. Good!
-
- Architecture : FreeBSD
- Sys.os_type : Unix
- OCaml version : 4.14.1
- OCaml binaries in : /usr/home/opam/.opam/4.14.1/bin/
- OCaml library in : /usr/home/opam/.opam/4.14.1/lib/ocaml
- Web browser : firefox -remote "OpenURL(%s,new-tab)" || firefox %s &
- Coq web site : http://coq.inria.fr/
- Bytecode VM enabled : true
- Native Compiler enabled : no
-
- Paths where installation is expected by Coq Makefile:
- - Coq is expected in /usr/home/opam/.opam/4.14.1
- - the Coq library is expected in /usr/home/opam/.opam/4.14.1/lib/coq
- - the Coqide configuration files is expected in /usr/home/opam/.opam/4.14.1/etc/xdg/coq
- - the Coqide data files is expected in /usr/home/opam/.opam/4.14.1/share/coq
- - the Coq man pages is expected in /usr/home/opam/.opam/4.14.1/man
- - documentation prefix path for all Coq packages is expected in /usr/home/opam/.opam/4.14.1/share/doc
-
- 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'.
Processing 115/123: [coq-stdlib: gmake dunestrap] [coqide-server: dune build]
-> compiled coqide-server.8.17.1
Processing 115/123: [coq-stdlib: gmake dunestrap]
-> installed coqide-server.8.17.1
Processing 116/123: [coq-stdlib: gmake dunestrap]
+ /usr/local/bin/gmake "dunestrap" "COQ_DUNE_EXTRA_OPT=-split" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/coq-stdlib.8.17.1)
- dune build --root . theories_dune ltac2_dune
- touch .dune-stamp
- cp -a _build/default/theories_dune theories/dune && chmod +w theories/dune
- cp -a _build/default/ltac2_dune user-contrib/Ltac2/dune && chmod +w user-contrib/Ltac2/dune
Processing 116/123: [coq-stdlib: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "coq-stdlib" "-j" "15" "@install" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/coq-stdlib.8.17.1)
-> compiled coq-stdlib.8.17.1
-> installed coq-stdlib.8.17.1
Processing 118/123: [coq: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "coq" "-j" "15" "@install" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/coq.8.17.1)
-> compiled coq.8.17.1
-> installed coq.8.17.1
Processing 120/123: [coq-serapi: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "coq-serapi" "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/coq-serapi.8.17.0+0.17.1)
-> compiled coq-serapi.8.17.0+0.17.1
-> installed coq-serapi.8.17.0+0.17.1
Processing 122/123: [coq-lsp: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "coq-lsp" "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/coq-lsp.0.1.7+8.17)
-> compiled coq-lsp.0.1.7+8.17
-> installed coq-lsp.0.1.7+8.17
Done.
2023-09-16 20:24.48 ---> saved as "ab9b5bb76de002fe8faae47b3cacd4c20b444a684df1bca07a24892e20f13e98"
Job succeeded
Home|Differences with the last checks|Previous runs