Remove some dependencies on bootstrapping.conf from libraries/Makefile
authorIan Lynagh <igloo@earth.li>
Tue, 23 Sep 2008 20:57:55 +0000 (20:57 +0000)
committerIan Lynagh <igloo@earth.li>
Tue, 23 Sep 2008 20:57:55 +0000 (20:57 +0000)
commit703b1252f70b660e9ae2d33f236c1868d3dca0a9
treeffa328f95990b39bcec87188070fcb8c72edc149
parentdcabff855126e439a1315eea3c2a23fc28a5b334
Remove some dependencies on bootstrapping.conf from libraries/Makefile
They were causing some unnecessary work:
Running make in a built tree reregisters the GHC package in
bootstrapping.conf, and the build system thought that this updated
timestamp meant that the configure stamps were out of date. This is
particularly bad for the libraries with configure scripts, as those
take a while to run.

The bootstrapping.conf is built in an earlier phase ("make boot") so
one shouldn't rely on the dependencies anyway.
libraries/Makefile