Installation error
Closed this issue · 4 comments
When trying to install KaSim et al. via OPAM, both kappa-agents
and kappa-binaries
error with:
#=== ERROR while compiling kappa-binaries.4.1~dev =============================#
# context 2.1.2 | linux/x86_64 | ocaml.4.13.1 | pinned(git+https://github.com/Kappa-Dev/KaSim.git#5e756eb3)
# path ~/.opam/default/.opam-switch/build/kappa-binaries.4.1~dev
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p kappa-binaries -j 11
# exit-code 1
# env-file ~/.opam/log/kappa-binaries-11674-236b73.env
# output-file ~/.opam/log/kappa-binaries-11674-236b73.out
### output ###
# (cd _build/default && /home/hmedina/.opam/default/bin/ocamlc.opt -w -40 -w @a -open Kappa_parameters -open Kappa_errors -open Kappa_logging -open Kappa_kasa_kastor_toolset -open Kappa_generic_toolset -g -bin-annot -I core/KaSa_rep/abstract_domains/mvbdu/.kappa_mvbdu.objs/byte -I /home/hmedina/.opam/default/lib/biniou -I /home/hmedina/.opam/default/lib/easy-format -I /home/hmedina/.opam/defaul[...]
# File "core/KaSa_rep/abstract_domains/mvbdu/list_algebra.ml", line 1:
# Error (warning 70 [missing-mli]): Cannot find interface file.
#=== ERROR while compiling kappa-agents.4.1~dev ===============================#
# context 2.1.2 | linux/x86_64 | ocaml.4.13.1 | pinned(git+https://github.com/Kappa-Dev/KaSim.git#5e756eb3)
# path ~/.opam/default/.opam-switch/build/kappa-agents.4.1~dev
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p kappa-agents -j 11
# exit-code 1
# env-file ~/.opam/log/kappa-agents-11674-82548b.env
# output-file ~/.opam/log/kappa-agents-11674-82548b.out
### output ###
# [...]
# Error (warning 70 [missing-mli]): Cannot find interface file.
# (cd _build/default && /home/hmedina/.opam/default/bin/ocamlopt.opt -w -40 -w @a -open Kappa_generic_toolset -open Kappa_mixtures -open Kappa_terms -open Kappa_grammar -open Kappa_runtime -open Kappa_parameters -open Kappa_kasa_type_interface -open Kappa_classical_graphs -open Kappa_cflow -g -I core/api/.kappa_json_api.objs/byte -I core/api/.kappa_json_api.objs/native -I /home/hmedina/.opam/de[...]
# File "core/api/fakezip.ml", line 41, characters 4-23:
# 41 | is_directory: bool;
# ^^^^^^^^^^^^^^^^^^^
# Error (warning 69 [unused-field]): record field is_directory is never read.
# (However, this field is used to build or mutate values.)
# (cd _build/default && /home/hmedina/.opam/default/bin/ocamlopt.opt -w -40 -w @a -open Kappa_generic_toolset -open Kappa_mixtures -open Kappa_terms -open Kappa_grammar -open Kappa_runtime -open Kappa_parameters -open Kappa_kasa_type_interface -open Kappa_classical_graphs -open Kappa_cflow -g -I core/api/.kappa_json_api.objs/byte -I core/api/.kappa_json_api.objs/native -I /home/hmedina/.opam/de[...]
# File "core/api/kappa_facade.ml", line 55, characters 4-33:
# 55 | mutable trace : Bi_outbuf.t ;
# ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# Error (warning 69 [unused-field]): mutable record field trace is never mutated.
Using WSL2, with Ubuntu 20.04
Using KappaTools.git
instead of KaSim.git
for the GitHub project name does not avoid the error.
Hi Hector,
My commit fix the compilation on my OS, could you check it is working with yours as well?
(For some reason Travis is not working and is asking for money.)
Best.
Jérôme.
Hi Jérôme, that fixed it on my end, thanks!
Just to mention, that OCaml devs have entered a type declarative frenzy mode, whereas most types could be inferred before. It may be possible to tune dune to avoid this missing type declaration warning to make the compilation fail, but I have neither the time, not the courage to do it.
Hence, I am just pushing the type definitions inferred by the compiler to the mli files until compilation is successful.
Do not hesitate to ping me directly if this is urgent, since I do not read my KappaDev mailbox so often.
Cheers.
Jérôme.