[PPL-devel] PPlibrary

[Enrico Oliosi]

Salve,
sono Enrico, uno studente universitario che sta preparando la tesi. Come parte 
della mia tesi ho il compito di implementare un piccolo analizzatore che
utilizza le vostre librerie dei poliedri (Ppl).
Ho scaricato da http://www.cs.unipr.it/ppl/ alcune delle releases 
on-line ed ho provato ad installarle, ma senza successo.
Ho provato ad installarle su una Fedora Core release 2 (Tettnang) con:

- kernel 2.6.6-1.435smp
- gcc version 3.3.3 20040412 (Red Hat Linux 3.3.3-7)

Ho provato a far girare alcuni test, es:
bash> g++ addconstraint1.cc
dopo aver esteso la $LD_LIBRARY_PATH (dove ci sono le librerie), ma
mi da diversi errori del tipo

/tmp/cc1lgmDy.o(.text+0x16): In function `main':
: undefined reference to `set_handlers()'
/tmp/cc1lgmDy.o(.text+0xb6): In function `main':
: undefined reference to 
`Parma_Polyhedra_Library::Polyhedron::add_constraint(Parma_Polyhedra_Library::Constraint 
const&)'
/tmp/cc1lgmDy.o(.text+0x208): In function `main':
: undefined reference to 
`Parma_Polyhedra_Library::Polyhedron::add_constraint(Parma_Polyhedra_Library::Constraint 
const&)'
/tmp/cc1lgmDy.o(.text+0x326): In function `main':

[...]

Non riesco a capire dove ho commesso errori.
Fiducioso di un vostro aiuto,  colgo l'occasione per porgere distinti saluti.
Grazie, Enrico.