got make fast back down to 20 seconds
This approach could also be used to get ./ghci back.. just munge the extracted ghc command from cabal.
This commit is contained in:
parent
cfb1c838b4
commit
08473009cd
1 changed files with 9 additions and 5 deletions
14
Makefile
14
Makefile
|
@ -7,11 +7,15 @@ PREFIX=/usr
|
|||
|
||||
build: $(all)
|
||||
|
||||
fast:
|
||||
@if [ ! -e dist/setup-config ] || grep -- -O2 dist/setup-config; then \
|
||||
cabal configure -f-Production; \
|
||||
fi
|
||||
$(MAKE) git-annex
|
||||
# We bypass cabal, and only run the main ghc --make command for a
|
||||
# fast development built. Note: Does not rebuild C libraries.
|
||||
fast: dist/caballog
|
||||
$$(grep 'ghc --make' dist/caballog | head -n 1 | sed 's/ -O / /')
|
||||
ln -sf dist/build/git-annex/git-annex git-annex
|
||||
|
||||
dist/caballog: dist/setup-config
|
||||
cabal configure -f-Production
|
||||
cabal build -v2 | tee $@
|
||||
|
||||
Build/SysConfig.hs: configure.hs Build/TestConfig.hs Build/Configure.hs
|
||||
cabal configure
|
||||
|
|
Loading…
Reference in a new issue