Makefile improvement for BUILDER=stack, use stack to run ghc.
This commit is contained in:
parent
1738c801eb
commit
49663ab6a8
2 changed files with 5 additions and 0 deletions
|
@ -8,6 +8,7 @@ git-annex (6.20171027) UNRELEASED; urgency=medium
|
||||||
work.
|
work.
|
||||||
* Makefile improvement for sudo make install.
|
* Makefile improvement for sudo make install.
|
||||||
Thanks, Eric Siegerman
|
Thanks, Eric Siegerman
|
||||||
|
* Makefile improvement for BUILDER=stack, use stack to run ghc.
|
||||||
|
|
||||||
-- Joey Hess <id@joeyh.name> Mon, 30 Oct 2017 12:01:45 -0400
|
-- Joey Hess <id@joeyh.name> Mon, 30 Oct 2017 12:01:45 -0400
|
||||||
|
|
||||||
|
|
4
Makefile
4
Makefile
|
@ -2,7 +2,11 @@ all=git-annex git-annex-shell mans docs
|
||||||
|
|
||||||
# set to "./Setup" if you lack a cabal program. Or can be set to "stack"
|
# set to "./Setup" if you lack a cabal program. Or can be set to "stack"
|
||||||
BUILDER?=cabal
|
BUILDER?=cabal
|
||||||
|
ifeq ($(BUILDER),stack)
|
||||||
|
GHC?=stack ghc --
|
||||||
|
else
|
||||||
GHC?=ghc
|
GHC?=ghc
|
||||||
|
endif
|
||||||
|
|
||||||
PREFIX?=/usr
|
PREFIX?=/usr
|
||||||
SHAREDIR?=share
|
SHAREDIR?=share
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue