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 /Makefile | |
| parent | 8356307c276a0311a1ca4599a54d43c0fdb7cdbd (diff) | |
Makefile improvement for BUILDER=stack, use stack to run ghc.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |