mirror of
https://github.com/simonmichael/hledger.git
synced 2024-11-07 21:15:19 +03:00
tools: tweak some cabal make rules
This commit is contained in:
parent
2d46ee4448
commit
4da22cd846
8
Makefile
8
Makefile
@ -304,13 +304,15 @@ bin/hledgerdev.ghcall: \
|
||||
build hledger with the main supported GHC versions\
|
||||
)
|
||||
|
||||
#CABALINSTALLDIR=~/.cabal
|
||||
CABALINSTALLDIR=.cabal-sandbox
|
||||
bin/hledger: \
|
||||
$(call def-help,bin/hledger,\
|
||||
build the "production" optimised cabal build with profiling enabled. Assumes a cabal sandbox.\
|
||||
build the "production" optimised cabal build with profiling enabled.\
|
||||
)
|
||||
rm -f bin/hledger
|
||||
cabal install --disable-profiling ./hledger-lib ./hledger \
|
||||
&& mv .cabal-sandbox/bin/hledger bin/hledger
|
||||
&& mv $(CABALINSTALLDIR)/bin/hledger bin/hledger
|
||||
|
||||
bin/hledger-prof: \
|
||||
$(call def-help,bin/hledger-prof,\
|
||||
@ -318,7 +320,7 @@ bin/hledger-prof: \
|
||||
)
|
||||
rm -f bin/hledger-prof
|
||||
cabal install --enable-profiling --ghc-options=-fprof-auto ./hledger-lib ./hledger \
|
||||
&& mv .cabal-sandbox/bin/hledger bin/hledger-prof
|
||||
&& mv $(CABALINSTALLDIR)/bin/hledger bin/hledger-prof
|
||||
|
||||
# build the dev build with profiling enabled.
|
||||
# not working with cabal sandbox
|
||||
|
Loading…
Reference in New Issue
Block a user