[Fwd: Re: [PPL-devel] PPlibrary]
Roberto Bagnara
bagnara at cs.unipr.it
Sat Jul 3 08:10:16 CEST 2004
-------- Original Message --------
Subject: Re: [PPL-devel] PPlibrary
Date: Fri, 2 Jul 2004 12:37:14 +0200 (CEST)
From: Enrico Oliosi <enrico.oliosi at students.univr.it>
To: Roberto Bagnara <bagnara at cs.unipr.it>
References: <Pine.LNX.4.60.0407011642570.1674 at theory.sci.univr.it> <40E42CAE.5060500 at cs.unipr.it>
Hi Roberto,
If for you is better we can write in english, there is not problem for me.
Thank a lot for your interesting about my problems.
I could install RPM version and src releases.
Today I downloaded the version 0.5 of PPL, and I downloaded GPM version
4.1.3.
I installed the GMP version 4.1.3 with enable-cxx option, then
I installed the PPL version 0.5 with GMP option (I specified where GMP
include and lib dirs were).
I tried to compile a simple program like this:
#include "ppl.hh"
using namespace std;
using namespace Parma_Polyhedra_Library;
int main() {
return 0;
}
with this comand and options:
bash> g++ -g constraints1.cc -I ../ppl05/include/ -L ../ppl05/lib/libppl.a
to check if it compiles correctly, but the result is:
/tmp/ccyWC2l1.o(.text+0x36): In function
`__static_initialization_and_destruction_0(int, int)':
: undefined reference to
`Parma_Polyhedra_Library::Init::Init[in-charge]()'
/tmp/ccyWC2l1.o(.text+0x65): In function `__tcf_11':
: undefined reference to `Parma_Polyhedra_Library::Init::~Init
[in-charge]()'
/tmp/ccyWC2l1.o(.gnu.linkonce.r._ZTVN23Parma_Polyhedra_Library6GenSysE+0x10):
undefined reference to
`Parma_Polyhedra_Library::GenSys::ascii_dump(std::basic_ostream<char,
std::char_traits<char> >&) const'
[...]
it doesn't find the PPL library.
I hope that you can help me, best regards,
Enrico.
--
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
More information about the PPL-devel
mailing list