[PPL-devel] FW: patch for merging graphite branch (before tuplification)

[Roberto Bagnara]

Sebastian Pop wrote:
> On Wed, Aug 20, 2008 at 9:24 AM, David Edelsohn <edelsohn at gmail.com> wrote:
>> On Tue, Aug 19, 2008 at 6:37 PM, Sebastian Pop <sebpop at gmail.com> wrote:
>>> Thanks David.  Could you give the graphite-branch a run on AIX?
>>
>> Seb,
>>
>> What release of G++ are you using to compile PPL?
>>
>> I initially did not have the C++ interfaces to GMP installed.  I fixed that,
>> but I had to compile GMP 4.1.4 with G++ 4.1.
>>
>> I downloaded the most recent PPL, ppl-0.10pre22 from August 15.  When I try
>> to build it on AIX, I first get an error in Bit_Row.inlines.hh because ffs
>> is not declared.  The file includes <cstring>, which includes <string.h>,
>> but ffs() is not declared in /usr/include/string.h on AIX, only in,
>> /usr/include/strings.h.  I manually declared ffs and proceeded.
>>
>> But then I receive a more significant C++ error when compiling
>> MIP_Problem.cc:
>>
>> /usr/gnu/src/ppl-0.10pre22/src/MIP_Problem.cc: In member function
>> 'Parma_Polyhedra_Library::dimension_type
>> Parma_Polyhedra_Library::MIP_Problem::steepest_edge_entering_index() const':
>> /usr/gnu/src/ppl-0.10pre22/src/MIP_Problem.cc:871: error: no matching
>> function for call to 'assign_r(double&, const __gmp_expr<__gmpz_value,
>> __gmpz_value>&, Parma_Polyhedra_Library::Rounding_Dir)'
>> /usr/gnu/src/ppl-0.10pre22/src/MIP_Problem.cc:885: error: no matching
>> function for call to 'assign_r(double&, __gmp_expr<__gmpq_value,
>> __gmpq_value>&, Parma_Polyhedra_Library::Rounding_Dir)'
>>
>> I tried G++ 4.1, 4.2, and 4.3.
>>
> 
> PPL is supposed to compile with g++ 4.0.3 or later.
> I used g++ 4.2.3 and it worked on Ubuntu (linux-amd64) machine.
> Roberto, is this a known bug?

The first bug (including <cstring> instead of <strings.h> was unknown
and is now fixed in the CVS version.

For the other problem, I am unable to reproduce it on any of our machines.
Can I have access to a system where the problem shows up?
Cheers,

     Roberto

P.S.  Please direct all the PPL-related messages to ppl-devel at cs.unipr.it,
       not to myself.

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it