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

[Roberto Bagnara]

On 04/17/11 13:01, Ruben Van Boxem wrote:
> I am trying to build ppl version 0.11.x,  but failing miserably. I'm
> using GCC 4.5.2 for x86_64-w64-mingw32 with this configure:
>
>> ../../src/ppl-0.11.2/configure --host=x86_64-w64-mingw32 --disable-static --enable-shared --with-gmp-prefix=/home/ruben/mingw64/x64/libs CFLAGS="-flto -mtune=core2 -fomit-frame-pointer -momit-leaf-frame-pointer" LFLAGS="-flto -fwholeprogram" --prefix=/home/Ruben/mingw64/x64/libs
>
> Make fails with this:
>
>> /bin/grep: /mingw64/lib/../lib64/libstdc++.la: No such file or directory
>> /bin/sed: can't read /mingw64/lib/../lib64/libstdc++.la: No such file or directory
>> libtool: link: `/mingw64/lib/../lib64/libstdc++.la' is not a valid libtool archive
>> make[3]: *** [libppl.la] Error 1
>
> No other library needs these .la files, and for mingw toolchains are a
> pest (due to relocations which are common and necessary on Windows.
> The paths you see are not present on my system, they are a result of
> some path still present from the build of the cross-compilation
> toolchain.
>
> Any help is appreciated. Thanks!

Hi Ruben.

Can you please teach me how I could reproduce your observations?
Note that I am not a regular user of MinGW, so feel free to provide
me with all the gory details :-)
Cheers,

    Roberto

P.S. In your report I see both "mingw32" and "mingw64":
      is this intended?

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it