diff options
| author | Alasdair <alasdair.armstrong@cl.cam.ac.uk> | 2023-12-15 17:01:20 +0000 |
|---|---|---|
| committer | Bill McSpadden <bill@riscv.org> | 2024-05-10 13:20:02 -0500 |
| commit | 440ac2c66deba0a42ecf6ddc670f09bdac83bb50 (patch) | |
| tree | d7215373124edad41180b2738e1fa5c932048b0b /prover_snapshots | |
| parent | 08f96f61a6578c9fe45acb4fb9b42af680e77d21 (diff) | |
| download | sail-riscv-440ac2c66deba0a42ecf6ddc670f09bdac83bb50.zip sail-riscv-440ac2c66deba0a42ecf6ddc670f09bdac83bb50.tar.gz sail-riscv-440ac2c66deba0a42ecf6ddc670f09bdac83bb50.tar.bz2 | |
Makefile: Make sure OPAMCLI is 2.0 in all subshells
Furthermore, make sure variables defined by calling opam are
created using :=, so opam is not called each time they are expanded
Diffstat (limited to 'prover_snapshots')
0 files changed, 0 insertions, 0 deletions