[PPL-devel] Static linking and running on both windows and linux

[Roberto Bagnara]

Hi Tryer.

The command line I see just before the errors looks strange:

g++ -m64 -fno-common -fPIC -fno-strict-aliasing -fexceptions -fopenmp -DVSCODE    -o dist/Debug/GNU-Linux/linux build/Debug/GNU-Linux/_ext/511e4115/Main.o  -lm -lpthread -ldl -lppl -lgmp

I would expect to see -lgmpxx there, and in fact the undefined
symbols listed in the errors you report all concerns things
that are defined in the C++ interface of GMP.

A possible explanation is that your configure line

./configure --with-cxxflags=-std=c++11 --enable-optimization --disable-debugging --disable-documentation --enable-interfaces="c cxx" --enable-ppl_lcdd --disable-ppl_lpsol --disable-ppl_pips --enable-instantiations=Polyhedron --disable-shared --enable-static --disable-assertions

seems to miss a -with-gmp=PATH option.

See README.configure for more details.
Kind regards,

    Roberto

Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematical, Physical and Computer Sciences
University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it

On 3/12/22 05:24, anoninus wrote:
> Hi Roberto,
> 
> Your suggestions in this thread worked and I was indeed able to confirm on a windows machine that my pure PPL code worked just fine. Unfortunately, for us (and no fault of PPL), the rest of our code which uses CPLEX and MinGW is just impossibly difficult to configure correctly in Visual Studio IDE. In any case, we have put that on the back burner for now.
> 
> On WSL (on this same windows machine), I installed through the procedure specified in README.configure which is:
> 
>   $ tar jxf ppl-x.y.tar.bz2 (after downloading the .bz2 file from bugseng website)
>   $ ./configure
>   $ make
>   $ su
>   Password: <root password>
>   $ make install
> 
> My PPL C/C++ code (available at https://godbolt.org/z/qq8oxqb9W <https://godbolt.org/z/qq8oxqb9W>) worked perfectly there. (If it would help other users of PPL, they can freely use the code suitably modified for their purposes. It provides a clean C++ example of performing V to H conversion via PPL) My makefile performs the following compiling/linking commands:
> 
> g++ -m64 -fno-common -fPIC -fno-strict-aliasing -fexceptions -fopenmp -DVSCODE   -c -g -DIL_STD -D_LINDEBUG -I. -std=c++14 -MMD -MP -MF "build/Debug/GNU-Linux/_ext/511e4115/Main.o.d" -o build/Debug/GNU-Linux/_ext/511e4115/Main.o ../src/Main.cpp
> mkdir -p dist/Debug/GNU-Linux
> g++ -m64 -fno-common -fPIC -fno-strict-aliasing -fexceptions -fopenmp -DVSCODE    -o dist/Debug/GNU-Linux/linux build/Debug/GNU-Linux/_ext/511e4115/Main.o  -lm -lpthread -ldl -lppl -lgmp
> 
> The above workflow works perfectly fine and I am able to obtain the facetial representation of the vertices. So far, so good.
> 
> Now, however, I recall you mentioning earlier in the thread that the above method of installation is NOT recommended. You had suggested to use the git development branch instead. So, I removed libppl files from /usr/local/lib and tried to redo it along your suggested recommendation. That is:
> 
> I navigated to home.
> git clone git://git.bugseng.com/ppl/ppl.git <http://git.bugseng.com/ppl/ppl.git>
> Navigate to ppl subfolder.
> run "autoreconf"
> ./configure --with-cxxflags=-std=c++11 --enable-optimization --disable-debugging --disable-documentation --enable-interfaces="c cxx" --enable-ppl_lcdd --disable-ppl_lpsol --disable-ppl_pips --enable-instantiations=Polyhedron --disable-shared --enable-static --disable-assertions
> Run "make"
> Run "sudo make install"
> 
> With this done, I tried to compile the same code. Now, I get a series of undefined references during linking stage:
> 
> g++ -m64 -fno-common -fPIC -fno-strict-aliasing -fexceptions -fopenmp -DVSCODE    -o dist/Debug/GNU-Linux/linux build/Debug/GNU-Linux/_ext/511e4115/Main.o  -lm -lpthread -ldl -lppl -lgmp
> /usr/bin/ld: /usr/local/lib/libppl.a(Constraint.o): in function `Parma_Polyhedra_Library::IO_Operators::operator<<(std::ostream&, Parma_Polyhedra_Library::Constraint const&)':
> Constraint.cc:(.text+0x1597): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: Constraint.cc:(.text+0x1641): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: Constraint.cc:(.text+0x1793): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(Generator.o): in function `Parma_Polyhedra_Library::Generator::fancy_print(std::ostream&) const':
> Generator.cc:(.text+0x166f): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: Generator.cc:(.text+0x16eb): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(Linear_Expression.o):Linear_Expression.cc:(.text._ZNK23Parma_Polyhedra_Library22Linear_Expression_ImplINS_9Dense_RowEE10ascii_dumpERSo[_ZNK23Parma_Polyhedra_Library22Linear_Expression_ImplINS_9Dense_RowEE10ascii_dumpERSo]+0x8f): more undefined references to `operator<<(std::ostream&, __mpz_struct const*)' follow
> /usr/bin/ld: /usr/local/lib/libppl.a(Linear_Expression.o): in function `Parma_Polyhedra_Library::Linear_Expression_Impl<Parma_Polyhedra_Library::Sparse_Row>::ascii_load(std::istream&)':
> Linear_Expression.cc:(.text._ZN23Parma_Polyhedra_Library22Linear_Expression_ImplINS_10Sparse_RowEE10ascii_loadERSi[_ZN23Parma_Polyhedra_Library22Linear_Expression_ImplINS_10Sparse_RowEE10ascii_loadERSi]+0x196): undefined reference to `operator>>(std::istream&, __mpz_struct*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(Linear_Expression.o): in function `Parma_Polyhedra_Library::Linear_Expression_Impl<Parma_Polyhedra_Library::Dense_Row>::ascii_load(std::istream&)':
> Linear_Expression.cc:(.text._ZN23Parma_Polyhedra_Library22Linear_Expression_ImplINS_9Dense_RowEE10ascii_loadERSi[_ZN23Parma_Polyhedra_Library22Linear_Expression_ImplINS_9Dense_RowEE10ascii_loadERSi]+0x12d): undefined reference to `operator>>(std::istream&, __mpz_struct*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(CO_Tree.o): in function `Parma_Polyhedra_Library::CO_Tree::dump_subtree(Parma_Polyhedra_Library::CO_Tree::tree_iterator)':
> CO_Tree.cc:(.text+0x98c): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(Sparse_Row.o): in function `Parma_Polyhedra_Library::Sparse_Row::ascii_dump(std::ostream&) const':
> Sparse_Row.cc:(.text+0x3a48): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(Sparse_Row.o): in function `Parma_Polyhedra_Library::Sparse_Row::ascii_load(std::istream&)':
> Sparse_Row.cc:(.text+0x63b9): undefined reference to `operator>>(std::istream&, __mpz_struct*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(Dense_Row.o): in function `Parma_Polyhedra_Library::Dense_Row::ascii_dump(std::ostream&) const':
> Dense_Row.cc:(.text+0xe43): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(Dense_Row.o): in function `Parma_Polyhedra_Library::Dense_Row::ascii_load(std::istream&)':
> Dense_Row.cc:(.text+0x105f): undefined reference to `operator>>(std::istream&, __mpz_struct*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(Congruence.o): in function `Parma_Polyhedra_Library::Congruence::ascii_dump(std::ostream&) const':
> Congruence.cc:(.text+0x346): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(Congruence.o): in function `Parma_Polyhedra_Library::Congruence::ascii_load(std::istream&)':
> Congruence.cc:(.text+0x483): undefined reference to `operator>>(std::istream&, __mpz_struct*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(Congruence.o): in function `Parma_Polyhedra_Library::IO_Operators::operator<<(std::ostream&, Parma_Polyhedra_Library::Congruence const&)':
> Congruence.cc:(.text+0x131f): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: Congruence.cc:(.text+0x1368): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: Congruence.cc:(.text+0x13b9): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: Congruence.cc:(.text+0x1451): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(Grid_Generator.o): in function `Parma_Polyhedra_Library::Grid_Generator::fancy_print(std::ostream&) const':
> Grid_Generator.cc:(.text+0x137f): undefined reference to `operator<<(std::ostream&, __mpz_struct const*)'
> /usr/bin/ld: /usr/local/lib/libppl.a(Grid_Generator.o):Grid_Generator.cc:(.text+0x141e): more undefined references to `operator<<(std::ostream&, __mpz_struct const*)' follow
> collect2: error: ld returned 1 exit status
> 
> Is there a way these undefined references can be resolved? In this method, I did not get any error in the ./configure, make or sudo make install step. If needed, I can share the log of these commands.
> 
> Thanks again for your patient help.
> Tryer
> 
> On Thu, Mar 10, 2022 at 1:02 AM Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>> wrote:
> 
>     Hello Tryer.
> 
>     You need to help yourself more: in the repository there is
>     a README file at the top level, which points to README.configure,
>     which contains a section
> 
>     10. Using the Git Sources
> 
>     Kind regards,
> 
>          Roberto
>