diff options
| author | Robert Norton <rmn30@cam.ac.uk> | 2019-05-24 11:18:51 +0100 |
|---|---|---|
| committer | Robert Norton <rmn30@cam.ac.uk> | 2019-05-24 12:55:18 +0100 |
| commit | f70de87e8444b8783446768ba2b6669c858bf50f (patch) | |
| tree | 39ab8fac933cc76761c2a00014fba814a3dd8395 /descr | |
| parent | 8f2883bc2c1674fd0cf9b1097bca333fad2448b5 (diff) | |
| download | sail-riscv-f70de87e8444b8783446768ba2b6669c858bf50f.zip sail-riscv-f70de87e8444b8783446768ba2b6669c858bf50f.tar.gz sail-riscv-f70de87e8444b8783446768ba2b6669c858bf50f.tar.bz2 | |
Attempt to fix opam build with opam2: use a .install file and don't rely on opam being in path to get SAIL_DIR (which seems to be unreliable).
Diffstat (limited to 'descr')
| -rw-r--r-- | descr | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -This package installs a RISC-V emulator (32 and 64 bits) built form the Sail model at https://github.com/rems-project/sail-riscv .
\ No newline at end of file +This package installs a RISC-V emulator (32 and 64 bits) built form the Sail model at https://github.com/rems-project/sail-riscv |