From 8a3c75dfd07d7264a82450aaebce86b5e82c974b Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Mon, 21 Jan 2019 18:42:12 -0800
Subject: The RISCV environment variable collides with common usage by the
 RISC-V toolchain; use SAIL_RISCV instead to refer to sail-riscv.

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

(limited to 'doc')

diff --git a/doc/Makefile b/doc/Makefile
index 7e9e4f2f..981463ca 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -52,14 +52,14 @@ ifeq ($(shell which sail),)
 $(error Cannot find sail executable, make sure it is in PATH)
 endif
 
-RISCV=../../sail-riscv
+SAIL_RISCV=../../sail-riscv
 
 all: manual.pdf
 
 .PHONY: clean
 
-code_riscv.tex: ${RISCV}/model/prelude.sail ${RISCV}/model/riscv_duopod.sail
-	sail -o code_riscv -latex -latex_full_valspecs ${RISCV}/model/prelude.sail ${RISCV}/model/riscv_duopod.sail
+code_riscv.tex: ${SAIL_RISCV}/model/prelude.sail ${SAIL_RISCV}/model/riscv_duopod.sail
+	sail -o code_riscv -latex -latex_full_valspecs ${SAIL_RISCV}/model/prelude.sail ${SAIL_RISCV}/model/riscv_duopod.sail
 	cp code_riscv/commands.tex code_riscv.tex
 
 code_myreplicatebits.tex: examples/my_replicate_bits.sail
-- 
cgit v1.2.3