[PPL-devel] building PPL with MSYS/mingw(-w64)

[Freddie Chopin]

Hi!

Any progress on this matter? I've hit the same issue while trying to 
build a crosscompiler with most recent mingw-w64 package from Ruben:

> /bin/sh ../libtool  --tag=CXX   --mode=link i686-w64-mingw32-g++  -g -O2 -frounding-math  -W -Wall -no-undefined -version-info 9:0:0  -o libppl.la -rpath /home/freddie/bleeding-edge-toolchain/build-mingw/host-libs/usr/lib Box.lo checked.lo Checked_Number.lo Float.lo fpu-ia32.lo Constraint.lo Constraint_System.lo Congruence.lo Congruence_System.lo Generator_System.lo Grid_Generator_System.lo Generator.lo Grid_Generator.lo Init.lo Coefficient.lo Linear_Expression.lo Linear_System.lo Matrix.lo Scalar_Products.lo MIP_Problem.lo PIP_Tree.lo PIP_Problem.lo Poly_Con_Relation.lo Poly_Gen_Relation.lo BHRZ03_Certificate.lo H79_Certificate.lo Grid_Certificate.lo Partial_Function.lo Polyhedron_nonpublic.lo Polyhedron_public.lo Polyhedron_chdims.lo Polyhedron_widenings.lo C_Polyhedron.lo NNC_Polyhedron.lo Grid_nonpublic.lo Grid_public.lo Grid_chdims.lo Grid_widenings.lo BD_Shape.lo Octagonal_Shape.lo Pointset_Powerset.lo Row.lo Linear_Row.lo Bit_Matrix.lo Bit_Row.lo Ph_Status.lo Grid_Status.lo 
 V
ariable.lo Variables_Set.lo conversion.lo minimize.lo simplify.lo Grid_conversion.lo Grid_simplify.lo stdiobuf.lo c_streambuf.lo globals.lo mp_std_bits.lo Weight_Profiler.lo version.lo    termination.lo wrap_string.lo -L/home/freddie/bleeding-edge-toolchain/build-mingw/host-libs/usr/lib -lgmpxx -L/home/freddie/bleeding-edge-toolchain/build-mingw/host-libs/usr/lib -lgmp
> /usr/bin/grep: /home/ruben/mingw-w64/linux64mingw32/mingw32/i686-w64-mingw32/lib/../lib/libstdc++.la: No such file or directory
> /usr/bin/sed: can't read /home/ruben/mingw-w64/linux64mingw32/mingw32/i686-w64-mingw32/lib/../lib/libstdc++.la: No such file or directory
> libtool: link: `/home/ruben/mingw-w64/linux64mingw32/mingw32/i686-w64-mingw32/lib/../lib/libstdc++.la' is not a valid libtool archive
> make[3]: *** [libppl.la] Error 1

As you see I'm trying to build software for Windows on Linux. This setup 
worked fine with an older release of mingw-w64 (GCC 4.7.2 rubenvb from 
september 2012).

Please keep me CCed, as I'm not subscribed to this list.

Thx in advance!

FCh