Building on spring
(from freebsd)
2024-06-19 08:27.52 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" 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-dev /usr/local/bin/opam"))
2024-06-19 08:27.52 ---> using "a2b22593046b56fadc85e22b0da7b84e903c1f5aa4d42a7c481121ceec28b31f" 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 5d6f1cf035d4b9d572fef4ae2e63cf1e3da8760d"))
2024-06-19 08:27.53 ---> using "0eeff07b13eebb7ffeb23bc1f6a7438898306f15e92e8b7f424fdb139904892b" 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:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2024-06-19 08:27.53 ---> using "6fcaaa4b3ec03abb780b0208d173c64368009770b3e99fa9f3ee92366e977a0f" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '5.2.0' 'ocaml-base-compiler.5.2.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.2.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.2.0 (cached)
-> installed ocaml-base-compiler.5.2.0
-> installed ocaml-config.3
-> installed ocaml.5.2.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# Run eval $(opam env --switch=5.2.0) to update the current shell environment
2024-06-19 08:27.53 ---> using "b3ba4fa2bd517d135fd0125fe5e06faf9677ebe0158b9fb8102a15c16153077c" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-06-19 08:27.54 ---> using "7a05e02c1dfd8d66fe897755da9bff8eda21dd9aaeb369f465c069db0b5a19e0" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"msat-bin.0.9.1\"\
\nopam install -vy \"msat-bin.0.9.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"msat-bin.0.9.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] msat-bin.0.9.1 is not installed.
Nothing to do.
The following actions will be performed:
=== install 12 packages
- install camlzip 1.11 [required by msat-bin]
- install conf-pkg-config 3 [required by conf-zlib]
- install conf-zlib 1 [required by camlzip]
- install containers 3.13.1 [required by msat-bin]
- install csexp 1.5.2 [required by dune-configurator]
- install dune 3.16.0 [required by msat-bin]
- install dune-configurator 3.16.0 [required by containers]
- install either 1.0.0 [required by containers]
- install iter 1.8 [required by msat]
- install msat 0.9.1 [required by msat-bin]
- install msat-bin 0.9.1
- install ocamlfind 1.9.6 [required by camlzip]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/34:
Processing 2/34:
Processing 3/34:
Processing 4/34:
Processing 5/34:
Processing 6/34: [conf-pkg-config: pkg-config]
-> retrieved camlzip.1.11 (cached)
Processing 7/34: [conf-pkg-config: pkg-config]
+ /usr/local/bin/pkg-config "--help" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/conf-pkg-config.3)
- usage: pkgconf [OPTIONS] [LIBRARIES]
-
- basic options:
-
- --help this message
- --about print pkgconf version and license to stdout
- --version print supported pkg-config version to stdout
- --verbose print additional information
- --atleast-pkgconfig-version check whether or not pkgconf is compatible
- with a specified pkg-config version
- --errors-to-stdout print all errors on stdout instead of stderr
- --print-errors ensure all errors are printed
- --short-errors be less verbose about some errors
- --silence-errors explicitly be silent about errors
- --list-all list all known packages
- --list-package-names list all known package names
- --simulate simulate walking the calculated dependency graph
- --no-cache do not cache already seen packages when
- walking the dependency graph
- --log-file=filename write an audit log to a specified file
- --with-path=path adds a directory to the search path
- --define-prefix override the prefix variable with one that is guessed based on
- the location of the .pc file
- --dont-define-prefix do not override the prefix variable under any circumstances
- --prefix-variable=varname sets the name of the variable that pkgconf considers
- to be the package prefix
- --relocate=path relocates a path and exits (mostly for testsuite)
- --dont-relocate-paths disables path relocation support
-
- cross-compilation personality support:
-
- --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename'
- --dump-personality dumps details concerning selected personality
-
- checking specific pkg-config database entries:
-
- --atleast-version require a specific version of a module
- --exact-version require an exact version of a module
- --max-version require a maximum version of a module
- --exists check whether or not a module exists
- --uninstalled check whether or not an uninstalled module will be used
- --no-uninstalled never use uninstalled modules when satisfying dependencies
- --no-provides do not use 'provides' rules to resolve dependencies
- --maximum-traverse-depth maximum allowed depth for dependency graph
- --static be more aggressive when computing dependency graph
- (for static linking)
- --shared use a simplified dependency graph (usually default)
- --pure optimize a static dependency graph as if it were a normal
- dependency graph
- --env-only look only for package entries in PKG_CONFIG_PATH
- --ignore-conflicts ignore 'conflicts' rules in modules
- --validate validate specific .pc files for correctness
-
- querying specific pkg-config database fields:
-
- --define-variable=varname=value define variable 'varname' as 'value'
- --variable=varname print specified variable entry to stdout
- --cflags print required CFLAGS to stdout
- --cflags-only-I print required include-dir CFLAGS to stdout
- --cflags-only-other print required non-include-dir CFLAGS to stdout
- --libs print required linker flags to stdout
- --libs-only-L print required LDPATH linker flags to stdout
- --libs-only-l print required LIBNAME linker flags to stdout
- --libs-only-other print required other linker flags to stdout
- --print-requires print required dependency frameworks to stdout
- --print-requires-private print required dependency frameworks for static
- linking to stdout
- --print-provides print provided dependencies to stdout
- --print-variables print all known variables in module to stdout
- --digraph print entire dependency graph in graphviz 'dot' format
- --solution print dependency graph solution in a simple format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/usr/lib entries in libs output
- --path show the exact filenames for any matching .pc files
- --modversion print the specified module's version to stdout
- --internal-cflags do not filter 'internal' cflags from output
- --license print the specified module's license to stdout if known
-
- filtering output:
-
- --msvc-syntax print translatable fragments in MSVC syntax
- --fragment-filter=types filter output fragments to the specified types
-
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
-> compiled conf-pkg-config.3
Processing 7/34:
-> installed conf-pkg-config.3
Processing 8/34:
Processing 9/34: [conf-zlib: pkg-config zlib]
-> retrieved csexp.1.5.2 (cached)
Processing 10/34: [conf-zlib: pkg-config zlib]
-> retrieved either.1.0.0 (cached)
Processing 11/34: [conf-zlib: pkg-config zlib]
+ /usr/local/bin/pkg-config "zlib" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/conf-zlib.1)
-> compiled conf-zlib.1
Processing 11/34:
-> installed conf-zlib.1
Processing 12/34:
-> retrieved containers.3.13.1 (cached)
Processing 13/34: [msat.0.9.1, msat-bin.0.9.1: http]
-> retrieved iter.1.8 (cached)
Processing 14/34: [msat.0.9.1, msat-bin.0.9.1: http]
-> retrieved ocamlfind.1.9.6 (cached)
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 15/34: [msat.0.9.1, msat-bin.0.9.1: http] [ocamlfind: patch]
Processing 15/34: [msat.0.9.1, msat-bin.0.9.1: http] [ocamlfind: ./configure]
Processing 15/34: [ocamlfind: ./configure]
-> retrieved msat.0.9.1, msat-bin.0.9.1 (https://github.com/Gbury/mSAT/archive/v0.9.1.tar.gz)
-> retrieved dune.3.16.0, dune-configurator.3.16.0 (cached)
Processing 16/34: [dune: ocaml 7] [ocamlfind: ./configure]
+ /home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6/./configure "-bindir" "/home/opam/.opam/5.2.0/bin" "-sitelib" "/home/opam/.opam/5.2.0/lib" "-mandir" "/home/opam/.opam/5.2.0/man" "-config" "/home/opam/.opam/5.2.0/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6)
- 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: /home/opam/.opam/5.2.0/lib/ocaml
- Binaries: /home/opam/.opam/5.2.0/bin
- Manual pages: /home/opam/.opam/5.2.0/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/5.2.0/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/5.2.0/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/5.2.0/bin
- Manual pages: /home/opam/.opam/5.2.0/man
- topfind script: /home/opam/.opam/5.2.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 16/34: [dune: ocaml 7] [ocamlfind: gmake all]
+ /usr/local/bin/gmake "all" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done
- gmake[1]: Entering directory '/home/opam/.opam/5.2.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@' '/home/opam/.opam/5.2.0/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/5.2.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 -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -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 -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -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 -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -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 -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -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 -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -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@' '/home/opam/.opam/5.2.0/lib' \
- >topfind
- ocamlc -I +compiler-libs -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -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 '/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake all-config
- gmake[1]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/5.2.0/lib' | \
- tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/5.2.0/lib/ocaml:/home/opam/.opam/5.2.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 '/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6'
Processing 16/34: [dune: ocaml 7] [ocamlfind: gmake opt]
+ /usr/local/bin/gmake "opt" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done
- gmake[1]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamlopt -I +compiler-libs -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -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 -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 -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -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 -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 -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -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 -o ocamlfind_opt findlib.cmxa unix.cmxa \
- -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -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 -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 16/34: [dune: ocaml 7]
Processing 17/34: [dune: ocaml 7] [ocamlfind: gmake install]
+ /usr/local/bin/gmake "install" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6)
- if [ "0" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/5.2.0/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/5.2.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 "/home/opam/.opam/5.2.0/bin"
- install -d "/home/opam/.opam/5.2.0/man"
- /usr/local/bin/gmake install-config
- gmake[1]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/home/opam/.opam/5.2.0/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/5.2.0/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/5.2.0/lib/findlib.conf"
- gmake[1]: Leaving directory '/home/opam/.opam/5.2.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 '/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/home/opam/.opam/5.2.0/lib/findlib"
- install -d "/home/opam/.opam/5.2.0/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/5.2.0/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/home/opam/.opam/5.2.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 "/home/opam/.opam/5.2.0/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/5.2.0/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/5.2.0/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/5.2.0/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/home/opam/.opam/5.2.0/lib/findlib/"; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake install-meta
- gmake[1]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6'
- for x in bytes ; do install -d "/home/opam/.opam/5.2.0/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/5.2.0/lib/$x/META.tmp" && mv "/home/opam/.opam/5.2.0/lib/$x/META.tmp" "/home/opam/.opam/5.2.0/lib/$x/META"; done
- install -d "/home/opam/.opam/5.2.0/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/5.2.0/lib/findlib/Makefile.packages"
- gmake[1]: Leaving directory '/home/opam/.opam/5.2.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 "/home/opam/.opam/5.2.0/bin"
- /usr/local/bin/gmake install-doc
- gmake[1]: Entering directory '/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/home/opam/.opam/5.2.0/man/man1" "/home/opam/.opam/5.2.0/man/man3" "/home/opam/.opam/5.2.0/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/5.2.0/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/5.2.0/man/man5"
- gmake[1]: Leaving directory '/home/opam/.opam/5.2.0/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 17/34: [dune: ocaml 7]
Processing 18/34: [camlzip: gmake all] [dune: ocaml 7]
+ /usr/local/bin/gmake "all" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/camlzip.1.11)
- ocamlfind ocamlc -g -safe-string -bin-annot -c -ccopt -g zlibstubs.c
- ocamlfind ocamlmklib -oc camlzip zlibstubs.o -lz
- ocamlfind ocamlc -g -safe-string -bin-annot -c zlib.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c zlib.ml
- ocamlfind ocamlc -g -safe-string -bin-annot -c zip.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c zip.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- ocamlfind ocamlc -g -safe-string -bin-annot -c gzip.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c gzip.ml
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmo zip.cmo gzip.cmo -lz
- ocamlfind ocamlopt -safe-string -c zlib.ml
- ocamlfind ocamlopt -safe-string -c zip.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- ocamlfind ocamlopt -safe-string -c gzip.ml
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmx zip.cmx gzip.cmx -lz
- ocamlfind ocamlopt -safe-string -shared -linkall -I ./ -o zip.cmxs zip.cmxa libcamlzip.a
-> compiled camlzip.1.11
Processing 18/34: [dune: ocaml 7]
Processing 19/34: [dune: ocaml 7] [camlzip: gmake install]
+ /usr/local/bin/gmake "install" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/camlzip.1.11)
- cp META-zip META && \
- ocamlfind install zip META *.cma *.a *.mli *.cmi *.cmti *.cmt gzip.cmx zip.cmx zlib.cmx zip.cmxa zip.cmxs dllcamlzip.so && \
- rm META
- Installed /home/opam/.opam/5.2.0/lib/zip/zip.cmxs
- Installed /home/opam/.opam/5.2.0/lib/zip/zip.cmxa
- Installed /home/opam/.opam/5.2.0/lib/zip/zlib.cmx
- Installed /home/opam/.opam/5.2.0/lib/zip/zip.cmx
- Installed /home/opam/.opam/5.2.0/lib/zip/gzip.cmx
- Installed /home/opam/.opam/5.2.0/lib/zip/zlib.cmt
- Installed /home/opam/.opam/5.2.0/lib/zip/zip.cmt
- Installed /home/opam/.opam/5.2.0/lib/zip/gzip.cmt
- Installed /home/opam/.opam/5.2.0/lib/zip/zlib.cmti
- Installed /home/opam/.opam/5.2.0/lib/zip/zip.cmti
- Installed /home/opam/.opam/5.2.0/lib/zip/gzip.cmti
- Installed /home/opam/.opam/5.2.0/lib/zip/zlib.cmi
- Installed /home/opam/.opam/5.2.0/lib/zip/zip.cmi
- Installed /home/opam/.opam/5.2.0/lib/zip/gzip.cmi
- Installed /home/opam/.opam/5.2.0/lib/zip/zlib.mli
- Installed /home/opam/.opam/5.2.0/lib/zip/zip.mli
- Installed /home/opam/.opam/5.2.0/lib/zip/gzip.mli
- Installed /home/opam/.opam/5.2.0/lib/zip/zip.a
- Installed /home/opam/.opam/5.2.0/lib/zip/libcamlzip.a
- Installed /home/opam/.opam/5.2.0/lib/zip/zip.cma
- Installed /home/opam/.opam/5.2.0/lib/stublibs/dllcamlzip.so
- Installed /home/opam/.opam/5.2.0/lib/stublibs/dllcamlzip.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/5.2.0/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/5.2.0/lib/zip/META
- cp META-camlzip META && \
- ocamlfind install camlzip META && \
- rm META
- Installed /home/opam/.opam/5.2.0/lib/camlzip/META
-> installed camlzip.1.11
Processing 19/34: [dune: ocaml 7]
+ /home/opam/.opam/5.2.0/bin/ocaml "boot/bootstrap.ml" "-j" "7" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/dune.3.16.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 7
- cd _boot && /home/opam/.opam/5.2.0/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +unix -I +threads stdune.ml
- File "otherlibs/stdune/src/stdune.ml", line 1, characters 4-9:
- Warning 53 [misplaced-attribute]: the "alert" attribute cannot appear in this context
-
Processing 19/34: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/5.2.0/.opam-switch/build/dune.3.16.0/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "7" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/dune.3.16.0)
-> compiled dune.3.16.0
-> installed dune.3.16.0
Processing 21/34: [csexp: dune build]
Processing 22/34: [csexp: dune build] [either: dune build]
Processing 23/34: [csexp: dune build] [either: dune build] [iter: dune build]
+ /home/opam/.opam/5.2.0/bin/dune "build" "-p" "csexp" "-j" "7" "@install" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/csexp.1.5.2)
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/.csexp.objs/byte -intf-suffix .ml -no-alias-deps -o src/.csexp.objs/byte/csexp.cmo -c -impl src/csexp.ml)
- File "src/csexp.ml", line 236, characters 7-14:
- 236 | [@@inlined always]
- ^^^^^^^
- Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlopt.opt -w -40 -g -I src/.csexp.objs/byte -I src/.csexp.objs/native -intf-suffix .ml -no-alias-deps -o src/.csexp.objs/native/csexp.cmx -c -impl src/csexp.ml)
- File "src/csexp.ml", line 236, characters 7-14:
- 236 | [@@inlined always]
- ^^^^^^^
- Warning 53 [misplaced-attribute]: the "inlined" attribute cannot appear in this context
-> compiled csexp.1.5.2
Processing 23/34: [either: dune build] [iter: dune build]
-> installed csexp.1.5.2
Processing 24/34: [either: dune build] [iter: dune build]
Processing 25/34: [dune-configurator: rm] [either: dune build] [iter: dune build]
+ /home/opam/.opam/5.2.0/bin/dune "build" "@install" "-p" "iter" "-j" "7" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/iter.1.8)
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -w +a -warn-error -a+8 -strict-sequence -w +a -warn-error -a+8 -nolabels -g -bin-annot -bin-annot-occurrences -I src/.iter.objs/byte -intf-suffix .ml -no-alias-deps -o src/.iter.objs/byte/iter.cmo -c -impl src/Iter.ml)
- File "src/Iter.ml", line 1029, characters 8-15:
- 1029 | let of_list l = of_iter_ (of_list l)
- ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value of_list.
-
- File "src/Iter.ml", line 1030, characters 8-15:
- 1030 | let to_list x = to_list (to_iter_ x)
- ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value to_list.
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlopt.opt -w -40 -w +a -warn-error -a+8 -strict-sequence -w +a -warn-error -a+8 -nolabels -g -O3 -unbox-closures -unbox-closures-factor 20 -I src/.iter.objs/byte -I src/.iter.objs/native -intf-suffix .ml -no-alias-deps -o src/.iter.objs/native/iter.cmx -c -impl src/Iter.ml)
- File "src/Iter.ml", line 1029, characters 8-15:
- 1029 | let of_list l = of_iter_ (of_list l)
- ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value of_list.
-
- File "src/Iter.ml", line 1030, characters 8-15:
- 1030 | let to_list x = to_list (to_iter_ x)
- ^^^^^^^
- Warning 32 [unused-value-declaration]: unused value to_list.
-> compiled iter.1.8
Processing 25/34: [dune-configurator: rm] [either: dune build]
-> installed iter.1.8
Processing 26/34: [dune-configurator: rm] [either: dune build]
Processing 27/34: [dune-configurator: rm] [either: dune build] [msat: dune build]
+ /bin/rm "-rf" "vendor/csexp" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/dune-configurator.3.16.0)
+ /home/opam/.opam/5.2.0/bin/dune "build" "-p" "either" "-j" "7" "@install" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/either.1.0.0)
-> compiled either.1.0.0
Processing 27/34: [dune-configurator: rm] [msat: dune build]
-> installed either.1.0.0
Processing 28/34: [dune-configurator: rm] [msat: dune build]
+ /bin/rm "-rf" "vendor/pp" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/dune-configurator.3.16.0)
Processing 28/34: [dune-configurator: dune build] [msat: dune build]
+ /home/opam/.opam/5.2.0/bin/dune "build" "-p" "dune-configurator" "-j" "7" "@install" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/dune-configurator.3.16.0)
-> compiled dune-configurator.3.16.0
Processing 28/34: [msat: dune build]
-> installed dune-configurator.3.16.0
Processing 29/34: [msat: dune build]
Processing 30/34: [containers: dune build] [msat: dune build]
+ /home/opam/.opam/5.2.0/bin/dune "build" "@install" "-p" "msat" "-j" "7" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/msat.0.9.1)
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -bin-annot-occurrences -I src/core/.msat.objs/byte -I /home/opam/.opam/5.2.0/lib/iter -no-alias-deps -open Msat__ -o src/core/.msat.objs/byte/msat__Heap_intf.cmo -c -impl src/core/Heap_intf.ml)
- File "src/core/Heap_intf.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -bin-annot-occurrences -I src/core/.msat.objs/byte -I /home/opam/.opam/5.2.0/lib/iter -no-alias-deps -open Msat__ -o src/core/.msat.objs/byte/msat__Solver_intf.cmo -c -impl src/core/Solver_intf.ml)
- File "src/core/Solver_intf.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -bin-annot-occurrences -I src/core/.msat.objs/byte -I /home/opam/.opam/5.2.0/lib/iter -no-alias-deps -open Msat__ -o src/core/.msat.objs/byte/msat.cmo -c -impl src/core/Msat.ml)
- File "src/core/Msat.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -bin-annot-occurrences -I src/core/.msat.objs/byte -I /home/opam/.opam/5.2.0/lib/iter -no-alias-deps -open Msat__ -o src/core/.msat.objs/byte/msat__Internal.cmo -c -impl src/core/Internal.ml)
- File "src/core/Internal.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "src/core/Internal.ml", line 730, characters 26-36:
- 730 | module H = (Heap.Make [@specialise]) (struct
- ^^^^^^^^^^
- Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context
-
- File "src/core/Internal.ml", line 2219, characters 13-23:
- 2219 | [@@inline][@@specialise]
- ^^^^^^^^^^
- Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context
-
- File "src/core/Internal.ml", line 2239, characters 13-23:
- 2239 | [@@inline][@@specialise]
- ^^^^^^^^^^
- Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context
-
- File "src/core/Internal.ml", line 2247, characters 13-23:
- 2247 | [@@inline][@@specialise]
- ^^^^^^^^^^
- Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context
-
- File "src/core/Internal.ml", line 2267, characters 13-23:
- 2267 | [@@inline][@@specialise]
- ^^^^^^^^^^
- Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60@8 -warn-error -27 -color always -safe-string -g -bin-annot -bin-annot-occurrences -I src/backend/.msat_backend.objs/byte -I /home/opam/.opam/5.2.0/lib/iter -I src/core/.msat.objs/byte -no-alias-deps -open Msat_backend -o src/backend/.msat_backend.objs/byte/msat_backend__Backend_intf.cmo -c -impl src/backend/Backend_intf.ml)
- File "src/backend/Backend_intf.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -bin-annot -bin-annot-occurrences -I src/tseitin/.msat_tseitin.objs/byte -I /home/opam/.opam/5.2.0/lib/iter -I src/core/.msat.objs/byte -no-alias-deps -open Msat_tseitin__ -o src/tseitin/.msat_tseitin.objs/byte/msat_tseitin__Tseitin_intf.cmo -c -impl src/tseitin/Tseitin_intf.ml)
- File "src/tseitin/Tseitin_intf.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60@8 -warn-error -27 -color always -safe-string -g -bin-annot -bin-annot-occurrences -I src/backend/.msat_backend.objs/byte -I /home/opam/.opam/5.2.0/lib/iter -I src/core/.msat.objs/byte -no-alias-deps -open Msat_backend -o src/backend/.msat_backend.objs/byte/msat_backend__Coq.cmi -c -intf src/backend/Coq.mli)
- File "src/backend/Coq.mli", line 36, characters 24-25:
- 36 | module Make(S : Msat.S)(A : Arg with type hyp := S.clause
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter A.
-
- File "src/backend/Coq.mli", line 42, characters 26-27:
- 42 | module Simple(S : Msat.S)(A : Arg with type hyp = S.formula list
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter A.
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60@8 -warn-error -27 -color always -safe-string -g -bin-annot -bin-annot-occurrences -I src/backend/.msat_backend.objs/byte -I /home/opam/.opam/5.2.0/lib/iter -I src/core/.msat.objs/byte -no-alias-deps -open Msat_backend -o src/backend/.msat_backend.objs/byte/msat_backend__Dedukti.cmi -c -intf src/backend/Dedukti.mli)
- File "src/backend/Dedukti.mli", line 27, characters 10-11:
- 27 | functor(A : Arg
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter A.
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -w +a-4-42-44-48-50-58-32-60@8 -warn-error -27 -color always -safe-string -g -bin-annot -bin-annot-occurrences -I src/backend/.msat_backend.objs/byte -I /home/opam/.opam/5.2.0/lib/iter -I src/core/.msat.objs/byte -no-alias-deps -open Msat_backend -o src/backend/.msat_backend.objs/byte/msat_backend__Dot.cmi -c -intf src/backend/Dot.mli)
- File "src/backend/Dot.mli", line 57, characters 24-25:
- 57 | module Make(S : Msat.S)(A : Arg with type atom := S.atom
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter A.
-
- File "src/backend/Dot.mli", line 63, characters 26-27:
- 63 | module Simple(S : Msat.S)(A : Arg with type atom := S.formula
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter A.
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -open Msat -g -bin-annot -bin-annot-occurrences -I src/backtrack/.msat_backtrack.objs/byte -I /home/opam/.opam/5.2.0/lib/iter -I src/core/.msat.objs/byte -no-alias-deps -open Msat_backtrack__ -o src/backtrack/.msat_backtrack.objs/byte/msat_backtrack.cmo -c -impl src/backtrack/Msat_backtrack.ml)
- File "src/backtrack/Msat_backtrack.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlopt.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -g -O3 -bin-annot -unbox-closures -unbox-closures-factor 20 -I src/core/.msat.objs/byte -I src/core/.msat.objs/native -I /home/opam/.opam/5.2.0/lib/iter -intf-suffix .ml -no-alias-deps -open Msat__ -o src/core/.msat.objs/native/msat__Internal.cmx -c -impl src/core/Internal.ml)
- File "src/core/Internal.ml", line 730, characters 26-36:
- 730 | module H = (Heap.Make [@specialise]) (struct
- ^^^^^^^^^^
- Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context
-
- File "src/core/Internal.ml", line 2219, characters 13-23:
- 2219 | [@@inline][@@specialise]
- ^^^^^^^^^^
- Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context
-
- File "src/core/Internal.ml", line 2239, characters 13-23:
- 2239 | [@@inline][@@specialise]
- ^^^^^^^^^^
- Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context
-
- File "src/core/Internal.ml", line 2247, characters 13-23:
- 2247 | [@@inline][@@specialise]
- ^^^^^^^^^^
- Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context
-
- File "src/core/Internal.ml", line 2267, characters 13-23:
- 2267 | [@@inline][@@specialise]
- ^^^^^^^^^^
- Warning 53 [misplaced-attribute]: the "specialise" attribute cannot appear in this context
-> compiled msat.0.9.1
Processing 30/34: [containers: dune build]
-> installed msat.0.9.1
Processing 31/34: [containers: dune build]
+ /home/opam/.opam/5.2.0/bin/dune "build" "-p" "containers" "-j" "7" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/containers.3.13.1)
-> compiled containers.3.13.1
-> installed containers.3.13.1
Processing 33/34: [msat-bin: dune build]
+ /home/opam/.opam/5.2.0/bin/dune "build" "@install" "-p" "msat-bin" "-j" "7" (CWD=/home/opam/.opam/5.2.0/.opam-switch/build/msat-bin.0.9.1)
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -open Msat -g -bin-annot -bin-annot-occurrences -I src/main/.main.eobjs/byte -I /home/opam/.opam/5.2.0/lib/camlzip -I /home/opam/.opam/5.2.0/lib/containers -I /home/opam/.opam/5.2.0/lib/containers/monomorphic -I /home/opam/.opam/5.2.0/lib/either -I /home/opam/.opam/5.2.0/lib/iter -I /home/opam/.opam/5.2.0/lib/msat -I /home/opam/.opam/5.2.0/lib/msat/backend -I /home/opam/.opam/5.2.0/lib/msat/sat -I /home/opam/.opam/5.2.0/lib/ocaml/unix -I /home/opam/.opam/5.2.0/lib/zip -no-alias-deps -o src/main/.main.eobjs/byte/dimacs_lex.cmo -c -impl src/main/Dimacs_lex.ml)
- File "src/main/Dimacs_lex.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- (cd _build/default && /home/opam/.opam/5.2.0/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -open Msat -g -bin-annot -bin-annot-occurrences -I src/main/.main.eobjs/byte -I /home/opam/.opam/5.2.0/lib/camlzip -I /home/opam/.opam/5.2.0/lib/containers -I /home/opam/.opam/5.2.0/lib/containers/monomorphic -I /home/opam/.opam/5.2.0/lib/either -I /home/opam/.opam/5.2.0/lib/iter -I /home/opam/.opam/5.2.0/lib/msat -I /home/opam/.opam/5.2.0/lib/msat/backend -I /home/opam/.opam/5.2.0/lib/msat/sat -I /home/opam/.opam/5.2.0/lib/ocaml/unix -I /home/opam/.opam/5.2.0/lib/zip -no-alias-deps -o src/main/.main.eobjs/byte/main.cmo -c -impl src/main/main.ml)
- File "src/main/main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-> compiled msat-bin.0.9.1
-> installed msat-bin.0.9.1
Done.
2024-06-19 08:29.52 ---> saved as "054ea7535fa77bc4582c60bd13811182322d6527bc976eb5aa227dd99e852a34"
Job succeeded
Home|Differences with the last checks|Previous runs