On This Page
package electrumAnalyzer
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.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.3 (cached)
-> removed opam-depext.1.2.3
-> installed opam-depext.1.2.3
Done.
<><> opam-depext.1.2.3 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.16.0 cmdliner.0.9.7 camlp-streams.5.0.1 batteries.3.8.0 base-num.base"
Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies.
# 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.16.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.8.0
- 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.8.0 (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 menhir.20230608 (cached)
Processing 10/33: [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build]
Processing 10/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build]
-> retrieved menhirLib.20230608 (cached)
Processing 11/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build]
Processing 12/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [camlp-streams: dune build] [menhirLib: dune build]
-> compiled camlp-streams.5.0.1
Processing 12/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [menhirLib: dune build]
-> installed camlp-streams.5.0.1
Processing 13/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [menhirLib: dune build]
-> retrieved menhirSdk.20230608 (cached)
Processing 14/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [menhirLib: dune build]
Processing 15/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [menhirLib: dune build]
Processing 16/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [menhirLib: dune build] [menhirSdk: dune build]
Processing 17/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [menhirLib: dune build] [menhirSdk: dune build]
-> installed num.0
Processing 18/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [menhirLib: dune build] [menhirSdk: dune build]
Processing 19/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [batteries: dune build] [menhirLib: dune build] [menhirSdk: dune build]
-> retrieved ocamlbuild.0.14.3 (cached)
Processing 20/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [batteries: dune build] [menhirLib: dune build] [menhirSdk: dune build]
Processing 21/33: [cmdliner.0.9.7/backport_pre_4_00_0.patch: dl] [electrumAnalyzer.0.3.4: http] [batteries: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocamlbuild: make configure.make]
-> retrieved cmdliner.0.9.7 (http://erratique.ch/software/cmdliner/releases/cmdliner-0.9.7.tbz)
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]
Processing 22/33: [batteries: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocamlbuild: make check-if-preinstalled] [pprint: dune build]
-> retrieved electrumAnalyzer.0.3.4 (https://github.com/grayswandyr/electrumAnalyzer/archive/0.3.4.tar.gz)
-> compiled menhirSdk.20230608
Processing 22/33: [batteries: dune build] [menhirLib: dune build] [ocamlbuild: make check-if-preinstalled] [pprint: dune build]
-> installed menhirSdk.20230608
Processing 23/33: [batteries: dune build] [menhirLib: dune build] [ocamlbuild: make check-if-preinstalled] [pprint: dune build]
-> compiled pprint.20230830
Processing 23/33: [batteries: dune build] [menhirLib: dune build] [ocamlbuild: make check-if-preinstalled]
-> installed pprint.20230830
Processing 24/33: [batteries: dune build] [menhirLib: dune build] [ocamlbuild: make check-if-preinstalled]
- (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.
-> compiled batteries.3.8.0
Processing 28/33: [cmdliner: ocaml] [menhir: dune build]
-> installed batteries.3.8.0
Processing 29/33: [cmdliner: ocaml] [menhir: dune build]
- /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 29/33: [menhir: dune build]
-> installed cmdliner.0.9.7
Processing 30/33: [menhir: dune build]
+ /home/opam/.opam/4.05/bin/dune "build" "-p" "menhir" "-j" "39" (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-08-12 20:24:08 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.6 | 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-116-a4cf75.env
# output-file ~/.opam/log/electrumAnalyzer-116-a4cf75.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-08-12 20:24:08 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.8.0
| - 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-20240912202344.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.16.0 cmdliner.0.9.7 camlp-streams.5.0.1 batteries.3.8.0 base-num.base --verbose --yes --confirm-level=unsafe-yes' failed.
On This Page