simonmichael/hledger
1
1
Fork 0
mirror of https://github.com/simonmichael/hledger.git synced 2024-09-18 17:57:11 +03:00
Code Issues Projects Releases Wiki Activity

tools: makefile tweaks

Browse Source
This commit is contained in:
Simon Michael 2015-06-17 12:14:46 -07:00
parent 976e34cd7c
commit 9617380f3c
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
Makefile
View File

@ -1,8 +1,7 @@
# hledger project makefile # hledger project makefile
# GHC-compiled executables require a locale (and not just C) or they # GHC-compiled executables require a locale (and not just C) or they
# will die on encountering non-ascii data. # will die on encountering non-ascii data. Set LANG to something if not already set.
# Set LANG only if not already set
export LANG?=en_US.UTF-8 export LANG?=en_US.UTF-8
# command to run during "make prof" and "make heap" # command to run during "make prof" and "make heap"
@ -377,7 +376,7 @@ bin/hledger: \
build the "production" optimised cabal build with profiling enabled. Assumes a cabal sandbox.\ build the "production" optimised cabal build with profiling enabled. Assumes a cabal sandbox.\
) )
rm -f bin/hledger rm -f bin/hledger
cabal install --disable-library-profiling --disable-executable-profiling ./hledger-lib ./hledger \ cabal install --disable-profiling ./hledger-lib ./hledger \
&& mv .cabal-sandbox/bin/hledger bin/hledger && mv .cabal-sandbox/bin/hledger bin/hledger
bin/hledger-prof: \ bin/hledger-prof: \
@ -385,7 +384,7 @@ bin/hledger-prof: \
build the "production" cabal build with profiling enabled.\ build the "production" cabal build with profiling enabled.\
) )
rm -f bin/hledger-prof rm -f bin/hledger-prof
cabal install -p --enable-executable-profiling --ghc-options=-fprof-auto ./hledger-lib ./hledger \ cabal install --enable-profiling --ghc-options=-fprof-auto ./hledger-lib ./hledger \
&& mv .cabal-sandbox/bin/hledger bin/hledger-prof && mv .cabal-sandbox/bin/hledger bin/hledger-prof
# build the dev build with profiling enabled. # build the dev build with profiling enabled.