Hadrian puts its build tree in the wrong place
I have a source tree in my slow, network-mounted backed-up filestore
/home/simonpj/ghc, and a separate link-tree in my fast, physically-connected, non-backed up filestore
/playpen/ghc. Every file in
/playpen/ghc is a symlink to the corresponding source file in
But when I do
$ cd /playpen/ghc $ hadrian/build.sh -c -j4 --flavour=quick
I find a new
_build director in
/home/simonpj/ghc. This is bad! It should be in
/playpen/ghc. Otherwise (a) it's slower, (b) it creates backup churn and (c) as it happens, I ran out of space on the backed-up filestore.
Can this be fixed? It's a bad Hadrian shortcoming.