diff options
| author | Thomas Bauereiss | 2019-01-21 18:53:20 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-01-21 18:53:20 +0000 |
| commit | 07cf22289b1b4bb2300d4670573a7faee7211a04 (patch) | |
| tree | d1d5382e95a0ea72a2ad092d432a5739c717a66e /lib | |
| parent | d34329753b1e8faa32a7c95ac085733555c16749 (diff) | |
Fix build of Isabelle documentation
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/isabelle/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/isabelle/Makefile b/lib/isabelle/Makefile index 57459b82..f9c061b3 100644 --- a/lib/isabelle/Makefile +++ b/lib/isabelle/Makefile @@ -7,7 +7,7 @@ EXTRA_THYS = Sail2_state_monad_lemmas.thy Sail2_state_lemmas.thy \ Sail2_prompt_monad_lemmas.thy \ Sail2_operators_mwords_lemmas.thy Hoare.thy -RISCV_DIR = ../../riscv +RISCV ?= ../../../sail-riscv .PHONY: all heap-img clean @@ -24,8 +24,8 @@ heap-img: thys $(EXTRA_THYS) ROOT manual: heap-img manual/Manual.thy manual/ROOT manual/document/root.tex cp output/document/session_graph.pdf manual/document/Sail_session_graph.pdf - make -C $(RISCV_DIR) Riscv_duopod.thy - isabelle build -d manual -d $(RISCV_DIR) Sail-Manual + make -C $(RISCV) riscv_duopod + isabelle build -d manual -d $(RISCV)/generated_definitions/isabelle Sail-Manual Sail2_instr_kinds.thy: ../../src/lem_interp/sail2_instr_kinds.lem lem -isa -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib $< |