package electrumAnalyzer

  1. Overview
  2. Docs
On This Page
  1. Error log

electrumAnalyzer 0.3.4

Error log

The package failed to build. The error log from opam follows.

Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y
The following actions will be performed:
  - recompile opam-depext 1.2.1-1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.1-1  (cached)
-> removed   opam-depext.1.2.1-1
-> installed opam-depext.1.2.1-1
Done.

<><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment

<><> Carrying on to "opam depext -viy electrumAnalyzer.0.3.4 pprint.20230830 ocamlfind.1.9.6 ocamlbuild.0.14.3 num.0 menhirSdk.20230608 menhirLib.20230608 menhir.20230608 dune.3.13.0 cmdliner.0.9.7 camlp-streams.5.0.1 batteries.3.7.2 base-num.base" 

You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
[NOTE] Package dune is already installed (current version is 3.13.0).
[NOTE] Package ocamlfind is already installed (current version is 1.9.6).
The following actions will be performed:
  - install menhirSdk        20230608
  - install pprint           20230830
  - install base-num         base
  - install ocamlbuild       0.14.3
  - install camlp-streams    5.0.1
  - install menhirLib        20230608
  - install num              0
  - install cmdliner         0.9.7
  - install menhir           20230608
  - install batteries        3.7.2
  - install electrumAnalyzer 0.3.4
