diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-11-07 16:56:48 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-11-07 16:56:48 -0400 |
commit | c065335d9d9e534c06ea58c25e4bf97223e9d907 (patch) | |
tree | 8f3cdde97b85a0979d41d0615396d79bb8be1b3d | |
parent | 8356307c276a0311a1ca4599a54d43c0fdb7cdbd (diff) |
Makefile improvement for BUILDER=stack, use stack to run ghc.
-rw-r--r-- | CHANGELOG | 1 | ||||
-rw-r--r-- | Makefile | 4 |
2 files changed, 5 insertions, 0 deletions
@@ -8,6 +8,7 @@ git-annex (6.20171027) UNRELEASED; urgency=medium work. * Makefile improvement for sudo make install. 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 @@ -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" BUILDER?=cabal +ifeq ($(BUILDER),stack) +GHC?=stack ghc -- +else GHC?=ghc +endif PREFIX?=/usr SHAREDIR?=share |