ocaml4.14.0-menhir-20220210
checks.i686-linux.alt-ergo
· build #1
· raw
unpackPhase
1unpacking sources2unpacking source archive /nix/store/kzll2g0fwy98ix703f3zfb820l7v8d44-source3source root is sourcepatchPhase
4patching sourcesconfigurePhase
5configuring6no configure script, doing nothingbuildPhase
7building8 menhir src/stage2/parserMessages.check9Read 101 sample input sentences and 101 error messages.10Read 101 sample input sentences and 48 error messages.11 menhir src/stage2/parserMessages.ml12Read 101 sample input sentences and 48 error messages.13 menhir src/stage2/parser.{ml,mli}14Grammar has 56 nonterminal symbols, among which 1 start symbols.15Grammar has 37 terminal symbols.16Grammar has 129 productions.17Built an LR(0) automaton with 194 states.18The grammar is not SLR(1) -- 5 states have a conflict.19The construction mode is no-pager.20Built an LR(1) automaton with 298 states.21One shift/reduce conflict was silently solved.22Extra reductions on error were added in 40 states.23Priority played a role in 0 of these states.24152 out of 298 states have a default reduction.25102 out of 298 states are represented.2644 out of 96 symbols keep track of their start position.2741 out of 96 symbols keep track of their end position.28264 specialized copies of 64 functions have been created.29The StackLang code contains 5161 instructions in 241 blocks.30The StackLang code comprises 5 mutually recursive groups.31buildPhase completed in 38 secondsinstallPhase
32installing33Installing /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/lib/ocaml/4.14.0/site-lib/menhir/META34Installing /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/lib/ocaml/4.14.0/site-lib/menhir/dune-package35Installing /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/bin/menhir36Installing /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/doc/menhir/LICENSE37Installing /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/doc/menhir/manual.html38Installing /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/doc/menhir/manual.pdf39Installing /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/doc/menhir/manual001.png40Installing /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/doc/menhir/manual002.png41Installing /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/doc/menhir/manual003.png42Installing /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/man/man1/menhir.1fixupPhase
43post-installation fixup44moving /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/man to /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/share/man45moving /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/doc to /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/share/doc46shrinking RPATHs of ELF executables and libraries in /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-2022021047shrinking /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/bin/menhir48gzipping man pages under /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/share/man/49strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip50stripping (with command strip and flags -S) in /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/lib /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210/bin51patching script interpreter paths in /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-2022021052checking for references to /build/ in /nix/store/99kgfax6lh04zzibjz634jcagqq58kww-ocaml4.14.0-menhir-20220210...