Ian Lynagh wrote:
============================================================== The (Interactive) Glasgow Haskell Compiler -- version 6.10.4 ==============================================================
Packages will appear as they are built - if the package for your system isn't available yet, please try again later.
I've built http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets... http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets... http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets... http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets... http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets... http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets... http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets... For sparc-solaris 10 I could not run the testsuite (with GNU Make 3.80) and the binary depends (at least) on: libiconv.so.2 => /usr/local/lib/libiconv.so.2 libncurses.so.5 => /usr/local/lib/libncurses.so.5 libm.so.2 => /usr/local/lib/libm.so.2 libgmp.so.3 => /usr/local/lib/libgmp.so.3 (The other binary distributions use their own static libgmp.a.) For x86-solaris 10 only libcurses.so.1 (and no libiconv) is needed whereas /usr/lib/libiconv.2.dylib and /usr/lib/libncurses.5.4.dylib are available on the Leopard Macs (one being a PowerMacG5). Cheers Christian (Maybe someone can explain the bad testsuite results.)