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
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
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
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
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-
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
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
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