Open hgsipiere opened 5 years ago
@anton-trunov : Has this been fixed, and if not, what is the status on it?
The current plan is to use more of Scilla’s API, clean it up a bit and release it on opam as a library, not just as a set of binaries. With opam it’s really easy to install Scilla from a GitHub repo (any commit), so there is no rush here as of now.
It would be useful to just type
opam install scilla
.This is more important for the
scilla-base
PR asscilla
itself is fine with Docker butscilla-base
would be useful as a dependency.