GNUreadline.framework and GMP.framework

[Christian Maeder]

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/mac_e.htm
> 
> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GNUreadline-framework.zip
> 
> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GMP.framework.zip
> 
> 
> Do not work on Intel:
> 
> jay $ wget
> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GNUreadline-framework.zip
> 
> --09:37:01-- 
> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GNUreadline-framework.zip
> 
>           => `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/mac/GMP.framework.zip
> 
> --09:37:12-- 
> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/mac/GMP.framework.zip
> 
>           => `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 $
>