package nunchaku

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

nunchaku 0.6

Error log

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

[NOTE] Package dune is already installed (current version is 1.11.4).
[NOTE] Package ocamlfind is already installed (current version is 1.9.6).
The following actions will be performed:
=== install 11 packages
  - install base-bytes        base
  - install containers        3.6
  - install dune-configurator 1.0.0
  - install jbuilder          transition (deprecated)
  - install menhir            20181026
  - install num               1.5-1
  - install nunchaku          0.6
  - install ocamlbuild        0.14.3
  - install result            1.5
  - install seq               base
  - install sequence          1.1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bytes.base
-> installed dune-configurator.1.0.0
-> installed jbuilder.transition
-> retrieved containers.3.6  (cached)
-> retrieved menhir.20181026  (cached)
-> retrieved num.1.5-1  (cached)
-> retrieved result.1.5  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved ocamlbuild.0.14.3  (cached)
-> retrieved sequence.1.1  (cached)
-> installed result.1.5
-> retrieved nunchaku.0.6  (https://github.com/nunchaku-inria/nunchaku/archive/0.6.tar.gz)
-> installed sequence.1.1
-> installed containers.3.6
-> installed num.1.5-1
-> installed ocamlbuild.0.14.3
-> installed menhir.20181026
[ERROR] The compilation of nunchaku.0.6 failed at "jbuilder build -p nunchaku -j 71".

#=== ERROR while compiling nunchaku.0.6 =======================================#
# context              2.3.0 | linux/x86_64 | ocaml-base-compiler.4.07.1 | file:///src
# path                 ~/.opam/4.07/.opam-switch/build/nunchaku.0.6
# command              ~/.opam/4.07/bin/jbuilder build -p nunchaku -j 71
# exit-code            1
# env-file             ~/.opam/log/nunchaku-113-8d93c5.env
# output-file          ~/.opam/log/nunchaku-113-8d93c5.out
### output ###
# The jbuilder binary is deprecated and will cease to be maintained in July 2019.
# Please switch to dune instead.
# File "qtest/jbuild", line 1, characters 0-0:
# Warning: jbuild files are deprecated, please convert this file to a dune file
# instead.
# Note: You can use "dune upgrade" to convert your project to dune.
# File "src/jbuild", line 1, characters 0-0:
# Warning: jbuild files are deprecated, please convert this file to a dune file
# instead.
# Note: You can use "dune upgrade" to convert your project to dune.
# File "src/backends/jbuild", line 1, characters 0-0:
# Warning: jbuild files are deprecated, please convert this file to a dune file
# instead.
# Note: You can use "dune upgrade" to convert your project to dune.
# File "src/core/jbuild", line 1, characters 0-0:
# Warning: jbuild files are deprecated, please convert this file to a dune file
# instead.
# Note: You can use "dune upgrade" to convert your project to dune.
# File "src/main/jbuild", line 1, characters 0-0:
# Warning: jbuild files are deprecated, please convert this file to a dune file
# instead.
# Note: You can use "dune upgrade" to convert your project to dune.
# File "src/parsers/jbuild", line 1, characters 0-0:
# Warning: jbuild files are deprecated, please convert this file to a dune file
# instead.
# Note: You can use "dune upgrade" to convert your project to dune.
# File "src/random/jbuild", line 1, characters 0-0:
# Warning: jbuild files are deprecated, please convert this file to a dune file
# instead.
# Note: You can use "dune upgrade" to convert your project to dune.
# File "src/transformations/jbuild", line 1, characters 0-0:
# Warning: jbuild files are deprecated, please convert this file to a dune file
# instead.
# Note: You can use "dune upgrade" to convert your project to dune.
# File "src/core/jbuild", line 8, characters 26-41:
# 8 |    (libraries (containers containers.data sequence num unix threads))
#                               ^^^^^^^^^^^^^^^
# Error: Library "containers.data" not found.
# Hint: try: dune external-lib-deps --missing -p nunchaku -j 71 @install
#         bash src/main/GitVersion.ml
# fatal: not a git repository (or any of the parent directories): .git
#       menhir src/parsers/Parse_kodkod.{ml,mli}
# File "src/parsers/Parse_kodkod.mly", line 12, characters 7-12:
# Warning: the token COLON is unused.
# File "src/parsers/Parse_kodkod.mly", line 11, characters 7-15:
# Warning: the token RELATION is unused.
# File "src/parsers/Parse_kodkod.mly", line 10, characters 27-34:
# Warning: the token SECTION is unused.



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build nunchaku 0.6
+- 
+- The following changes have been performed
| - install base-bytes        base
| - install containers        3.6
| - install dune-configurator 1.0.0
| - install jbuilder          transition
| - install menhir            20181026
| - install num               1.5-1
| - install ocamlbuild        0.14.3
| - install result            1.5
| - install seq               base
| - install sequence          1.1
+- 

<><> jbuilder.transition installed successfully <><><><><><><><><><><><><><><><>
=> Note: This package is deprecated.
=> Jbuilder has been renamed and the jbuilder package is now a transition package. Use the dune package instead.
# To update the current shell environment, run: eval $(opam env)

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/4.07/.opam-switch/backup/state-20250204162025.export"
OCaml

Innovation. Community. Security.