sail-riscv
sail-riscv copied to clipboard
riscv
Install Sail from binary in CI
This should be a lot faster. It also means the version is pinned properly which wasn't the case before.
I also recommended users to do the same in the README do they don't have to deal with OPAM.
A trick I use in the Sail CI to speed it up is to cache the ~/.opam directory: https://github.com/rems-project/sail/blob/sail2/.github/workflows/build.yml
I'm hoping we can get away without OPAM as @jordancarlin suggested.
If this attempt doesn't work I'm writing a Dockerfile so I can try it locally! The edit-build-test cycle for Github CI is ridiculous.
Well, the C side seemed to work, but the OCaml build fails because it can't find ocamlfind, and we use -use-ocamlfind.
Maybe I'll just finish #509 first.
Test Results
396 tests ±0 396 :white_check_mark: ±0 0s :stopwatch: ±0s 4 suites ±0 0 :zzz: ±0 1 files ±0 0 :x: ±0
Results for commit 85e9522b. ± Comparison against base commit 0764b5ea.
:recycle: This comment has been updated with latest results.
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
Well, the C side seemed to work, but the OCaml build fails because it can't find
ocamlfind, and we use-use-ocamlfind.Maybe I'll just finish #509 first.
That probably makes sense because otherwise it’s just unnecessary work that’ll be quickly obsolete. Or we just leave opam for now (assuming it has all the needed dependencies).
I think this should be ready to go, the only thing I'm not sure about is the Coq stuff. It was last touched 4 years ago by @bacam - Brian do you remember this?