Make some header-installing machinery, and use it to install gmp.h
[ghc-hetmet.git] / gmp / ln
1 #!/bin/sh
2 exit 1
3