Make some header-installing machinery, and use it to install gmp.h
[ghc-hetmet.git] / libraries / gen_contents_index
2007-03-08 Ian LynaghBuild the libraries with cabal