building PPL with MSYS/mingw(-w64)
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
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
W dniu 2013-04-26 19:50, Roberto Bagnara pisze:
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
Thx for your message!
It was working for me too in 4.7.2 release from Ruben, but it fails with 4.8.0 (don't know whether this is Linux-specific or not)...
Anyway - I've found a solution few minutes after I wrote e-mail to the list (as usually...) - in previous releases from Ruben there were ZERO .la files, while 4.8.0 had at least 7, each of them had this path hardcoded. I've just deleted all .la files and it worked fine.
BTW - I wrote to the list, as I assumed this is a recent problem - I looked only at month and day, while it was almost exactly 2 years ago (; Sorry for the noise.
Regards, FCh
participants (2)
-
Freddie Chopin -
Roberto Bagnara