diff options
author | 2016-02-15 16:01:31 -0400 | |
---|---|---|
committer | 2016-02-15 16:01:31 -0400 | |
commit | 02c9399ebbfbd2884e0e09ed068623568b16130a (patch) | |
tree | 9e941fa029112be17e41a7e144fa8e8a377c4662 | |
parent | 136dc1cb9a02670965d9cc7c3310684c9a5d783a (diff) |
add back caballog target
used by ghci wrapper script
-rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -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. |