Re: [Mingw-w64-public] ppl and mingw-w64

2010-09-16 Thread Ozkan Sezer
On Thu, Sep 16, 2010 at 12:49 AM, Ruben Van Boxem wrote: > 2010/9/15 Ozkan Sezer >> >> I already downloaded from there, this one >> http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11/ppl-0.11.tar.gz >> >> Did you look at the Boundary.defs.hh line 196 in it: >> r = info.restrict(round_dir_check

Re: [Mingw-w64-public] ppl and mingw-w64

2010-09-15 Thread Ruben Van Boxem
2010/9/15 Ozkan Sezer > > I already downloaded from there, this one > http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11/ppl-0.11.tar.gz > > Did you look at the Boundary.defs.hh line 196 in it: > r = info.restrict(round_dir_check(type, check), x, V_GT); > > It is where it is failing. The error

Re: [Mingw-w64-public] ppl and mingw-w64

2010-09-15 Thread Ozkan Sezer
On Wed, Sep 15, 2010 at 11:40 PM, Ruben Van Boxem wrote: > 2010/9/15 Ozkan Sezer >> >> OK, then. >> >> Ruben:  Please take the attached _mingw.h header and copy >> it over the one provided by my build. (applies to builds >> targetting both x86 and x64.) >> >> Kai:  Will post a patch on the devel

Re: [Mingw-w64-public] ppl and mingw-w64

2010-09-15 Thread Ruben Van Boxem
2010/9/15 Ozkan Sezer > > OK, then. > > Ruben: Please take the attached _mingw.h header and copy > it over the one provided by my build. (applies to builds > targetting both x86 and x64.) > > Kai: Will post a patch on the devel mailing list shortly Sorry to say so, but no change :( ... Also I

Re: [Mingw-w64-public] ppl and mingw-w64

2010-09-15 Thread Ozkan Sezer
On Wed, Sep 15, 2010 at 11:21 PM, Kai Tietz wrote: > 2010/9/15 Ozkan Sezer : >> On Wed, Sep 15, 2010 at 10:35 PM, Ruben Van Boxem >> wrote: >>> Hi, >>> >>> I am now trying to get ppl to compile with mingw-w64 (for now, with sezero's >>> latest build again, as TDM64 is finicky with everything gcc-

Re: [Mingw-w64-public] ppl and mingw-w64

2010-09-15 Thread Kai Tietz
2010/9/15 Ozkan Sezer : > On Wed, Sep 15, 2010 at 10:35 PM, Ruben Van Boxem > wrote: >> Hi, >> >> I am now trying to get ppl to compile with mingw-w64 (for now, with sezero's >> latest build again, as TDM64 is finicky with everything gcc-related :( ) >> >> I built GMP with --enable-cxx and have le

Re: [Mingw-w64-public] ppl and mingw-w64

2010-09-15 Thread Ozkan Sezer
On Wed, Sep 15, 2010 at 10:35 PM, Ruben Van Boxem wrote: > Hi, > > I am now trying to get ppl to compile with mingw-w64 (for now, with sezero's > latest build again, as TDM64 is finicky with everything gcc-related :( ) > > I built GMP with --enable-cxx and have let ppl configure know about gmp wit

[Mingw-w64-public] ppl and mingw-w64

2010-09-15 Thread Ruben Van Boxem
Hi, I am now trying to get ppl to compile with mingw-w64 (for now, with sezero's latest build again, as TDM64 is finicky with everything gcc-related :( ) I built GMP with --enable-cxx and have let ppl configure know about gmp with --with-gmp-prefix=/path/to/gmp/with/cxx I get this error after ma