From 3642371d142286ec7f29bfb350709bb965ea5ba4 Mon Sep 17 00:00:00 2001
From: Nathan Pemberton <nathanp@berkeley.edu>
Date: Mon, 3 May 2021 15:00:12 -0400
Subject: [PATCH] Require an environment variable for the linux source.
 FireMarshal already sets this variable and the default is not useful if you
 aren't using marshal anyway. This makes the requirement more clear.

---
 Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 3388ddc..d7c100c 100644
--- a/Makefile
+++ b/Makefile
@@ -4,8 +4,10 @@ obj-m += icenet.o
 
 else
 
-# The default assumes you cloned this as part of firesim-software (FireMarshal)
-LINUXSRC=../../../../riscv-linux
+ifndef LINUXSRC
+$(error Please set the LINUXSRC environment variable to the path of your Linux source)
+endif
+
 
 KMAKE=make -C $(LINUXSRC) ARCH=riscv CROSS_COMPILE=riscv64-unknown-linux-gnu- M=$(PWD)