Building on falling
(from freebsd-ocaml-5.0)
2023-09-16 20:15.54 ---> 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:15.55 ---> 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:15.55 ---> 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:15.55 ---> using "8116be61a4c735c894d82723f81082e77bc159c30ffe9a35227f19965692cf33" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '5.1.0' 'ocaml-base-compiler.5.1.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.1.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.1.0 (https://github.com/ocaml/ocaml/archive/5.1.0.tar.gz)
-> installed ocaml-base-compiler.5.1.0
-> installed ocaml-config.3
-> installed ocaml.5.1.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# Run eval $(opam env --switch=5.1.0) to update the current shell environment
2023-09-16 20:15.55 ---> using "73b7633f0298ea7c901ce15bd30c5ada60119470d51cc1a63067122599e45154" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2023-09-16 20:15.55 ---> using "59ac4931b4c0be1ea24be286a20f1c86c72ebf14147ef4722646fad8024c5437" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"coq-serapi.8.18.0+0.18.1\"\
\nopam install -vy \"coq-serapi.8.18.0+0.18.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"coq-serapi.8.18.0+0.18.1\" | 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-serapi.8.18.0+0.18.1 is not installed.
Nothing to do.
The following actions will be performed:
- install conf-gmp 4 [required by zarith]
- install cmdliner 1.2.0 [required by coq-serapi]
- install dune 3.10.0 [required by coq-serapi]
- install ocamlfind 1.9.6 [required by coq-serapi]
- install seq base [required by yojson]
- 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, ppx_deriving_yojson]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install csexp 1.5.2 [required by dune-configurator]
- install cppo 1.6.9 [required by ppx_deriving]
- install zarith 1.13 [required by coq-core]
- install num 1.4 [required by sexplib]
- install parsexp v0.16.0 [required by sexplib]
- install ppxlib 0.30.0 [required by ppx_hash, ppx_deriving, ppx_compare, etc.]
- install dune-configurator 3.10.0 [required by base]
- install yojson 2.1.0 [required by coq-serapi]
- install coq-core 8.18.0 [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 base v0.16.3 [required by ppx_compare, ppx_hash]
- install coqide-server 8.18.0 [required by coq]
- install coq-stdlib 8.18.0 [required by coq]
- install ppx_deriving_yojson 3.7.0 [required by coq-serapi]
- install ppx_sexp_conv v0.16.0 [required by coq-serapi]
- install ppx_compare v0.16.0 [required by coq-serapi]
- install coq 8.18.0 [required by coq-serapi]
- install ppx_hash v0.16.0 [required by coq-serapi]
- install coq-serapi 8.18.0+0.18.1
===== 31 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.
- [falling] [1/1] Fetching gmp-6.2.1.pkg: .......... done
- Checking integrity... done (0 conflicting)
- [falling] [1/1] Installing gmp-6.2.1...
- [falling] [1/1] Extracting gmp-6.2.1: .......... done
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/93:
Processing 2/93:
Processing 3/93:
Processing 4/93:
Processing 5/93: [conf-gmp: sh]
-> retrieved coq.8.18.0 (cached)
Processing 6/93: [conf-gmp: sh]
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 6/93:
-> installed conf-gmp.4
Processing 7/93:
-> retrieved cmdliner.1.2.0 (cached)
Processing 8/93:
Processing 9/93: [cmdliner: gmake all]
-> retrieved coq-serapi.8.18.0+0.18.1 (cached)
Processing 10/93: [cmdliner: gmake all]
-> retrieved coq-core.8.18.0 (cached)
Processing 11/93: [cmdliner: gmake all]
-> retrieved coq-stdlib.8.18.0 (cached)
Processing 12/93: [cmdliner: gmake all]
-> retrieved coqide-server.8.18.0 (cached)
Processing 13/93: [cmdliner: gmake all]
-> retrieved cppo.1.6.9 (cached)
Processing 14/93: [cmdliner: gmake all]
-> retrieved csexp.1.5.2 (cached)
Processing 15/93: [cmdliner: gmake all]
-> retrieved dune.3.10.0 (cached)
Processing 16/93: [cmdliner: gmake all]
Processing 17/93: [cmdliner: gmake all] [dune: ocaml 31]
-> retrieved num.1.4 (cached)
Processing 18/93: [cmdliner: gmake all] [dune: ocaml 31]
-> retrieved dune-configurator.3.10.0 (cached)
Processing 19/93: [cmdliner: gmake all] [dune: ocaml 31]
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
Processing 20/93: [cmdliner: gmake all] [dune: ocaml 31]
- ocaml build.ml cma
- ocaml build.ml cmxa
- ocaml build.ml cmxs
-> compiled cmdliner.1.2.0
Processing 20/93: [dune: ocaml 31]
Processing 21/93: [dune: ocaml 31] [cmdliner: gmake install]
-> retrieved parsexp.v0.16.0 (cached)
Processing 22/93: [dune: ocaml 31] [cmdliner: gmake install]
- install -d "/usr/home/opam/.opam/5.1.0/lib/cmdliner"
- install pkg/META _build/cmdliner.mli _build/cmdliner.cmi _build/cmdliner.cmti "/usr/home/opam/.opam/5.1.0/lib/cmdliner"
- install cmdliner.opam "/usr/home/opam/.opam/5.1.0/lib/cmdliner/opam"
- install _build/cmdliner.cma "/usr/home/opam/.opam/5.1.0/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/5.1.0/lib/cmdliner"
- install _build/cmdliner.cmxs "/usr/home/opam/.opam/5.1.0/lib/cmdliner"
Processing 22/93: [dune: ocaml 31] [cmdliner: gmake install-doc]
-> retrieved ocamlfind.1.9.6 (cached)
Processing 23/93: [dune: ocaml 31] [cmdliner: gmake install-doc]
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 24/93: [dune: ocaml 31] [ocamlfind: patch] [cmdliner: gmake install-doc]
-> retrieved ppx_derivers.1.2.1 (cached)
Processing 25/93: [dune: ocaml 31] [ocamlfind: patch] [cmdliner: gmake install-doc]
Processing 25/93: [dune: ocaml 31] [ocamlfind: ./configure] [cmdliner: gmake install-doc]
- install -d "/usr/home/opam/.opam/5.1.0/doc/cmdliner/odoc-pages"
- install CHANGES.md LICENSE.md README.md "/usr/home/opam/.opam/5.1.0/doc/cmdliner"
- install doc/index.mld doc/cli.mld doc/examples.mld doc/tutorial.mld \
- doc/tool_man.mld "/usr/home/opam/.opam/5.1.0/doc/cmdliner/odoc-pages"
-> installed cmdliner.1.2.0
Processing 25/93: [dune: ocaml 31] [ocamlfind: ./configure]
-> retrieved ppx_deriving.5.2.1 (cached)
Processing 26/93: [dune: ocaml 31] [ocamlfind: ./configure]
-> retrieved ppx_compare.v0.16.0 (cached)
Processing 27/93: [dune: ocaml 31] [ocamlfind: ./configure]
-> retrieved ppx_deriving_yojson.3.7.0 (cached)
Processing 28/93: [dune: ocaml 31] [ocamlfind: ./configure]
-> retrieved ppx_hash.v0.16.0 (cached)
Processing 29/93: [dune: ocaml 31] [ocamlfind: ./configure]
-> retrieved ppx_import.1.10.0 (cached)
Processing 30/93: [dune: ocaml 31] [ocamlfind: ./configure]
-> retrieved ppx_sexp_conv.v0.16.0 (cached)
Processing 31/93: [dune: ocaml 31] [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...
- Configuring libraries...
- unix: found (in +unix)
- dynlink: found (in +dynlink)
- bigarray: not present (possible since 4.08)
- 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 (in +str)
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- 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/5.1.0/lib/ocaml
- Binaries: /usr/home/opam/.opam/5.1.0/bin
- Manual pages: /usr/home/opam/.opam/5.1.0/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /usr/home/opam/.opam/5.1.0/lib
- The configuration file is written to:
- findlib config file: /usr/home/opam/.opam/5.1.0/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /usr/home/opam/.opam/5.1.0/bin
- Manual pages: /usr/home/opam/.opam/5.1.0/man
- topfind script: /usr/home/opam/.opam/5.1.0/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 31/93: [dune: ocaml 31] [ocamlfind: gmake all]
-> retrieved base.v0.16.3 (cached)
Processing 32/93: [dune: ocaml 31] [ocamlfind: gmake all]
Processing 33/93: [dune: ocaml 31] [ocamlfind: gmake all]
Processing 34/93: [dune: ocaml 31] [ocamlfind: gmake all]
-> installed seq.base
Processing 35/93: [dune: ocaml 31] [ocamlfind: gmake all]
-> retrieved result.1.5 (cached)
Processing 36/93: [dune: ocaml 31] [ocamlfind: gmake all]
-> retrieved sexplib.v0.16.0 (cached)
Processing 37/93: [dune: ocaml 31] [ocamlfind: gmake all]
-> retrieved sexplib0.v0.16.0 (cached)
Processing 38/93: [dune: ocaml 31] [ocamlfind: gmake all]
-> retrieved stdlib-shims.0.3.0 (cached)
Processing 39/93: [dune: ocaml 31] [ocamlfind: gmake all]
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/usr/home/opam/.opam/5.1.0/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/5.1.0/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/5.1.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake all-config
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/usr/home/opam/.opam/5.1.0/lib' | \
- tools/patch '@FINDLIB_PATH@' '/usr/home/opam/.opam/5.1.0/lib/ocaml:/usr/home/opam/.opam/5.1.0/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/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
Processing 39/93: [dune: ocaml 31] [ocamlfind: gmake opt]
-> retrieved ppxlib.0.30.0 (cached)
-> retrieved zarith.1.13 (cached)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 39/93: [dune: ocaml 31]
Processing 40/93: [dune: ocaml 31] [ocamlfind: gmake install]
-> retrieved yojson.2.1.0 (cached)
- if [ "0" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/usr/home/opam/.opam/5.1.0/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//usr/home/opam/.opam/5.1.0/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/5.1.0/bin"
- install -d "/usr/home/opam/.opam/5.1.0/man"
- /usr/local/bin/gmake install-config
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/usr/home/opam/.opam/5.1.0/lib/findlib.conf\"`"
- test -f "/usr/home/opam/.opam/5.1.0/lib/findlib.conf" || install -c findlib.conf "/usr/home/opam/.opam/5.1.0/lib/findlib.conf"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/usr/home/opam/.opam/5.1.0/lib/findlib"
- install -d "/usr/home/opam/.opam/5.1.0/bin"
- test 1 -eq 0 || install -d "/usr/home/opam/.opam/5.1.0/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/usr/home/opam/.opam/5.1.0/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/5.1.0/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/usr/home/opam/.opam/5.1.0/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/usr/home/opam/.opam/5.1.0/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/usr/home/opam/.opam/5.1.0/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/usr/home/opam/.opam/5.1.0/lib/findlib/"; \
- fi
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake install-meta
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
- for x in bytes ; do install -d "/usr/home/opam/.opam/5.1.0/lib/$x"; install -c site-lib-src/$x/META "/usr/home/opam/.opam/5.1.0/lib/$x/META.tmp" && mv "/usr/home/opam/.opam/5.1.0/lib/$x/META.tmp" "/usr/home/opam/.opam/5.1.0/lib/$x/META"; done
- install -d "/usr/home/opam/.opam/5.1.0/lib/findlib"; install -c Makefile.packages "/usr/home/opam/.opam/5.1.0/lib/findlib/Makefile.packages"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/bin"
- /usr/local/bin/gmake install-doc
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/usr/home/opam/.opam/5.1.0/man/man1" "/usr/home/opam/.opam/5.1.0/man/man3" "/usr/home/opam/.opam/5.1.0/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/usr/home/opam/.opam/5.1.0/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/5.1.0/man/man5"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 40/93: [dune: ocaml 31]
Processing 41/93: [dune: ocaml 31] [num: gmake]
Processing 42/93: [dune: ocaml 31] [num: gmake] [zarith: sh]
- + LDFLAGS=' -L/usr/local/lib' CFLAGS=' -I/usr/local/include' ./configure
- binary ocaml: found in /usr/home/opam/.opam/5.1.0/bin
- binary ocamlc: found in /usr/home/opam/.opam/5.1.0/bin
- binary ocamldep: found in /usr/home/opam/.opam/5.1.0/bin
- binary ocamlmklib: found in /usr/home/opam/.opam/5.1.0/bin
- binary ocamldoc: found in /usr/home/opam/.opam/5.1.0/bin
- binary ocamlopt: found in /usr/home/opam/.opam/5.1.0/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/5.1.0/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/5.1.0/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/5.1.0/lib
- installation method findlib
-
- configuration successful!
- now type "make" to build
- then type "make install" or "sudo make install" to install
Processing 42/93: [dune: ocaml 31] [num: gmake] [zarith: gmake]
- /usr/local/bin/gmake -C src all
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/num.1.4/src'
- /usr/local/bin/gmake -C toplevel all
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/.opam-switch/build/num.1.4/toplevel'
-> compiled num.1.4
Processing 42/93: [dune: ocaml 31] [zarith: gmake]
Processing 43/93: [dune: ocaml 31] [zarith: gmake] [num: ocamlfind remove]
- ocamlfind: [WARNING] No such file: /usr/home/opam/.opam/5.1.0/lib/num/META
- ocamlfind: [WARNING] No such file: /usr/home/opam/.opam/5.1.0/lib/num-top/META
Processing 43/93: [dune: ocaml 31] [zarith: gmake] [num: gmake install]
- /usr/local/bin/gmake -C src install
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/num.1.4/src'
- install -d /usr/home/opam/.opam/5.1.0/lib/ocaml
- sed -e 's/%%VERSION%%/1.4/g' META.in > META
- ocamlfind install num META
- Installed /usr/home/opam/.opam/5.1.0/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/5.1.0/lib/ocaml
- install -d /usr/home/opam/.opam/5.1.0/lib/ocaml/stublibs
- install dllnums.so /usr/home/opam/.opam/5.1.0/lib/ocaml/stublibs
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/num.1.4/src'
- /usr/local/bin/gmake -C toplevel install
- gmake[1]: Entering directory '/usr/home/opam/.opam/5.1.0/.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/5.1.0/lib/num-top/num_top_printers.cmi
- Installed /usr/home/opam/.opam/5.1.0/lib/num-top/num_top.cmi
- Installed /usr/home/opam/.opam/5.1.0/lib/num-top/num_top.cma
- Installed /usr/home/opam/.opam/5.1.0/lib/num-top/META
- rm -f META
- gmake[1]: Leaving directory '/usr/home/opam/.opam/5.1.0/.opam-switch/build/num.1.4/toplevel'
-> installed num.1.4
Processing 43/93: [dune: ocaml 31] [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/5.1.0/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 43/93: [dune: ocaml 31]
Processing 44/93: [dune: ocaml 31] [zarith: gmake install]
- ocamlfind install -destdir "/usr/home/opam/.opam/5.1.0/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/5.1.0/lib/zarith/big_int_Z.cmti
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/q.cmti
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/z.cmti
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.a
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/big_int_Z.mli
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/q.mli
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.h
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.cmxs
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/big_int_Z.cmx
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/q.cmx
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/z.cmx
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith_version.cmx
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.cmxa
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/z.mli
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith_top.cma
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/big_int_Z.cmi
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/q.cmi
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/z.cmi
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/libzarith.a
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/zarith.cma
- Installed /usr/home/opam/.opam/5.1.0/lib/stublibs/dllzarith.so
- Installed /usr/home/opam/.opam/5.1.0/lib/stublibs/dllzarith.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /usr/home/opam/.opam/5.1.0/lib/stublibs is not mentioned in ld.conf
- Installed /usr/home/opam/.opam/5.1.0/lib/zarith/META
-> installed zarith.1.13
Processing 44/93: [dune: ocaml 31]
+ /usr/home/opam/.opam/5.1.0/bin/ocaml "boot/bootstrap.ml" "-j" "31" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/dune.3.10.0)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot -I +unix unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 31
-
Processing 44/93: [dune: ./_boot/dune.exe build]
+ /usr/home/opam/.opam/5.1.0/.opam-switch/build/dune.3.10.0/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "31" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/dune.3.10.0)
-> compiled dune.3.10.0
-> installed dune.3.10.0
Processing 46/93: [coq-core: ./configure no]
Processing 47/93: [coq-core: ./configure no] [cppo: dune build]
Processing 48/93: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build]
Processing 49/93: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build]
Processing 50/93: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
Processing 51/93: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [result: dune build]
Processing 52/93: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build]
Processing 53/93: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> compiled ppx_derivers.1.2.1
Processing 53/93: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> installed ppx_derivers.1.2.1
Processing 54/93: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> compiled stdlib-shims.0.3.0
Processing 54/93: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [result: dune build] [sexplib0: dune build]
-> installed stdlib-shims.0.3.0
Processing 55/93: [coq-core: ./configure no] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [result: dune build] [sexplib0: dune build]
-> compiled csexp.1.5.2
Processing 55/93: [coq-core: ./configure no] [cppo: dune build] [ocaml-compiler-libs: dune build] [result: dune build] [sexplib0: dune build]
-> installed csexp.1.5.2
Processing 56/93: [coq-core: ./configure no] [cppo: dune build] [ocaml-compiler-libs: dune build] [result: dune build] [sexplib0: dune build]
Processing 57/93: [coq-core: ./configure no] [cppo: dune build] [dune-configurator: rm] [ocaml-compiler-libs: dune build] [result: dune build] [sexplib0: dune build]
-> compiled sexplib0.v0.16.0
Processing 57/93: [coq-core: ./configure no] [cppo: dune build] [dune-configurator: rm] [ocaml-compiler-libs: dune build] [result: dune build]
-> installed sexplib0.v0.16.0
Processing 58/93: [coq-core: ./configure no] [cppo: dune build] [dune-configurator: rm] [ocaml-compiler-libs: dune build] [result: dune build]
Processing 59/93: [coq-core: ./configure no] [cppo: dune build] [dune-configurator: rm] [ocaml-compiler-libs: dune build] [parsexp: dune build] [result: dune build]
-> compiled result.1.5
Processing 59/93: [coq-core: ./configure no] [cppo: dune build] [dune-configurator: rm] [ocaml-compiler-libs: dune build] [parsexp: dune build]
-> installed result.1.5
Processing 60/93: [coq-core: ./configure no] [cppo: dune build] [dune-configurator: rm] [ocaml-compiler-libs: dune build] [parsexp: dune build]
Processing 60/93: [coq-core: ./configure no] [cppo: dune build] [dune-configurator: dune build] [ocaml-compiler-libs: dune build] [parsexp: dune build]
-> compiled ocaml-compiler-libs.v0.12.4
Processing 60/93: [coq-core: ./configure no] [cppo: dune build] [dune-configurator: dune build] [parsexp: dune build]
-> installed ocaml-compiler-libs.v0.12.4
Processing 61/93: [coq-core: ./configure no] [cppo: dune build] [dune-configurator: dune build] [parsexp: dune build]
Processing 62/93: [coq-core: ./configure no] [cppo: dune build] [dune-configurator: dune build] [parsexp: dune build] [ppxlib: dune build]
-> compiled cppo.1.6.9
Processing 62/93: [coq-core: ./configure no] [dune-configurator: dune build] [parsexp: dune build] [ppxlib: dune build]
-> installed cppo.1.6.9
Processing 63/93: [coq-core: ./configure no] [dune-configurator: dune build] [parsexp: dune build] [ppxlib: dune build]
Processing 64/93: [coq-core: ./configure no] [dune-configurator: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
- You have OCaml 5.1.0. 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 : 5.1.0
- OCaml binaries in : /usr/home/opam/.opam/5.1.0/bin/
- OCaml library in : /usr/home/opam/.opam/5.1.0/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/5.1.0
- - the Coq library is expected in /usr/home/opam/.opam/5.1.0/lib/coq
- - the Coqide configuration files is expected in /usr/home/opam/.opam/5.1.0/etc/xdg/coq
- - the Coqide data files is expected in /usr/home/opam/.opam/5.1.0/share/coq
- - the Coq man pages is expected in /usr/home/opam/.opam/5.1.0/man
- - documentation prefix path for all Coq packages is expected in /usr/home/opam/.opam/5.1.0/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 64/93: [coq-core: dune build] [dune-configurator: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
-> compiled dune-configurator.3.10.0
Processing 64/93: [coq-core: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
-> installed dune-configurator.3.10.0
Processing 65/93: [coq-core: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
Processing 66/93: [base: dune build] [coq-core: dune build] [parsexp: dune build] [ppxlib: dune build] [yojson: dune build]
-> compiled parsexp.v0.16.0
Processing 66/93: [base: dune build] [coq-core: dune build] [ppxlib: dune build] [yojson: dune build]
-> installed parsexp.v0.16.0
Processing 67/93: [base: dune build] [coq-core: dune build] [ppxlib: dune build] [yojson: dune build]
Processing 68/93: [base: dune build] [coq-core: dune build] [ppxlib: dune build] [sexplib: dune build] [yojson: dune build]
-> compiled yojson.2.1.0
Processing 68/93: [base: dune build] [coq-core: dune build] [ppxlib: dune build] [sexplib: dune build]
-> installed yojson.2.1.0
Processing 69/93: [base: dune build] [coq-core: dune build] [ppxlib: dune build] [sexplib: dune build]
-> compiled sexplib.v0.16.0
Processing 69/93: [base: dune build] [coq-core: dune build] [ppxlib: dune build]
-> installed sexplib.v0.16.0
Processing 70/93: [base: dune build] [coq-core: dune build] [ppxlib: dune build]
-> compiled base.v0.16.3
Processing 70/93: [coq-core: dune build] [ppxlib: dune build]
-> installed base.v0.16.3
Processing 71/93: [coq-core: dune build] [ppxlib: dune build]
-> compiled ppxlib.0.30.0
Processing 71/93: [coq-core: dune build]
-> installed ppxlib.0.30.0
Processing 72/93: [coq-core: dune build]
Processing 73/93: [coq-core: dune build] [ppx_compare: dune build]
Processing 74/93: [coq-core: dune build] [ppx_compare: dune build] [ppx_deriving: dune build]
Processing 75/93: [coq-core: dune build] [ppx_compare: dune build] [ppx_deriving: dune build] [ppx_import: dune build]
Processing 76/93: [coq-core: 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 76/93: [coq-core: dune build] [ppx_deriving: dune build] [ppx_import: dune build] [ppx_sexp_conv: dune build]
-> installed ppx_compare.v0.16.0
Processing 77/93: [coq-core: dune build] [ppx_deriving: dune build] [ppx_import: dune build] [ppx_sexp_conv: dune build]
-> compiled ppx_import.1.10.0
Processing 77/93: [coq-core: dune build] [ppx_deriving: dune build] [ppx_sexp_conv: dune build]
-> installed ppx_import.1.10.0
Processing 78/93: [coq-core: dune build] [ppx_deriving: dune build] [ppx_sexp_conv: dune build]
- (cd _build/default && /usr/home/opam/.opam/5.1.0/bin/ocamlc.opt -w -40 -w -27-9 -g -bin-annot -I src/api/.ppx_deriving_api.objs/byte -I /usr/home/opam/.opam/5.1.0/lib/ocaml-compiler-libs/common -I /usr/home/opam/.opam/5.1.0/lib/ocaml-compiler-libs/shadow -I /usr/home/opam/.opam/5.1.0/lib/ocaml/compiler-libs -I /usr/home/opam/.opam/5.1.0/lib/ppx_derivers -I /usr/home/opam/.opam/5.1.0/lib/ppxlib -I /usr/home/opam/.opam/5.1.0/lib/ppxlib/ast -I /usr/home/opam/.opam/5.1.0/lib/ppxlib/astlib -I /usr/home/opam/.opam/5.1.0/lib/ppxlib/print_diff -I /usr/home/opam/.opam/5.1.0/lib/ppxlib/stdppx -I /usr/home/opam/.opam/5.1.0/lib/ppxlib/traverse_builtins -I /usr/home/opam/.opam/5.1.0/lib/result -I /usr/home/opam/.opam/5.1.0/lib/sexplib0 -I /usr/home/opam/.opam/5.1.0/lib/stdlib-shims -intf-suffix .ml -no-alias-deps -o src/api/.ppx_deriving_api.objs/byte/ppx_deriving.cmo -c -impl src/api/ppx_deriving.pp.ml)
- File "ppx_deriving.cppo.ml", line 183, characters 2-16:
- Alert deprecated: Stdlib.Printf.kprintf
- Use Printf.ksprintf instead.
- (cd _build/default && /usr/home/opam/.opam/5.1.0/bin/ocamlopt.opt -w -40 -w -27-9 -g -I src/api/.ppx_deriving_api.objs/byte -I src/api/.ppx_deriving_api.objs/native -I /usr/home/opam/.opam/5.1.0/lib/ocaml-compiler-libs/common -I /usr/home/opam/.opam/5.1.0/lib/ocaml-compiler-libs/shadow -I /usr/home/opam/.opam/5.1.0/lib/ocaml/compiler-libs -I /usr/home/opam/.opam/5.1.0/lib/ppx_derivers -I /usr/home/opam/.opam/5.1.0/lib/ppxlib -I /usr/home/opam/.opam/5.1.0/lib/ppxlib/ast -I /usr/home/opam/.opam/5.1.0/lib/ppxlib/astlib -I /usr/home/opam/.opam/5.1.0/lib/ppxlib/print_diff -I /usr/home/opam/.opam/5.1.0/lib/ppxlib/stdppx -I /usr/home/opam/.opam/5.1.0/lib/ppxlib/traverse_builtins -I /usr/home/opam/.opam/5.1.0/lib/result -I /usr/home/opam/.opam/5.1.0/lib/sexplib0 -I /usr/home/opam/.opam/5.1.0/lib/stdlib-shims -intf-suffix .ml -no-alias-deps -o src/api/.ppx_deriving_api.objs/native/ppx_deriving.cmx -c -impl src/api/ppx_deriving.pp.ml)
- File "ppx_deriving.cppo.ml", line 183, characters 2-16:
- Alert deprecated: Stdlib.Printf.kprintf
- Use Printf.ksprintf instead.
-> compiled ppx_deriving.5.2.1
Processing 78/93: [coq-core: dune build] [ppx_sexp_conv: dune build]
-> installed ppx_deriving.5.2.1
Processing 79/93: [coq-core: dune build] [ppx_sexp_conv: dune build]
Processing 80/93: [coq-core: dune build] [ppx_deriving_yojson: dune build] [ppx_sexp_conv: dune build]
-> compiled ppx_sexp_conv.v0.16.0
Processing 80/93: [coq-core: dune build] [ppx_deriving_yojson: dune build]
-> installed ppx_sexp_conv.v0.16.0
Processing 81/93: [coq-core: dune build] [ppx_deriving_yojson: dune build]
Processing 82/93: [coq-core: dune build] [ppx_deriving_yojson: dune build] [ppx_hash: dune build]
-> compiled ppx_deriving_yojson.3.7.0
Processing 82/93: [coq-core: dune build] [ppx_hash: dune build]
-> installed ppx_deriving_yojson.3.7.0
Processing 83/93: [coq-core: dune build] [ppx_hash: dune build]
-> compiled ppx_hash.v0.16.0
Processing 83/93: [coq-core: dune build]
-> installed ppx_hash.v0.16.0
Processing 84/93: [coq-core: dune build]
+ /usr/home/opam/.opam/5.1.0/bin/dune "build" "-p" "coq-core" "-j" "31" "@install" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/coq-core.8.18.0)
- (cd _build/default && /usr/local/bin/bash -e -u -o pipefail -c dev/tools/make_git_revision.sh) > _build/default/revision
- skipping make_git_revision: git dir not found
- (cd _build/default/kernel/byterun && /usr/bin/cc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -Wall -Wno-unused -g -O2 -msse2 -mfpmath=sse -g -I /usr/home/opam/.opam/5.1.0/lib/ocaml -o coq_interp.o -c coq_interp.c)
- coq_interp.c:816:11: warning: assigning to 'value *' (aka 'long *') from 'volatile value *' (aka 'volatile long *') discards qualifiers [-Wincompatible-pointer-types-discards-qualifiers]
- p = &Field(accu, 0);
- ^ ~~~~~~~~~~~~~~~
- 1 warning generated.
-> compiled coq-core.8.18.0
-> installed coq-core.8.18.0
Processing 86/93: [coq-stdlib: ./configure no]
Processing 87/93: [coq-stdlib: ./configure no] [coqide-server: dune build]
- You have OCaml 5.1.0. 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 : 5.1.0
- OCaml binaries in : /usr/home/opam/.opam/5.1.0/bin/
- OCaml library in : /usr/home/opam/.opam/5.1.0/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/5.1.0
- - the Coq library is expected in /usr/home/opam/.opam/5.1.0/lib/coq
- - the Coqide configuration files is expected in /usr/home/opam/.opam/5.1.0/etc/xdg/coq
- - the Coqide data files is expected in /usr/home/opam/.opam/5.1.0/share/coq
- - the Coq man pages is expected in /usr/home/opam/.opam/5.1.0/man
- - documentation prefix path for all Coq packages is expected in /usr/home/opam/.opam/5.1.0/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 87/93: [coq-stdlib: gmake dunestrap] [coqide-server: dune build]
-> compiled coqide-server.8.18.0
Processing 87/93: [coq-stdlib: gmake dunestrap]
-> installed coqide-server.8.18.0
Processing 88/93: [coq-stdlib: gmake dunestrap]
+ /usr/local/bin/gmake "dunestrap" "COQ_DUNE_EXTRA_OPT=-split" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/coq-stdlib.8.18.0)
- 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 88/93: [coq-stdlib: dune build]
+ /usr/home/opam/.opam/5.1.0/bin/dune "build" "-p" "coq-stdlib" "-j" "31" "@install" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/coq-stdlib.8.18.0)
-> compiled coq-stdlib.8.18.0
-> installed coq-stdlib.8.18.0
Processing 90/93: [coq: dune build]
+ /usr/home/opam/.opam/5.1.0/bin/dune "build" "-p" "coq" "-j" "31" "@install" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/coq.8.18.0)
-> compiled coq.8.18.0
-> installed coq.8.18.0
Processing 92/93: [coq-serapi: dune build]
+ /usr/home/opam/.opam/5.1.0/bin/dune "build" "-p" "coq-serapi" "-j" "31" (CWD=/usr/home/opam/.opam/5.1.0/.opam-switch/build/coq-serapi.8.18.0+0.18.1)
-> compiled coq-serapi.8.18.0+0.18.1
-> installed coq-serapi.8.18.0+0.18.1
Done.
2023-09-16 20:25.29 ---> saved as "954b42970d78f3fa314dd9d1fda0511e91a243f6ec402feedd78074d17c75e41"
Job succeeded
Home|Differences with the last checks|Previous runs