search

CHERIoT-Platform / cheriot-sail

Sail code model of the CHERIoT ISA
Other
34 stars 9 forks source link

Makefile: sail can report its library path #77

Closed nwf closed 1 month ago

nwf commented 1 month ago

And sail has binary releases, so it may not be installed in a way opam understands. Therefore, apply the relevant hunk from https://github.com/riscv/sail-riscv/pull/532 so that we just ask the sail that we find on the $PATH where it was installed, rather than asking opam.

nwf commented 1 month ago

Sigh. 0.17 spells this -dir and 0.18 spells it --dir but accepts -dir; upstream has already moved to 0.18. Let's try that again.

nwf commented 1 month ago

Yeah, my workflow involves PATH=/path/to/sail/bin:$PATH make, which leaves something to be desired, to be sure, but I think I'd like us to keep alignment with upstream. (It might be nice to redo their Makefile so that it was just the list of source files and then an include of a common infrastructure that we could reuse.)