From 07cf22289b1b4bb2300d4670573a7faee7211a04 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Mon, 21 Jan 2019 18:53:20 +0000
Subject: Fix build of Isabelle documentation

---
 lib/isabelle/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib')

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 $<
-- 
cgit v1.2.3