Replace "tail -n +2" with "sed 1d", as Solaris doesn't understand the former
[ghc.git] / gmp /
2007-10-17  Simon MarlowDon't clean gmp when validating (speeds up validation...
2007-09-26  jochemberndsen@dse.nlFIX BUILD `set -o igncr'-issue on FreeBSD
2007-08-28  Ian LynaghMake some header-installing machinery, and use it to...
2007-08-28  Ian LynaghTidy up the gmp/ Makefile a bit
2007-08-23  Ian LynaghWhen installing, get libgmp.a from the right place
2007-08-10  Clemens FruhwirthAlso build gmp shared if neccessary
2007-07-22  Clemens FruhwirthAdd proper header so that cygwin recognizes this file...
2007-07-05  Ian LynaghUpdate the in-tree GMP; fixes trac #832