
Dear Solaris Users, binary distributions for Solaris 10 ultrasparc and i383 can be found at: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets... http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets... Both distributions (like those for ghc-6.6.1) require the following dynamic libraries (among others): libreadline.so.5 libncurses.so.5 libm.so.2 libgmp.so.3 (possibly set LD_LIBRARY_PATH on your system) If configure only finds ./install-sh, you need to call: ./configure INSTALL=`pwd`/install-sh --prefix=.... gmake install (or edit Makefile-vars after configure manually: http://hackage.haskell.org/trac/ghc/ticket/1810#comment:1) Cheers Christian P.S. a build slave under Solaris would be quite useful (to improve the shell hacks).