-------- Original Message -------- Subject: Re: [PPL-devel] PPlibrary Date: Fri, 2 Jul 2004 12:37:14 +0200 (CEST) From: Enrico Oliosi enrico.oliosi@students.univr.it To: Roberto Bagnara bagnara@cs.unipr.it References: Pine.LNX.4.60.0407011642570.1674@theory.sci.univr.it 40E42CAE.5060500@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.