git.iko.soy/Idris-dev
on master help sign in
Allow overriding IDRIS via environment variable
425700dJorge Acereda
libs/base/Makefile+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−IDRIS := idris
1+IDRIS ?= idris
2PKG := base
2PKG := base
3
3
4build:
4build:
libs/contrib/Makefile+1−1
@@ -1,4 +1,4 @@
1−IDRIS := idris
1+IDRIS ?= idris
2PKG := contrib
2PKG := contrib
3
3
4build:
4build:
libs/effects/Makefile+1−1
@@ -1,4 +1,4 @@
1−IDRIS := idris
1+IDRIS ?= idris
2PKG := effects
2PKG := effects
3
3
4build:
4build:
libs/prelude/Makefile+2−1
@@ -1,7 +1,8 @@
1−IDRIS := idris
1+IDRIS ?= idris
2PKG := prelude
2PKG := prelude
3
3
4build:
4build:
5+ echo "LOC $(IDRIS)"
5 $(IDRIS) --build ${PKG}.ipkg
6 $(IDRIS) --build ${PKG}.ipkg
6
7
7install:
8install:
libs/pruviloj/Makefile+1−1
@@ -1,4 +1,4 @@
1−IDRIS := idris
1+IDRIS ?= idris
2PKG := pruviloj
2PKG := pruviloj
3
3
4build:
4build: