aboutsummaryrefslogtreecommitdiff
path: root/sail-riscv.install
AgeCommit message (Collapse)AuthorFilesLines
2019-06-03Install sail and C sources in share directory of opam package.Robert Norton1-1/+2
2019-05-24Attempt to fix opam build with opam2: use a .install file and don't rely on ↵Robert Norton1-0/+1
opam being in path to get SAIL_DIR (which seems to be unreliable).