On 12/01/2009 09:02 AM, Rainer Emrich wrote:
C:/MinGW/i686-pc/i686-pc/i686-pc/gcc-4.5.0/mingw/lib/libppl.a(Polyhedron_widenings.o):Polyhedron_widenings.cc:(.text$_ZN23Parma_Polyhedra_Library3BoxINS_8IntervalI10__gmp_exprIA1_12__mpq_structS4_ENS_25Interval_Restriction_NoneINS_20Interval_Info_BitsetIjNS_29Rational_Interval_Info_PolicyEEEEEEEE15refine_no_checkERKNS_10ConstraintE[Parma_Polyhedra_Library::Box<Parma_Polyhedra_Library::Interval<__gmp_expr<__mpq_struct
[1], __mpq_struct [1]>,
Parma_Polyhedra_Library::Interval_Restriction_None<Parma_Polyhedra_Library::Interval_Info_Bitset<unsigned
int, Parma_Polyhedra_Library::Rational_Interval_Info_Policy> > >
::refine_no_check(Parma_Polyhedra_Library::Constraint const&)]+0x50): undefined
reference to
`Parma_Polyhedra_Library::extract_interval_constraint(Parma_Polyhedra_Library::Constraint
const&, unsigned int, unsigned int&, unsigned int)
&)'
When I build libppl, Polyhedron_widenings.o doesn't reference
extract_interval_constraint.
Jason
