It seems our GMP.framework is only suited for Powerpc. I'll look after it. Thanks for your hints and sorry for the inconveniences. (Meanwhile you could try to get the GMP.framework for intel macs from elsewhere.) Christian 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. Jay McCarthy schrieb:

Your frameworks:

I've made binary distributions for powerpc and intel macs that rely 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...

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets...

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets...

Do not work on Intel:

jay $ wget http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets...

--09:37:01-- http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets...

=> `GNUreadline-framework.zip' Resolving www.informatik.uni-bremen.de... 134.102.224.5 Connecting to www.informatik.uni-bremen.de|134.102.224.5|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 2,342,369 (2.2M) [application/zip]

100%[====================================>] 2,342,369 345.15K/s ETA 00:00

09:37:10 (264.54 KB/s) - `GNUreadline-framework.zip' saved [2342369/2342369]

~/Desktop jay $ wget http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets...

--09:37:12-- http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets...

=> `GMP.framework.zip' Resolving www.informatik.uni-bremen.de... 134.102.224.5 Connecting to www.informatik.uni-bremen.de|134.102.224.5|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 564,957 (552K) [application/zip]

100%[====================================>] 564,957 228.26K/s

09:37:15 (227.77 KB/s) - `GMP.framework.zip' saved [564957/564957]

~/Desktop jay $ unzip GNUreadline-framework.zip -d $HOME/Library/Frameworks Archive: GNUreadline-framework.zip creating: /Users/jay/Library/Frameworks/GNUreadline.framework/ creating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/ creating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/A/ creating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/A/Headers/ creating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/A/Headers/readline/

inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/A/Headers/readline/rltypedefs.h

inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/A/Headers/readline/chardefs.h

inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/A/Headers/readline/keymaps.h

inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/A/Headers/readline/history.h

inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/A/Headers/readline/tilde.h

inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/A/Headers/readline/rlstdc.h

inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/A/Headers/readline/rlconf.h

inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/A/Headers/readline/readline.h

inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/Versions/A/GNUreadline linking: /Users/jay/Library/Frameworks/GNUreadline.framework/GNUreadline -> Versions/A/GNUreadline linking: /Users/jay/Library/Frameworks/GNUreadline.framework/Headers -> Versions/A/Headers creating: /Users/jay/Library/Frameworks/GNUreadline.framework/info/ inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/info/readline.info inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/info/rluserman.info inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/info/history.info inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/info/dir inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/README inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/COPYING inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/CHANGELOG inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/build-framework-R.sh inflating: /Users/jay/Library/Frameworks/GNUreadline.framework/readline-5.2.tar.gz finishing deferred symbolic links: /Users/jay/Library/Frameworks/GNUreadline.framework/GNUreadline -> Versions/A/GNUreadline /Users/jay/Library/Frameworks/GNUreadline.framework/Headers -> Versions/A/Headers ~/Desktop jay $ unzip GMP.framework.zip -d $HOME/Library/Frameworks Archive: GMP.framework.zip creating: /Users/jay/Library/Frameworks/GMP.framework/ inflating: /Users/jay/Library/Frameworks/GMP.framework/build-framework.sh inflating: /Users/jay/Library/Frameworks/GMP.framework/ChangeLog inflating: /Users/jay/Library/Frameworks/GMP.framework/COPYING.LIB linking: /Users/jay/Library/Frameworks/GMP.framework/GMP -> Versions/A/GMP linking: /Users/jay/Library/Frameworks/GMP.framework/Headers -> Versions/A/Headers creating: /Users/jay/Library/Frameworks/GMP.framework/info/ inflating: /Users/jay/Library/Frameworks/GMP.framework/info/gmp.info inflating: /Users/jay/Library/Frameworks/GMP.framework/info/gmp.info-1 inflating: /Users/jay/Library/Frameworks/GMP.framework/info/gmp.info-2 inflating: /Users/jay/Library/Frameworks/GMP.framework/README creating: /Users/jay/Library/Frameworks/GMP.framework/Versions/ creating: /Users/jay/Library/Frameworks/GMP.framework/Versions/A/ inflating: /Users/jay/Library/Frameworks/GMP.framework/Versions/A/GMP creating: /Users/jay/Library/Frameworks/GMP.framework/Versions/A/Headers/ inflating: /Users/jay/Library/Frameworks/GMP.framework/Versions/A/Headers/gmp.h finishing deferred symbolic links: /Users/jay/Library/Frameworks/GMP.framework/GMP -> Versions/A/GMP /Users/jay/Library/Frameworks/GMP.framework/Headers -> Versions/A/Headers ~/Desktop jay $ ghc dyld: Library not loaded: GMP.framework/Versions/A/GMP Referenced from: /Users/jay/Development/dists/ghc/ghc-6.6.1/lib/i386-apple-darwin/ghc-6.6.1 Reason: no suitable image found. Did find: /Users/jay/Library/Frameworks/GMP.framework/Versions/A/GMP: mach-o, but wrong architecture Trace/BPT trap ~/Desktop jay $