Switch to opam (#293)

* switching to opam... step 1

* add gillian to deps

Signed-off-by: Sacha Ayoun <[email protected]>

* update opam file

Signed-off-by: Sacha Ayoun <[email protected]>

* flow_parser not flow

Signed-off-by: Sacha Ayoun <[email protected]>

* in dune-project

Signed-off-by: Sacha Ayoun <[email protected]>

* fix dependencies

Signed-off-by: Sacha Ayoun <[email protected]>

* add lock file and use init-ci instead of init-dev

Signed-off-by: Sacha Ayoun <[email protected]>

* add dune-site dep

Signed-off-by: Sacha Ayoun <[email protected]>

* add appropriate dependencies

Signed-off-by: Sacha Ayoun <[email protected]>

* fix ci

Signed-off-by: Sacha Ayoun <[email protected]>

* some more improvements to CI, not done yet

Signed-off-by: Sacha Ayoun <[email protected]>

* make sure I always build the opam files

Signed-off-by: Sacha Ayoun <[email protected]>

* another try at docker, plus slight ci improvement

Signed-off-by: Sacha Ayoun <[email protected]>

* ANOTHER ONE

Signed-off-by: Sacha Ayoun <[email protected]>

* Update Dockerfile

* pleeeassee

Signed-off-by: Sacha Ayoun <[email protected]>

* and yet more

Signed-off-by: Sacha Ayoun <[email protected]>

* fix + cache docker CI

Signed-off-by: Sacha Ayoun <[email protected]>

* tiny changes

Signed-off-by: Sacha Ayoun <[email protected]>

* Update dune version

* Collect minimum distributable files, update CI

* Tweak make init-ci

* Update ci.yml

* Try to find binaries in CI

* Trying something else

* Remove "opam exec -- dune exec --" from test scripts

* Tweak binary path in CI

* Set permissions on CI binaries

* make dist: use dune relocatable

* CI: try to load libz3

* Bump dune version

* Just use _opam as artifact 😪

* Update artifact action, fix setup-ocaml

* Compress artefact before uploading

* Attempt to fix opam env in CI

* More CI tweaks

* Include Gillian-JS runtime sites in import paths

* Fix docker CI?

* Fix docker CI??

* Fix docker CI???

---------

Signed-off-by: Sacha Ayoun <[email protected]>
Co-authored-by: Nat Karmios <[email protected]>

.dockerignore

@@ -0,0 +1,4 @@
+_build
+.git
+*.log
+*.db