diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2018-07-27 19:11:46 -0700 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2018-07-27 19:11:46 -0700 |
| commit | 58b6d6fe3247a3b2ce0af661c5049cbd418e42a8 (patch) | |
| tree | d0d3fddacc747306686128d172f81ae0257404ed /Makefile | |
| parent | f70d139b24f690fc80919dba74078573048bcf44 (diff) | |
| download | sail-riscv-58b6d6fe3247a3b2ce0af661c5049cbd418e42a8.zip sail-riscv-58b6d6fe3247a3b2ce0af661c5049cbd418e42a8.tar.gz sail-riscv-58b6d6fe3247a3b2ce0af661c5049cbd418e42a8.tar.bz2 | |
Add a riscv latex target.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -35,6 +35,9 @@ coverage: _sbuild/coverage.native riscv.c: $(SAIL_SRCS) Makefile $(SAIL) -O -memo_z3 -c $(SAIL_SRCS) 1> $@ +latex: $(SAIL_SRCS) Makefile + $(SAIL) -latex -latex_prefix sail -o sail_ltx $(SAIL_SRCS) + tracecmp: tracecmp.ml ocamlfind ocamlopt -annot -linkpkg -package unix $^ -o $@ |