[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