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.