scilla icon indicating copy to clipboard operation
scilla copied to clipboard

Publish Opam packages

Open hgsipiere opened this issue 6 years ago • 2 comments

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.

hgsipiere avatar Sep 09 '19 15:09 hgsipiere

@anton-trunov : Has this been fixed, and if not, what is the status on it?

jjcnn avatar Nov 23 '20 18:11 jjcnn

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.

anton-trunov avatar Nov 23 '20 18:11 anton-trunov