please make it easier to remove a file from the GHC sources

[nr]

I'm trying to remove some obsolete code from GHC's back end. (It will live forever in darcs). The only workflow I can find that works is

cd $TOP
./configure
(cd compiler; make -k -j 5)

This workflow is really expensive; on a 4-processor machine it is costing me 48 seconds every time I remove a file...

Norman

[simonmar]

Slightly faster:

cd $TOP
sh config.status
make all_compiler_stage1

or all_compiler_stage2 if you prefer.

[simonmar]

I'm claiming I've now fulfilled this request.

Tue Jul  7 09:50:40 BST 2009  Simon Marlow <marlowsd@gmail.com>
  * Avoid unnecessary recompilation after ./configure (helps #3228)

So to remove a file from GHC, you

• edit compiler/ghc.cabal.in
• sh config.status
• cd compiler; make 1

and it might re-configure GHC, but it shouldn't do too much extraneous stuff.