[project @ 2001-04-03 11:31:38 by sewardj]
authorsewardj <unknown>
Tue, 3 Apr 2001 11:31:39 +0000 (11:31 +0000)
committersewardj <unknown>
Tue, 3 Apr 2001 11:31:39 +0000 (11:31 +0000)
commit54cf53b0895e140d73a684e8cf56a1719a499367
tree63392efaa100110e2a89d73f13d6502527a5f676
parent2c313f6741791123b2dd2d2ef763e53b703abc85
[project @ 2001-04-03 11:31:38 by sewardj]
Make binary-dist installations work, by generating a proper package.conf
file.  This is done by allowing fptools packages to supply an
arbitrary post-install shell script, which the bin-dist 'make install'
runs last of all.  In Project=Ghc's case, the post-install script
runs pkgconf with appropriate params to create the package.conf
file in the right place.
distrib/Makefile-bin.in
ghc/driver/Makefile