Re: GNUreadline.framework and GMP.framework

2007-05-19 Thread Christian Maeder
Christian Maeder schrieb: P.S. There is also a problem with the GNUreadline.framework in your home directory on Powerpcs only. When you link your own binaries you have to add -optl-F$(HOME)/Library/Frameworks -optl-framework -optlGNUreadline to ghc's command line. It's best to install the

Re: GNUreadline.framework and GMP.framework

2007-05-18 Thread Christian Maeder
on a GNUreadline.framework and a GMP.framework that can be found (for both architectures) here: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac_e.htm http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GNUreadline-framework.zip http