Allow overriding IDRIS via environment variable

jacereda · jacereda · commit 425700d9e8d3 · 2018-03-23T13:31:14.000+01:00
diff --git a/libs/base/Makefile b/libs/base/Makefile
@@ -1,4 +1,4 @@
-IDRIS := idris
+IDRIS ?= idris
 PKG := base
 
 build:
diff --git a/libs/contrib/Makefile b/libs/contrib/Makefile
@@ -1,4 +1,4 @@
-IDRIS := idris
+IDRIS ?= idris
 PKG := contrib
 
 build:
diff --git a/libs/effects/Makefile b/libs/effects/Makefile
@@ -1,4 +1,4 @@
-IDRIS     := idris
+IDRIS     ?= idris
 PKG       := effects
 
 build:
diff --git a/libs/prelude/Makefile b/libs/prelude/Makefile
@@ -1,7 +1,8 @@
-IDRIS := idris
+IDRIS ?= idris
 PKG   := prelude
 
 build:
+	echo "LOC $(IDRIS)"
 	$(IDRIS) --build ${PKG}.ipkg
 
 install:
diff --git a/libs/pruviloj/Makefile b/libs/pruviloj/Makefile
@@ -1,4 +1,4 @@
-IDRIS     := idris
+IDRIS     ?= idris
 PKG       := pruviloj
 
 build:
