[PPL-devel] FW: patch for merging graphite branch (before tuplification)
bagnara at cs.unipr.it
Wed Aug 20 17:30:09 CEST 2008
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?
>> 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
>> /usr/gnu/src/ppl-0.10pre22/src/MIP_Problem.cc: In member function
>> 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?
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
mailto:bagnara at cs.unipr.it
More information about the PPL-devel