Re: integer-gmp2 issues on Solaris/SPARC

2015-01-19 Thread Karel Gardas
On 01/19/15 10:54 AM, Herbert Valerio Riedel wrote: Is it possible for you to test for those mpn_ symbols in integrer-gmp2 configure and if they are presented then you can use your __gmpn_andn_n foreigner call? I'm actually rather considering not using those at all when GMP version is 4.* as

Re: integer-gmp2 issues on Solaris/SPARC

2015-01-19 Thread Karel Gardas
On 01/18/15 04:05 PM, Herbert Valerio Riedel wrote: On 2015-01-18 at 15:42:05 +0100, Karel Gardas wrote: Hello Herbert, I'm sorry to bother you, but recent GHC HEAD does have issue on Solaris/SPARC platform which shows as undefined symbols during the linkage of stage2 binaries. For example

Re: integer-gmp2 issues on Solaris/SPARC

2015-01-19 Thread Herbert Valerio Riedel
On 2015-01-19 at 10:25:59 +0100, Karel Gardas wrote: [...] /* Major version number is the value of __GNU_MP__ too, above and in mp.h. */ #define __GNU_MP_VERSION 4 Let me also add that the gmp.h file does not define mpn_andn_n symbol at all neither it declare __gmpn_andn_n function!

Re: integer-gmp2 issues on Solaris/SPARC

2015-01-18 Thread Herbert Valerio Riedel
On 2015-01-18 at 15:42:05 +0100, Karel Gardas wrote: Hello Herbert, I'm sorry to bother you, but recent GHC HEAD does have issue on Solaris/SPARC platform which shows as undefined symbols during the linkage of stage2 binaries. For example ghc-stage2 link step fails with: Btw, what GMP

integer-gmp2 issues on Solaris/SPARC

2015-01-18 Thread Karel Gardas
Hello Herbert, I'm sorry to bother you, but recent GHC HEAD does have issue on Solaris/SPARC platform which shows as undefined symbols during the linkage of stage2 binaries. For example ghc-stage2 link step fails with: Undefined first referenced symbol