atomvm / AtomVM

Tiny Erlang VM
https://www.atomvm.net
Apache License 2.0
1.45k stars 98 forks source link

Build fails due to dialyzer error #751

Closed bettio closed 1 year ago

bettio commented 1 year ago

The following error is reported when building AtomVM:

[ 86%] Generating atomvmlib.plt
  Compiling some key modules to native code... done in 0m0.14s
  Creating PLT /path/to/AtomVM/build/libs/atomvmlib.plt ...
dialyzer: Analysis failed with error:
Could not scan the following file(s):
  Could not get Core Erlang code for: /path/to/AtomVM/build/libs/eavmlib/src/beams/logger.beam

Last messages in the log cache:
  Reading files and computing callgraph...
fadushin commented 1 year ago

I think there is a (perhaps?) related issue, in that the ESP32 builds are broken because dialyzer is not on these machines/VMs/containers.

E.g.,

FAILED: libs/atomvmlib.plt /__w/AtomVM/AtomVM/src/platforms/esp32/test/build/esp-idf/main/test_erl_sources/HostAtomVM-prefix/src/HostAtomVM-build/libs/atomvmlib.plt 
ninja failed with exit code 1
cd /__w/AtomVM/AtomVM/src/platforms/esp32/test/build/esp-idf/main/test_erl_sources/HostAtomVM-prefix/src/HostAtomVM-build/libs && dialyzer --build_plt --output_plt /__w/AtomVM/AtomVM/src/platforms/esp32/test/build/esp-idf/main/test_erl_sources/HostAtomVM-prefix/src/HostAtomVM-build/libs/atomvmlib.plt -r /__w/AtomVM/AtomVM/src/platforms/esp32/test/build/esp-idf/main/test_erl_sources/HostAtomVM-prefix/src/HostAtomVM-build/libs/estdlib/src/beams -r /__w/AtomVM/AtomVM/src/platforms/esp32/test/build/esp-idf/main/test_erl_sources/HostAtomVM-prefix/src/HostAtomVM-build/libs/eavmlib/src/beams -r /__w/AtomVM/AtomVM/src/platforms/esp32/test/build/esp-idf/main/test_erl_sources/HostAtomVM-prefix/src/HostAtomVM-build/libs/alisp/src/beams
/bin/sh: 1: dialyzer: not found

from https://github.com/atomvm/AtomVM/actions/runs/5834358927/job/15823711962

bettio commented 1 year ago

There was something dirty in my build directory, the problem is not there anymore. Closing this issue for now.