git.iko.soy/Idris-dev
on master help sign in
Allow overriding IDRIS via environment variable
commit425700d9e8d3ff2839a6d9a6d82960f761b01623 authorJorge Acereda <jacereda@gmail.com> dateFri 23 Mar 2018, 13:31 (9 years ago) parent46ab7c8
5 files changed+6−5
compare with master
unifiedsplit
libs/base/Makefile+1−1 libs/contrib/Makefile+1−1 libs/effects/Makefile+1−1 libs/prelude/Makefile+2−1 libs/pruviloj/Makefile+1−1
libs/base/Makefile+1−1
@@ -1,4 +1,4 @@
1−IDRIS := idris
1+IDRIS ?= idris
22PKG := base
33
44build:
libs/contrib/Makefile+1−1
@@ -1,4 +1,4 @@
1−IDRIS := idris
1+IDRIS ?= idris
22PKG := contrib
33
44build:
libs/effects/Makefile+1−1
@@ -1,4 +1,4 @@
1−IDRIS := idris
1+IDRIS ?= idris
22PKG := effects
33
44build:
libs/prelude/Makefile+2−1
@@ -1,7 +1,8 @@
1−IDRIS := idris
1+IDRIS ?= idris
22PKG := prelude
33
44build:
5+ echo "LOC $(IDRIS)"
56 $(IDRIS) --build ${PKG}.ipkg
67
78install:
libs/pruviloj/Makefile+1−1
@@ -1,4 +1,4 @@
1−IDRIS := idris
1+IDRIS ?= idris
22PKG := pruviloj
33
44build: