Docs outdated?

[tristangodfrey]

(See https://asterius.netlify.app/building.html)

The documentation indicates the presence of a make-packages.py script, but that file doesn't appear to exist in the repo. Am I missing something?

Thanks in advance

[ereslibre]

A couple of big changes got merged but the documentation has not been updated.

The project has started to use bazel in https://github.com/tweag/asterius/commit/641ade855c95818527f1726cc58ea7b49befede1.

I can build the compiler locally taking the build workflow as a reference:

$ nix-shell bazel/nix/bazel_build_shell.nix --pure --run 'bazel build //asterius:binaries'

Edit: it seems I cannot execute all the resulting binaries... will report back if I find something interesting.