[PPL-devel] building ppl under cygwin

Roberto Bagnara bagnara at cs.unipr.it
Wed Aug 27 21:44:53 CEST 2008


Jagasia, Harsha wrote:
> I am using gcc 4.0.3 and ppl 10 as you suggested, but still no cigar under Cygwin.
>  
> I used gcc 4.0.3 to build gmp, configured with "./configure --prefix=/tmp/usr --enable-cxx"
> This gmp was installed in a different location "/tmp/usr" from the gmp that I needed to build gcc 4.0.3.
>  
> I then tried to build ppl also using gcc 4.0.3.
> 
> The configure was done, excerpt as below:
> checking how to link with libgmp... /tmp/usr/lib/libgmp.a
> checking how to link with libgmpxx... /tmp/usr/lib/libgmpxx.a /tmp/usr/lib/libgmp.a
> checking for the GMP library version 4.1.3 or above... yes
> checking for mp_limb_t... yes
> checking size of mp_limb_t... 4
> checking whether GMP has been compiled with support for exceptions... yes
> checking for __mpz_struct._mp_alloc... yes
> checking for __mpz_struct._mp_size... yes
> checking for __mpz_struct._mp_d... yes
>  
> The ppl was downloaded from the graphite wiki. It is ppl-0.10pre24.
> I get errors when trying to build ppl, see the attached file.
>  
> Do I need to explicitly use some options to build a dynamic gmp library?
> Thoughts?

Dear Harsha,

I have spent the day trying to reproduce the problem you are reporting,
and I have succeeded.  I have no idea how to build a dynamic GMP library:
you should ask a Cygwin expert (which I am not).
I don't even know if dynamic linking is supported in Cygwin (notice that
the GMP binary package for Cygwin does not seem to include a dynamically
loadable library).

So, in order to build the PPL, I simply configured it (the PPL) using
the --disable-shared option.  Compilation of the library succeeds,
but `make check' suffers from limitations of Cygwin combined with
limitations of GCC 4.0.x.  I have already fixed two of them in the
CVS version (see my last two commits).  Overnight I will run `make check'
again to see if there are additional issues.
All the best,

    Roberto

P.S. Please direct all the PPL-related messages to ppl-devel at cs.unipr.it,
      not to my personal address.

P.P.S. If you investigate further the issue of GMP shared libraries under
        Cygwin, please let me know: unless there are objection, I will make
        --disable-shared the default under Cygwin.

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it



More information about the PPL-devel mailing list