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

[Roberto Bagnara]

On 04/26/13 00:01, Freddie Chopin wrote:
> 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!

Hello Freddie.  As far as I know there has been no progress so far.
Last message we got from Ruben is here:

  http://www.cs.unipr.it/pipermail/ppl-devel/2011-April/017417.html

We routinely build and test the PPL with mingw-w64 (GCC 4.6.3) without
any problem.
Kind regards,

   Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com