| Age | Commit message (Collapse) | Author |
|---|
|
toolchain; use SAIL_RISCV instead to refer to sail-riscv.
|
|
since riscv is no longer in this repository, and we use the RISC-V
duopod as an example, you need to build as:
make RISCV=directory manual.pdf
if directory is not equal to ../../sail-riscv (which is where it would
be if sail and sail-riscv are checked out in the same respository
together)
|
|
We should maybe just make the -latex option behavior the default to avoid this kind of thing
|
|
manual. Remove incomplete types chapter from manual per AA's recommendation.
|
|
|
