scilla
scilla copied to clipboard
Publish Opam packages
It would be useful to just type opam install scilla.
This is more important for the scilla-base PR as scilla itself is fine with Docker but scilla-base would be useful as a dependency.
@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.