===== 11 to install =====

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  2/33:
Processing  3/33:
Processing  4/33: [cmdliner.0.9.7: http]
Processing  5/33: [cmdliner.0.9.7: http]
-> installed base-num.base
Processing  6/33: [cmdliner.0.9.7: http]
-> retrieved batteries.3.7.2  (cached)
Processing  7/33: [cmdliner.0.9.7: http] [electrumAnalyzer.0.3.4: http]
-> retrieved camlp-streams.5.0.1  (cached)
Processing  8/33: [cmdliner.0.9.7: http] [electrumAnalyzer.0.3.4: http]
Processing  9/33: [cmdliner.0.9.7: http] [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build]
Processing  9/33: [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build]
-> retrieved cmdliner.0.9.7  (http://erratique.ch/software/cmdliner/releases/cmdliner-0.9.7.tbz)
Processing 10/33: [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build]
-> retrieved menhir.20230608  (cached)
Processing 11/33: [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build]
-> retrieved menhirLib.20230608  (cached)
Processing 12/33: [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build]
Processing 13/33: [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build]
Processing 14/33: [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build] [menhirLib: dune build]
Processing 15/33: [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build] [menhirLib: dune build]
-> installed num.0
Processing 16/33: [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build] [menhirLib: dune build]
-> retrieved menhirSdk.20230608  (cached)
Processing 17/33: [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build] [menhirLib: dune build]
Processing 18/33: [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build] [menhirLib: dune build] [menhirSdk: dune build]
-> compiled  camlp-streams.5.0.1
Processing 18/33: [electrumAnalyzer.0.3.4: http] [menhirLib: dune build] [menhirSdk: dune build]
-> installed camlp-streams.5.0.1
Processing 19/33: [electrumAnalyzer.0.3.4: http] [menhirLib: dune build] [menhirSdk: dune build]
Processing 20/33: [electrumAnalyzer.0.3.4: http] [batteries: dune build] [menhirLib: dune build] [menhirSdk: dune build]
-> retrieved ocamlbuild.0.14.3  (cached)
Processing 21/33: [electrumAnalyzer.0.3.4: http] [batteries: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocamlbuild: make configure.make]
-> retrieved pprint.20230830  (cached)
Processing 22/33: [electrumAnalyzer.0.3.4: http] [batteries: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocamlbuild: make configure.make] [pprint: dune build]
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX=/home/opam/.opam/4.05"; \
- echo "OCAML_BINDIR=/home/opam/.opam/4.05/bin"; \
- echo "OCAML_LIBDIR=/home/opam/.opam/4.05/lib/ocaml"; \
- echo "OCAML_MANDIR=/home/opam/.opam/4.05/man"; \
- echo ;\
- echo "EXT_OBJ=.o"; \
- echo "EXT_ASM=.s"; \
- echo "EXT_LIB=.a"; \
- echo "EXT_DLL=.so"; \
- echo "EXE="; \
- echo ;\
- echo "OCAML_NATIVE=true"; \
- echo "OCAML_NATIVE_TOOLS=true"; \
- echo "NATDYNLINK=true"; \
- echo "SUPPORT_SHARED_LIBRARIES=true"; \
- echo ;\
- echo "PREFIX=/home/opam/.opam/4.05"; \
- echo "BINDIR=/home/opam/.opam/4.05/bin"; \
- echo "LIBDIR=/home/opam/.opam/4.05/lib"; \
- echo "MANDIR=/home/opam/.opam/4.05/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/home/opam/.opam/4.05/bin"'; \
- echo 'let libdir = "/home/opam/.opam/4.05/lib"'; \
- echo 'let ocaml_libdir = "/home/opam/.opam/4.05/lib/ocaml"'; \
- echo 'let libdir_abs = "/home/opam/.opam/4.05/lib"'; \
- echo 'let ocaml_native = true'; \
- echo 'let ocaml_native_tools = true'; \
- echo 'let supports_shared_libraries = true';\
- echo 'let a = "a"'; \
- echo 'let o = "o"'; \
- echo 'let so = "so"'; \
- echo 'let ext_dll = ".so"'; \
- echo 'let exe = ""'; \
- echo 'let version = "0.14.3"'; \
- ) > src/ocamlbuild_config.ml
Processing 22/33: [electrumAnalyzer.0.3.4: http] [batteries: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocamlbuild: make check-if-preinstalled] [pprint: dune build]
-> compiled  menhirSdk.20230608
Processing 22/33: [electrumAnalyzer.0.3.4: http] [batteries: dune build] [menhirLib: dune build] [ocamlbuild: make check-if-preinstalled] [pprint: dune build]
-> installed menhirSdk.20230608
Processing 23/33: [electrumAnalyzer.0.3.4: http] [batteries: dune build] [menhirLib: dune build] [ocamlbuild: make check-if-preinstalled] [pprint: dune build]
-> compiled  pprint.20230830
Processing 23/33: [electrumAnalyzer.0.3.4: http] [batteries: dune build] [menhirLib: dune build] [ocamlbuild: make check-if-preinstalled]
-> installed pprint.20230830
Processing 24/33: [electrumAnalyzer.0.3.4: http] [batteries: dune build] [menhirLib: dune build] [ocamlbuild: make check-if-preinstalled]
Processing 24/33: [batteries: dune build] [menhirLib: dune build] [ocamlbuild: make check-if-preinstalled]
-> retrieved electrumAnalyzer.0.3.4  (https://github.com/grayswandyr/electrumAnalyzer/archive/0.3.4.tar.gz)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled  menhirLib.20230608
Processing 24/33: [batteries: dune build] [ocamlbuild: make check-if-preinstalled]
-> installed menhirLib.20230608
Processing 25/33: [batteries: dune build] [ocamlbuild: make check-if-preinstalled]
Processing 26/33: [batteries: dune build] [menhir: dune build] [ocamlbuild: make check-if-preinstalled]
- if test -d /home/opam/.opam/4.05/lib/ocaml/ocamlbuild; then\
-   >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
-        "/home/opam/.opam/4.05/lib/ocaml/ocamlbuild";\
-   >&2 echo "Installation aborted; if you want to bypass this"\
-         "safety check, pass CHECK_IF_PREINSTALLED=false to make";\
-   exit 2;\
- fi
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamllex.opt src/glob_lexer.mll
- 55 states, 419 transitions, table size 2006 bytes
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamllex.opt src/lexers.mll
- 251 states, 1051 transitions, table size 5710 bytes
- 4334 additional bytes used for bindings
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- mkdir -p tmp
- ocamlc.opt -pack src/const.cmo src/loc.cmo src/discard_printf.cmo src/signatures.cmi src/my_std.cmo src/my_unix.cmo src/tags.cmo src/display.cmo src/log.cmo src/shell.cmo src/bool.cmo src/glob_ast.cmo src/glob_lexer.cmo src/glob.cmo src/lexers.cmo src/param_tags.cmo src/command.cmo src/ocamlbuild_config.cmo src/ocamlbuild_where.cmo src/slurp.cmo src/options.cmo src/pathname.cmo src/configuration.cmo src/flags.cmo src/hygiene.cmo src/digest_cache.cmo src/resource.cmo src/rule.cmo src/solver.cmo src/report.cmo src/tools.cmo src/fda.cmo src/findlib.cmo src/ocaml_arch.cmo src/ocaml_utils.cmo src/ocaml_dependencies.cmo src/ocaml_compiler.cmo src/ocaml_tools.cmo src/ocaml_specific.cmo src/exit_codes.cmo src/plugin.cmo src/hooks.cmo src/main.cmo -o tmp/ocamlbuild_pack.cmo
- mv tmp/ocamlbuild_pack.cmi src/ocamlbuild_pack.cmi
- mv tmp/ocamlbuild_pack.cmo src/ocamlbuild_pack.cmo
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml
- ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo bin/ocamlbuild.cmo
- ocamlc.opt -a -o plugin-lib/ocamlbuildlib.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- mkdir -p tmp
- ocamlopt.opt -pack src/const.cmx src/loc.cmx src/discard_printf.cmx src/signatures.cmi src/my_std.cmx src/my_unix.cmx src/tags.cmx src/display.cmx src/log.cmx src/shell.cmx src/bool.cmx src/glob_ast.cmx src/glob_lexer.cmx src/glob.cmx src/lexers.cmx src/param_tags.cmx src/command.cmx src/ocamlbuild_config.cmx src/ocamlbuild_where.cmx src/slurp.cmx src/options.cmx src/pathname.cmx src/configuration.cmx src/flags.cmx src/hygiene.cmx src/digest_cache.cmx src/resource.cmx src/rule.cmx src/solver.cmx src/report.cmx src/tools.cmx src/fda.cmx src/findlib.cmx src/ocaml_arch.cmx src/ocaml_utils.cmx src/ocaml_dependencies.cmx src/ocaml_compiler.cmx src/ocaml_tools.cmx src/ocaml_specific.cmx src/exit_codes.cmx src/plugin.cmx src/hooks.cmx src/main.cmx -o tmp/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.cmx src/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.o src/ocamlbuild_pack.o
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml
- ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx bin/ocamlbuild.cmx
- ocamlopt.opt -a -o plugin-lib/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx
- ocamlc.opt src/ocamlbuild_pack.cmo -I src man/options_man.ml -o man/options_man.byte
- ./man/options_man.byte > man/ocamlbuild.options.1
- cat man/ocamlbuild.header.1 man/ocamlbuild.options.1 man/ocamlbuild.footer.1 > man/ocamlbuild.1
- /usr/bin/make ocamlbuild.install
- make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- /usr/bin/make install-bin-opam
- make[2]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'bin: [' >> ocamlbuild.install
- echo '  "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install
- echo '  "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install
- echo '  "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/bin/make install-lib-opam
- make[2]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'lib: [' >> ocamlbuild.install
- /usr/bin/make install-lib-basics-opam
- make[3]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- echo '  "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install
- echo '  "META"' >> ocamlbuild.install
- for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \
-   echo "  \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/bin/make install-lib-byte-opam
- make[3]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.cmi plugin-lib/ocamlbuild_executor.cmi plugin-lib/ocamlbuild_unix_plugin.cmi; do \
-   echo "  \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/bin/make install-lib-native-opam
- make[3]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- for lib in plugin-lib/ocamlbuildlib.cmxa plugin-lib/ocamlbuildlib.a bin/ocamlbuild.cmx bin/ocamlbuild.o src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.o plugin-lib/ocamlbuild_executor.o plugin-lib/ocamlbuild_unix_plugin.o; do \
-   echo "  \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/bin/make install-man-opam
- make[2]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'man: [' >> ocamlbuild.install
- echo '  "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/bin/make install-doc-opam
- make[2]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'doc: [' >> ocamlbuild.install
- echo '  "LICENSE"' >> ocamlbuild.install
- echo '  "Changes"' >> ocamlbuild.install
- echo '  "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
- make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlbuild.0.14.3'
-> compiled  ocamlbuild.0.14.3
Processing 26/33: [batteries: dune build] [menhir: dune build]
-> installed ocamlbuild.0.14.3
Processing 27/33: [batteries: dune build] [menhir: dune build]
Processing 28/33: [batteries: dune build] [cmdliner: ocaml] [menhir: dune build]
- File "pkg/topkg-ext.ml", line 42, characters 12-25:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- /home/opam/.opam/4.05/bin/ocamldep.opt -modules src/cmdliner.ml > src/cmdliner.ml.depends
- /home/opam/.opam/4.05/bin/ocamldep.opt -modules src/cmdliner.mli > src/cmdliner.mli.depends
- /home/opam/.opam/4.05/bin/ocamlc.opt -c -I src -I test -o src/cmdliner.cmi src/cmdliner.mli
- /home/opam/.opam/4.05/bin/ocamlopt.opt -c -annot -bin-annot -I src -I test -o src/cmdliner.cmx src/cmdliner.ml
- + /home/opam/.opam/4.05/bin/ocamlopt.opt -c -annot -bin-annot -I src -I test -o src/cmdliner.cmx src/cmdliner.ml
- File "src/cmdliner.ml", line 398, characters 15-32:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "src/cmdliner.ml", line 399, characters 15-31:
- Warning 3: deprecated: String.uppercase
- Use String.uppercase_ascii instead.
- File "src/cmdliner.ml", line 482, characters 20-36:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "src/cmdliner.ml", line 487, characters 19-35:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "src/cmdliner.ml", line 487, characters 45-61:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- /home/opam/.opam/4.05/bin/ocamlopt.opt -a -I src src/cmdliner.cmx -o src/cmdliner.cmxa
- /home/opam/.opam/4.05/bin/ocamlc.opt -c -annot -bin-annot -I src -I test -o src/cmdliner.cmo src/cmdliner.ml
- + /home/opam/.opam/4.05/bin/ocamlc.opt -c -annot -bin-annot -I src -I test -o src/cmdliner.cmo src/cmdliner.ml
- File "src/cmdliner.ml", line 398, characters 15-32:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "src/cmdliner.ml", line 399, characters 15-31:
- Warning 3: deprecated: String.uppercase
- Use String.uppercase_ascii instead.
- File "src/cmdliner.ml", line 482, characters 20-36:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "src/cmdliner.ml", line 487, characters 19-35:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "src/cmdliner.ml", line 487, characters 45-61:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- /home/opam/.opam/4.05/bin/ocamlc.opt -a -I src src/cmdliner.cmo -o src/cmdliner.cma
- /home/opam/.opam/4.05/bin/ocamlopt.opt -shared -linkall -I src src/cmdliner.cmxa -o src/cmdliner.cmxs
-> compiled  cmdliner.0.9.7
Processing 28/33: [batteries: dune build] [menhir: dune build]
-> installed cmdliner.0.9.7
Processing 29/33: [batteries: dune build] [menhir: dune build]
-> compiled  batteries.3.7.2
Processing 29/33: [menhir: dune build]
-> installed batteries.3.7.2
Processing 30/33: [menhir: dune build]
+ /home/opam/.opam/4.05/bin/dune "build" "-p" "menhir" "-j" "255" (CWD=/home/opam/.opam/4.05/.opam-switch/build/menhir.20230608)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 error messages.
- (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 194 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 298 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 40 states.
- Priority played a role in 0 of these states.
- 152 out of 298 states have a default reduction.
- 102 out of 298 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 41 out of 96 symbols keep track of their end position.
- The StackLang code contains 3973 instructions in 267 blocks.
- The StackLang code comprises 5 mutually recursive groups.
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 101 sample input sentences and 48 error messages.
-> compiled  menhir.20230608
-> installed menhir.20230608
Processing 32/33: [electrumAnalyzer: ocaml setup.ml]
+ /home/opam/.opam/4.05/bin/ocaml "setup.ml" "-configure" "--prefix" "/home/opam/.opam/4.05" (CWD=/home/opam/.opam/4.05/.opam-switch/build/electrumAnalyzer.0.3.4)
- File "./setup.ml", line 318, characters 20-36:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 318, characters 42-58:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 327, characters 14-30:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 327, characters 38-54:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 330, characters 25-41:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 368, characters 10-26:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 474, characters 13-29:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 1825, characters 16-33:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "./setup.ml", line 1831, characters 16-35:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "setup.ml", line 5847, characters 11-28:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "setup.ml", line 5848, characters 11-30:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- 
- Configuration: 
- ocamlfind: ........................................... /home/opam/.opam/4.05/bin/ocamlfind
- ocamlc: .............................................. /home/opam/.opam/4.05/bin/ocamlc.opt
- ocamlopt: ............................................ /home/opam/.opam/4.05/bin/ocamlopt.opt
- ocamlbuild: .......................................... /home/opam/.opam/4.05/bin/ocamlbuild
- Package name: ........................................ electrumAnalyzer
- Package version: ..................................... 0.3.4
- os_type: ............................................. Unix
- system: .............................................. linux
- architecture: ........................................ amd64
- ccomp_type: .......................................... cc
- ocaml_version: ....................................... 4.05.0
- standard_library_default: ............................ /home/opam/.opam/4.05/lib/ocaml
- standard_library: .................................... /home/opam/.opam/4.05/lib/ocaml
- standard_runtime: .................................... /home/opam/.opam/4.05/bin/ocamlrun
- bytecomp_c_compiler: ................................. gcc -O2 -fno-strict-aliasing -fwrapv -fcommon -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC
- native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -fcommon -D_FILE_OFFSET_BITS=64 -D_REENTRANT
- model: ............................................... default
- ext_obj: ............................................. .o
- ext_asm: ............................................. .s
- ext_lib: ............................................. .a
- ext_dll: ............................................. .so
- default_executable_name: ............................. a.out
- systhread_supported: ................................. true
- Install architecture-independent files dir: .......... /home/opam/.opam/4.05
- Install architecture-dependent files in dir: ......... $prefix
- User executables: .................................... $exec_prefix/bin
- System admin executables: ............................ $exec_prefix/sbin
- Program executables: ................................. $exec_prefix/libexec
- Read-only single-machine data: ....................... $prefix/etc
- Modifiable architecture-independent data: ............ $prefix/com
- Modifiable single-machine data: ...................... $prefix/var
- Object code libraries: ............................... $exec_prefix/lib
- Read-only arch-independent data root: ................ $prefix/share
- Read-only architecture-independent data: ............. $datarootdir
- Info documentation: .................................. $datarootdir/info
- Locale-dependent data: ............................... $datarootdir/locale
- Man documentation: ................................... $datarootdir/man
- Documentation root: .................................. $datarootdir/doc/$pkg_name
- HTML documentation: .................................. $docdir
- DVI documentation: ................................... $docdir
- PDF documentation: ................................... $docdir
- PS documentation: .................................... $docdir
- findlib_version: ..................................... 1.9.6
- is_native: ........................................... true
- suffix_program: ...................................... 
- Remove a file.: ...................................... rm -f
- Remove a directory.: ................................. rm -rf
- Turn ocaml debug flag on: ............................ true
- Turn ocaml profile flag on: .......................... false
- Compiler support generation of .cmxs.: ............... true
- OCamlbuild additional flags: ......................... 
- Activate all compilation warnings.: .................. false
- Activate profiling (native only).: ................... false
- Create documentations: ............................... true
- Compile tests executable and library and run them: ... false
- pkg_pprint: .......................................... /home/opam/.opam/4.05/lib/pprint
- pkg_menhirlib: ....................................... /home/opam/.opam/4.05/lib/menhirLib
- pkg_str: ............................................. /home/opam/.opam/4.05/lib/ocaml
- pkg_batteries: ....................................... /home/opam/.opam/4.05/lib/batteries
- pkg_cmdliner: ........................................ /home/opam/.opam/4.05/lib/cmdliner
- 
+ /home/opam/.opam/4.05/bin/ocaml "setup.ml" "-build" (CWD=/home/opam/.opam/4.05/.opam-switch/build/electrumAnalyzer.0.3.4)
- File "./setup.ml", line 318, characters 20-36:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 318, characters 42-58:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 327, characters 14-30:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 327, characters 38-54:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 330, characters 25-41:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 368, characters 10-26:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 474, characters 13-29:
- Warning 3: deprecated: String.lowercase
- Use String.lowercase_ascii instead.
- File "./setup.ml", line 1825, characters 16-33:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "./setup.ml", line 1831, characters 16-35:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "setup.ml", line 5847, characters 11-28:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "setup.ml", line 5848, characters 11-30:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.05/lib/ocamlbuild /home/opam/.opam/4.05/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.05/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package str -package pprint -package menhirLib -package cmdliner -package batteries -modules src/main/electrumAnalyzer.ml > src/main/electrumAnalyzer.ml.depends
- fatal: not a git repository (or any of the parent directories): .git
- Generating compile-time file "build.ml" with version= Version.version and timestamp= "2024-00-29 19:01:37 UTC".
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules build.ml > build.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/version.ml > src/version.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src -I src/common -I src/generation -I src/main -I src/parsing -I src/typing -o src/version.cmo src/version.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src -I src/common -I src/generation -I src/main -I src/parsing -I src/typing -o src/version.cmo src/version.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/common/cfg.ml > src/common/cfg.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/common/faulty.mli > src/common/faulty.mli.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/faulty.cmi src/common/faulty.mli
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/faulty.cmi src/common/faulty.mli
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/elec_to_k1.ml > src/generation/elec_to_k1.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast.ml > src/parsing/ast.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast_ctrl.ml > src/parsing/ast_ctrl.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast_expr.ml > src/parsing/ast_expr.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast_ident.mli > src/parsing/ast_ident.mli.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast_qname.mli > src/parsing/ast_qname.mli.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_ident.cmi src/parsing/ast_ident.mli
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_ident.cmi src/parsing/ast_ident.mli
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/location.ml > src/parsing/location.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/typing/types.ml > src/typing/types.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_qname.cmi src/parsing/ast_qname.mli
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_qname.cmi src/parsing/ast_qname.mli
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/location.cmo src/parsing/location.ml
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/typing -I src -I src/common -I src/generation -I src/main -I src/parsing -o src/typing/types.cmo src/typing/types.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/location.cmo src/parsing/location.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/typing -I src -I src/common -I src/generation -I src/main -I src/parsing -o src/typing/types.cmo src/typing/types.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_expr.cmo src/parsing/ast_expr.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_expr.cmo src/parsing/ast_expr.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast_file.mli > src/parsing/ast_file.mli.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_ctrl.cmo src/parsing/ast_ctrl.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_ctrl.cmo src/parsing/ast_ctrl.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast_par.mli > src/parsing/ast_par.mli.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_par.cmi src/parsing/ast_par.mli
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_par.cmi src/parsing/ast_par.mli
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/common/util.ml > src/common/util.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_file.cmi src/parsing/ast_file.mli
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/util.cmo src/common/util.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_file.cmi src/parsing/ast_file.mli
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/util.cmo src/common/util.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/cfg.cmo src/common/cfg.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/cfg.cmo src/common/cfg.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/fresh.ml > src/generation/fresh.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/names.mli > src/generation/names.mli.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/names.cmi src/generation/names.mli
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/names.cmi src/generation/names.mli
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/k1.ml > src/generation/k1.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/profile.ml > src/generation/profile.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast.cmo src/parsing/ast.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast.cmo src/parsing/ast.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/typing/typing.mli > src/typing/typing.mli.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/typing -I src -I src/common -I src/generation -I src/main -I src/parsing -o src/typing/typing.cmi src/typing/typing.mli
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/typing -I src -I src/common -I src/generation -I src/main -I src/parsing -o src/typing/typing.cmi src/typing/typing.mli
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/profile.cmo src/generation/profile.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/profile.cmo src/generation/profile.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- File "src/generation/profile.ml", line 184, characters 15-31:
- Warning 3: deprecated: BatString.nsplit
- Use split_on_string instead.
- File "src/generation/profile.ml", line 201, characters 17-33:
- Warning 3: deprecated: BatString.nsplit
- Use split_on_string instead.
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/k1_pretty.ml > src/generation/k1_pretty.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k1.cmo src/generation/k1.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k1.cmo src/generation/k1.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/pretty.ml > src/parsing/pretty.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/common/electrum.ml > src/common/electrum.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/electrum.cmo src/common/electrum.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/electrum.cmo src/common/electrum.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/fresh.cmo src/generation/fresh.ml
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k1_pretty.cmo src/generation/k1_pretty.ml
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/pretty.cmo src/parsing/pretty.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/fresh.cmo src/generation/fresh.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k1_pretty.cmo src/generation/k1_pretty.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/pretty.cmo src/parsing/pretty.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/elecfile_to_k1.ml > src/generation/elecfile_to_k1.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/elec_to_k1.cmo src/generation/elec_to_k1.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/elec_to_k1.cmo src/generation/elec_to_k1.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package str -package pprint -package menhirLib -package cmdliner -package batteries -modules src/main/electrum_to_smv.ml > src/main/electrum_to_smv.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/elecfile_to_k1.cmo src/generation/elecfile_to_k1.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/elecfile_to_k1.cmo src/generation/elecfile_to_k1.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/k1_to_k2.ml > src/generation/k1_to_k2.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/k2.ml > src/generation/k2.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/k2PPrint.ml > src/generation/k2PPrint.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k2.cmo src/generation/k2.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k2.cmo src/generation/k2.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k2PPrint.cmo src/generation/k2PPrint.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k2PPrint.cmo src/generation/k2PPrint.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/k2_to_ltl.ml > src/generation/k2_to_ltl.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/ltl.ml > src/generation/ltl.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/ltl_to_smv.ml > src/generation/ltl_to_smv.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/ltl.cmo src/generation/ltl.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/ltl.cmo src/generation/ltl.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/ltl_to_smv.cmo src/generation/ltl_to_smv.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/ltl_to_smv.cmo src/generation/ltl_to_smv.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k1_to_k2.cmo src/generation/k1_to_k2.ml
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k2_to_ltl.cmo src/generation/k2_to_ltl.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k2_to_ltl.cmo src/generation/k2_to_ltl.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k1_to_k2.cmo src/generation/k1_to_k2.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/parser_main.ml > src/parsing/parser_main.ml.depends
- menhir --infer --unused-token ALL --unused-token ARROW \
- --unused-token SET --raw-depend --ocamldep '/home/opam/.opam/4.05/bin/ocamlfind ocamldep -modules' --base src/parsing/parser src/parsing/parser_common.mly src/parsing/parser_expr.mly src/parsing/parser_par.mly src/parsing/parser_ctrl.mly src/parsing/parser_file.mly > src/parsing/parser.mlypack.depends
- menhir --infer --unused-token ALL --unused-token ARROW \
- --unused-token SET --ocamlc '/home/opam/.opam/4.05/bin/ocamlfind ocamlc -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing' --infer --base src/parsing/parser src/parsing/parser_common.mly src/parsing/parser_expr.mly src/parsing/parser_par.mly src/parsing/parser_ctrl.mly src/parsing/parser_file.mly
- + menhir --infer --unused-token ALL --unused-token ARROW \
- --unused-token SET --ocamlc '/home/opam/.opam/4.05/bin/ocamlfind ocamlc -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing' --infer --base src/parsing/parser src/parsing/parser_common.mly src/parsing/parser_expr.mly src/parsing/parser_par.mly src/parsing/parser_ctrl.mly src/parsing/parser_file.mly
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- Warning: one state has reduce/reduce conflicts.
- Warning: 74 reduce/reduce conflicts were arbitrarily resolved.
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/parser.mli > src/parsing/parser.mli.depends
- /home/opam/.opam/4.05/bin/ocamllex.opt -q src/parsing/scanner.mll
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/scanner.ml > src/parsing/scanner.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/parser.cmi src/parsing/parser.mli
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/parser.cmi src/parsing/parser.mli
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/scanner.cmo src/parsing/scanner.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/scanner.cmo src/parsing/scanner.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src -I src/common -I src/generation -I src/main -I src/parsing -I src/typing -o build.cmo build.ml
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package str -package pprint -package menhirLib -package cmdliner -package batteries -I src/main -I src -I src/common -I src/generation -I src/parsing -I src/typing -o src/main/electrum_to_smv.cmo src/main/electrum_to_smv.ml
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/parser_main.cmo src/parsing/parser_main.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src -I src/common -I src/generation -I src/main -I src/parsing -I src/typing -o build.cmo build.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/parser_main.cmo src/parsing/parser_main.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package str -package pprint -package menhirLib -package cmdliner -package batteries -I src/main -I src -I src/common -I src/generation -I src/parsing -I src/typing -o src/main/electrum_to_smv.cmo src/main/electrum_to_smv.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package str -package pprint -package menhirLib -package cmdliner -package batteries -I src/main -I src -I src/common -I src/generation -I src/parsing -I src/typing -o src/main/electrumAnalyzer.cmo src/main/electrumAnalyzer.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package str -package pprint -package menhirLib -package cmdliner -package batteries -I src/main -I src -I src/common -I src/generation -I src/parsing -I src/typing -o src/main/electrumAnalyzer.cmo src/main/electrumAnalyzer.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamlopt -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src -I src/common -I src/generation -I src/main -I src/parsing -I src/typing -o src/version.cmx src/version.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlopt -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src -I src/common -I src/generation -I src/main -I src/parsing -I src/typing -o src/version.cmx src/version.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/common/faulty.ml > src/common/faulty.ml.depends
- /home/opam/.opam/4.05/bin/ocamlfind ocamlopt -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/faulty.cmx src/common/faulty.ml
- + /home/opam/.opam/4.05/bin/ocamlfind ocamlopt -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/faulty.cmx src/common/faulty.ml
- ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
- File "src/common/faulty.ml", line 34, characters 19-22:
- Error: Unbound constructor Bad
- Command exited with code 2.
- + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.05/lib/ocamlbuild /home/opam/.opam/4.05/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.05/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- File "myocamlbuild.ml", line 518, characters 43-62:
- Warning 3: deprecated: Ocamlbuild_plugin.String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "myocamlbuild.ml", line 531, characters 51-70:
- Warning 3: deprecated: Ocamlbuild_plugin.String.uncapitalize
- Use String.uncapitalize_ascii instead.
- E: Failure("Command ''/home/opam/.opam/4.05/bin/ocamlbuild' src/main/electrumAnalyzer.native -use-ocamlfind -use-ocamlfind -cflags -safe-string,-strict-sequence,-short-paths -use-menhir -menhir 'menhir --infer --unused-token ALL --unused-token ARROW \\\n--unused-token SET' -pkgs pprint,menhirLib,batteries,cmdliner -j 0 -tag debug' terminated with error code 10")
[ERROR] The compilation of electrumAnalyzer.0.3.4 failed at "ocaml setup.ml -build".

#=== ERROR while compiling electrumAnalyzer.0.3.4 =============================#
# context              2.1.5 | linux/x86_64 | ocaml-base-compiler.4.05.0 | file:///src
# path                 ~/.opam/4.05/.opam-switch/build/electrumAnalyzer.0.3.4
# command              ~/.opam/4.05/bin/ocaml setup.ml -build
# exit-code            1
# env-file             ~/.opam/log/electrumAnalyzer-114-8cef3b.env
# output-file          ~/.opam/log/electrumAnalyzer-114-8cef3b.out
### output ###
# File "./setup.ml", line 318, characters 20-36:
# Warning 3: deprecated: String.lowercase
# Use String.lowercase_ascii instead.
# File "./setup.ml", line 318, characters 42-58:
# Warning 3: deprecated: String.lowercase
# Use String.lowercase_ascii instead.
# File "./setup.ml", line 327, characters 14-30:
# Warning 3: deprecated: String.lowercase
# Use String.lowercase_ascii instead.
# File "./setup.ml", line 327, characters 38-54:
# Warning 3: deprecated: String.lowercase
# Use String.lowercase_ascii instead.
# File "./setup.ml", line 330, characters 25-41:
# Warning 3: deprecated: String.lowercase
# Use String.lowercase_ascii instead.
# File "./setup.ml", line 368, characters 10-26:
# Warning 3: deprecated: String.lowercase
# Use String.lowercase_ascii instead.
# File "./setup.ml", line 474, characters 13-29:
# Warning 3: deprecated: String.lowercase
# Use String.lowercase_ascii instead.
# File "./setup.ml", line 1825, characters 16-33:
# Warning 3: deprecated: String.capitalize
# Use String.capitalize_ascii instead.
# File "./setup.ml", line 1831, characters 16-35:
# Warning 3: deprecated: String.uncapitalize
# Use String.uncapitalize_ascii instead.
# File "setup.ml", line 5847, characters 11-28:
# Warning 3: deprecated: String.capitalize
# Use String.capitalize_ascii instead.
# File "setup.ml", line 5848, characters 11-30:
# Warning 3: deprecated: String.uncapitalize
# Use String.uncapitalize_ascii instead.
# ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.05/lib/ocamlbuild /home/opam/.opam/4.05/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.05/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package str -package pprint -package menhirLib -package cmdliner -package batteries -modules src/main/electrumAnalyzer.ml > src/main/electrumAnalyzer.ml.depends
# fatal: not a git repository (or any of the parent directories): .git
# Generating compile-time file "build.ml" with version= Version.version and timestamp= "2024-00-29 19:01:37 UTC".
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules build.ml > build.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/version.ml > src/version.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src -I src/common -I src/generation -I src/main -I src/parsing -I src/typing -o src/version.cmo src/version.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src -I src/common -I src/generation -I src/main -I src/parsing -I src/typing -o src/version.cmo src/version.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/common/cfg.ml > src/common/cfg.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/common/faulty.mli > src/common/faulty.mli.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/faulty.cmi src/common/faulty.mli
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/faulty.cmi src/common/faulty.mli
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/elec_to_k1.ml > src/generation/elec_to_k1.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast.ml > src/parsing/ast.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast_ctrl.ml > src/parsing/ast_ctrl.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast_expr.ml > src/parsing/ast_expr.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast_ident.mli > src/parsing/ast_ident.mli.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast_qname.mli > src/parsing/ast_qname.mli.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_ident.cmi src/parsing/ast_ident.mli
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_ident.cmi src/parsing/ast_ident.mli
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/location.ml > src/parsing/location.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/typing/types.ml > src/typing/types.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_qname.cmi src/parsing/ast_qname.mli
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_qname.cmi src/parsing/ast_qname.mli
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/location.cmo src/parsing/location.ml
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/typing -I src -I src/common -I src/generation -I src/main -I src/parsing -o src/typing/types.cmo src/typing/types.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/location.cmo src/parsing/location.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/typing -I src -I src/common -I src/generation -I src/main -I src/parsing -o src/typing/types.cmo src/typing/types.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_expr.cmo src/parsing/ast_expr.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_expr.cmo src/parsing/ast_expr.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast_file.mli > src/parsing/ast_file.mli.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_ctrl.cmo src/parsing/ast_ctrl.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_ctrl.cmo src/parsing/ast_ctrl.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/ast_par.mli > src/parsing/ast_par.mli.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_par.cmi src/parsing/ast_par.mli
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_par.cmi src/parsing/ast_par.mli
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/common/util.ml > src/common/util.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_file.cmi src/parsing/ast_file.mli
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/util.cmo src/common/util.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast_file.cmi src/parsing/ast_file.mli
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/util.cmo src/common/util.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/cfg.cmo src/common/cfg.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/cfg.cmo src/common/cfg.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/fresh.ml > src/generation/fresh.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/names.mli > src/generation/names.mli.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/names.cmi src/generation/names.mli
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/names.cmi src/generation/names.mli
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/k1.ml > src/generation/k1.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/profile.ml > src/generation/profile.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast.cmo src/parsing/ast.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/ast.cmo src/parsing/ast.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/typing/typing.mli > src/typing/typing.mli.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/typing -I src -I src/common -I src/generation -I src/main -I src/parsing -o src/typing/typing.cmi src/typing/typing.mli
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/typing -I src -I src/common -I src/generation -I src/main -I src/parsing -o src/typing/typing.cmi src/typing/typing.mli
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/profile.cmo src/generation/profile.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/profile.cmo src/generation/profile.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# File "src/generation/profile.ml", line 184, characters 15-31:
# Warning 3: deprecated: BatString.nsplit
# Use split_on_string instead.
# File "src/generation/profile.ml", line 201, characters 17-33:
# Warning 3: deprecated: BatString.nsplit
# Use split_on_string instead.
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/k1_pretty.ml > src/generation/k1_pretty.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k1.cmo src/generation/k1.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k1.cmo src/generation/k1.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/pretty.ml > src/parsing/pretty.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/common/electrum.ml > src/common/electrum.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/electrum.cmo src/common/electrum.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/electrum.cmo src/common/electrum.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/fresh.cmo src/generation/fresh.ml
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k1_pretty.cmo src/generation/k1_pretty.ml
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/pretty.cmo src/parsing/pretty.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/fresh.cmo src/generation/fresh.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k1_pretty.cmo src/generation/k1_pretty.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/pretty.cmo src/parsing/pretty.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/elecfile_to_k1.ml > src/generation/elecfile_to_k1.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/elec_to_k1.cmo src/generation/elec_to_k1.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/elec_to_k1.cmo src/generation/elec_to_k1.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package str -package pprint -package menhirLib -package cmdliner -package batteries -modules src/main/electrum_to_smv.ml > src/main/electrum_to_smv.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/elecfile_to_k1.cmo src/generation/elecfile_to_k1.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/elecfile_to_k1.cmo src/generation/elecfile_to_k1.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/k1_to_k2.ml > src/generation/k1_to_k2.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/k2.ml > src/generation/k2.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/k2PPrint.ml > src/generation/k2PPrint.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k2.cmo src/generation/k2.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k2.cmo src/generation/k2.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k2PPrint.cmo src/generation/k2PPrint.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k2PPrint.cmo src/generation/k2PPrint.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/k2_to_ltl.ml > src/generation/k2_to_ltl.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/ltl.ml > src/generation/ltl.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/generation/ltl_to_smv.ml > src/generation/ltl_to_smv.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/ltl.cmo src/generation/ltl.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/ltl.cmo src/generation/ltl.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/ltl_to_smv.cmo src/generation/ltl_to_smv.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/ltl_to_smv.cmo src/generation/ltl_to_smv.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k1_to_k2.cmo src/generation/k1_to_k2.ml
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k2_to_ltl.cmo src/generation/k2_to_ltl.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k2_to_ltl.cmo src/generation/k2_to_ltl.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/generation -I src -I src/common -I src/main -I src/parsing -I src/typing -o src/generation/k1_to_k2.cmo src/generation/k1_to_k2.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/parser_main.ml > src/parsing/parser_main.ml.depends
# menhir --infer --unused-token ALL --unused-token ARROW \
# --unused-token SET --raw-depend --ocamldep '/home/opam/.opam/4.05/bin/ocamlfind ocamldep -modules' --base src/parsing/parser src/parsing/parser_common.mly src/parsing/parser_expr.mly src/parsing/parser_par.mly src/parsing/parser_ctrl.mly src/parsing/parser_file.mly > src/parsing/parser.mlypack.depends
# menhir --infer --unused-token ALL --unused-token ARROW \
# --unused-token SET --ocamlc '/home/opam/.opam/4.05/bin/ocamlfind ocamlc -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing' --infer --base src/parsing/parser src/parsing/parser_common.mly src/parsing/parser_expr.mly src/parsing/parser_par.mly src/parsing/parser_ctrl.mly src/parsing/parser_file.mly
# + menhir --infer --unused-token ALL --unused-token ARROW \
# --unused-token SET --ocamlc '/home/opam/.opam/4.05/bin/ocamlfind ocamlc -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing' --infer --base src/parsing/parser src/parsing/parser_common.mly src/parsing/parser_expr.mly src/parsing/parser_par.mly src/parsing/parser_ctrl.mly src/parsing/parser_file.mly
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# Warning: one state has reduce/reduce conflicts.
# Warning: 74 reduce/reduce conflicts were arbitrarily resolved.
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/parser.mli > src/parsing/parser.mli.depends
# /home/opam/.opam/4.05/bin/ocamllex.opt -q src/parsing/scanner.mll
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/parsing/scanner.ml > src/parsing/scanner.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/parser.cmi src/parsing/parser.mli
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/parser.cmi src/parsing/parser.mli
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/scanner.cmo src/parsing/scanner.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/scanner.cmo src/parsing/scanner.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src -I src/common -I src/generation -I src/main -I src/parsing -I src/typing -o build.cmo build.ml
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package str -package pprint -package menhirLib -package cmdliner -package batteries -I src/main -I src -I src/common -I src/generation -I src/parsing -I src/typing -o src/main/electrum_to_smv.cmo src/main/electrum_to_smv.ml
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/parser_main.cmo src/parsing/parser_main.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src -I src/common -I src/generation -I src/main -I src/parsing -I src/typing -o build.cmo build.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/parsing -I src -I src/common -I src/generation -I src/main -I src/typing -o src/parsing/parser_main.cmo src/parsing/parser_main.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package str -package pprint -package menhirLib -package cmdliner -package batteries -I src/main -I src -I src/common -I src/generation -I src/parsing -I src/typing -o src/main/electrum_to_smv.cmo src/main/electrum_to_smv.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package str -package pprint -package menhirLib -package cmdliner -package batteries -I src/main -I src -I src/common -I src/generation -I src/parsing -I src/typing -o src/main/electrumAnalyzer.cmo src/main/electrumAnalyzer.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlc -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package str -package pprint -package menhirLib -package cmdliner -package batteries -I src/main -I src -I src/common -I src/generation -I src/parsing -I src/typing -o src/main/electrumAnalyzer.cmo src/main/electrumAnalyzer.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamlopt -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src -I src/common -I src/generation -I src/main -I src/parsing -I src/typing -o src/version.cmx src/version.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlopt -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src -I src/common -I src/generation -I src/main -I src/parsing -I src/typing -o src/version.cmx src/version.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# /home/opam/.opam/4.05/bin/ocamlfind ocamldep -package pprint -package menhirLib -package cmdliner -package batteries -modules src/common/faulty.ml > src/common/faulty.ml.depends
# /home/opam/.opam/4.05/bin/ocamlfind ocamlopt -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/faulty.cmx src/common/faulty.ml
# + /home/opam/.opam/4.05/bin/ocamlfind ocamlopt -c -safe-string -strict-sequence -short-paths -g -annot -bin-annot -package pprint -package menhirLib -package cmdliner -package batteries -I src/common -I src -I src/generation -I src/main -I src/parsing -I src/typing -o src/common/faulty.cmx src/common/faulty.ml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# File "src/common/faulty.ml", line 34, characters 19-22:
# Error: Unbound constructor Bad
# Command exited with code 2.
# + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.05/lib/ocamlbuild /home/opam/.opam/4.05/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.05/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
# File "myocamlbuild.ml", line 518, characters 43-62:
# Warning 3: deprecated: Ocamlbuild_plugin.String.uncapitalize
# Use String.uncapitalize_ascii instead.
# File "myocamlbuild.ml", line 531, characters 51-70:
# Warning 3: deprecated: Ocamlbuild_plugin.String.uncapitalize
# Use String.uncapitalize_ascii instead.
# E: Failure("Command ''/home/opam/.opam/4.05/bin/ocamlbuild' src/main/electrumAnalyzer.native -use-ocamlfind -use-ocamlfind -cflags -safe-string,-strict-sequence,-short-paths -use-menhir -menhir 'menhir --infer --unused-token ALL --unused-token ARROW \\\n--unused-token SET' -pkgs pprint,menhirLib,batteries,cmdliner -j 0 -tag debug' terminated with error code 10")



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build electrumAnalyzer 0.3.4
+- 
+- The following changes have been performed
| - install base-num      base
| - install batteries     3.7.2
| - install camlp-streams 5.0.1
| - install cmdliner      0.9.7
| - install menhir        20230608
| - install menhirLib     20230608
| - install menhirSdk     20230608
| - install num           0
| - install ocamlbuild    0.14.3
| - install pprint        20230830
+- 
# Run eval $(opam env) to update the current shell environment

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/4.05/.opam-switch/backup/state-20240129190115.export"
'opam --cli=2.1 install electrumAnalyzer.0.3.4 pprint.20230830 ocamlfind.1.9.6 ocamlbuild.0.14.3 num.0 menhirSdk.20230608 menhirLib.20230608 menhir.20230608 dune.3.13.0 cmdliner.0.9.7 camlp-streams.5.0.1 batteries.3.7.2 base-num.base --verbose --yes --confirm-level=unsafe-yes' failed.