aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2016-02-15 16:01:31 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2016-02-15 16:01:31 -0400
commit02c9399ebbfbd2884e0e09ed068623568b16130a (patch)
tree9e941fa029112be17e41a7e144fa8e8a377c4662 /Makefile
parent136dc1cb9a02670965d9cc7c3310684c9a5d783a (diff)
add back caballog target
used by ghci wrapper script
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index b88d81351..d8894966f 100644
--- a/Makefile
+++ b/Makefile
@@ -258,10 +258,12 @@ fast: dist/cabalbuild
@ln -sf dist/build/git-annex/git-annex git-annex
@$(MAKE) tags >/dev/null 2>&1 &
-dist/cabalbuild: git-annex.cabal
+dist/cabalbuild: dist/caballog
+ grep 'ghc --make' dist/caballog | tail -n 1 > dist/cabalbuild
+
+dist/caballog: git-annex.cabal
$(BUILDER) configure -f"-Production" -O0 --enable-executable-dynamic
$(BUILDER) build -v2 --ghc-options="-O0 -j" | tee dist/caballog
- grep 'ghc --make' dist/caballog | tail -n 1 > dist/cabalbuild
# Hardcoded command line to make hdevtools start up and work.
# You will need some memory. It's worth it.