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

[Roberto Bagnara]

On 04/17/11 14:06, Ruben Van Boxem wrote:
> 2011/4/17 Roberto Bagnara<bagnara at cs.unipr.it>:
>> 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,
>
> OK, gory details, here they come:

Hi Ruben.

> 0. I'm using Windows x64, I assume you are too. If not, you can try
> and see if "i686-w64-mingw32" produces the same error, but I don't
> know that for sure.

The only Windows machine I have has Windows 7 32-bit.

> 1. Download the MSYS all-in-one package from here:
> http://sourceforge.net/projects/mingw-w64/files/External%20binary%20packages%20%28Win64%20hosted%29/MSYS%20%2832-bit%29/MSYS-20110309.zip/download
> 2. extract it to a location that suits you, for example
> M:\Development\msys, so that M:\Development\msys\bin contains stuff
> like sh.exe.
> 3. Download a mingw-w64 toolchain (i686-mingw32: runs on 32-bit and
> 64-bit, x86_64-mingw32, runs only on 64-bit:
>
>   - Windows native x64 toolchain (both produce 64-bit binaries):
> http://sourceforge.net/projects/mingw-w64/files/Toolchains%20targetting%20Win64/Personal%20Builds/sezero_4.5_20101002/
>   - Windows native 32-bit toolchains (produces 32-bit binaries):
> http://sourceforge.net/projects/mingw-w64/files/Toolchains%20targetting%20Win32/Personal%20Builds/sezero_4.5_20101002/
>
> 4. Extract the toolchain to for example M:\Development\mingw64, so
> that M:\Development\mingw64\bin contains gcc.exe
> 5. Double-click on M:\Development\msys\msys.bat. A unix-like shell
> will appear in a Windows console window. the root directory "/" is
> equivalent to "M:\Development\msys", which can be referenced as
> "/m/Development/msys" from within the MSYS shell.
> 6. Download gmp-5.0.1 and ppl-0.11.2 tarballs and place them in
> /home/<username>/src
> 7. untar them like you would on linux.
> 8. make a build directory /home/<username>/build
> 9. Build gmp (replace<username>  in the --prefix argument!):

I arrived here.  The build of GMP 5.0.1 completed correctly,
but `make check' fails miserably when testing the C++ interface.

Can you please try and let me know if you also observe this?
Thanks,

    Roberto

-- 
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