August 2008 - PPL-devel - BUGSENG Mailman

ppl/m4 ac_cxx_double_binary_format.m4 ac_cxx_f ...
by Roberto Bagnara 30 Aug '08

30 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-30 17:30:08 Modified files: m4 : ac_cxx_double_binary_format.m4 ac_cxx_float_binary_format.m4 ac_cxx_long_double_binary_format.m4 Log message: Make sure __STDC_LIMIT_MACROS is defined before including <stdint.h>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_binary_forma… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_binary_format… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_binary_…

1 0

ppl/m4 ax_prefix_config_h.m4
by Roberto Bagnara 30 Aug '08

30 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-30 17:25:35 Modified files: m4 : ax_prefix_config_h.m4 Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ax_prefix_config_h.m4.diff…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 29 Aug '08

29 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-29 20:30:11 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Dependencies fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/interfaces/OCaml ppl_ocaml_globals.cc
by Roberto Bagnara 29 Aug '08

29 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-29 18:54:52 Modified files: interfaces/OCaml: ppl_ocaml_globals.cc Log message: Use the new implementation of marked pointers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl…

1 0

ppl/interfaces Makefile.am marked_pointers.hh
by Roberto Bagnara 29 Aug '08

29 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-29 18:53:59 Modified files: interfaces : Makefile.am Added files: interfaces : marked_pointers.hh Log message: Implementation of marked pointers for use in the PPL foreign interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/marked_pointers.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Andrea Cimino 28 Aug '08

28 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-08-28 20:56:10 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_ocaml_globals.cc Log message: Added three functions to deal with the last bit of a pointer. These are added and used in the interface to avoid unwanted `delete' calls on iterated objects: e.g. object get by `get_disjunct'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl…

1 0

Re: [PPL-devel] building ppl under cygwin
by Roberto Bagnara 28 Aug '08

28 Aug '08

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(a)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@cs.unipr.it

1 1

ppl/src checked_float.inlines.hh
by Roberto Bagnara 28 Aug '08

28 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-28 08:37:00 Modified files: src : checked_float.inlines.hh Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src checked_float.inlines.hh
by Roberto Bagnara 27 Aug '08

27 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-27 22:23:05 Modified files: src : checked_float.inlines.hh Log message: Added missing `inline' qualifier. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src checked_float.inlines.hh
by Roberto Bagnara 27 Aug '08

27 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-27 21:31:54 Modified files: src : checked_float.inlines.hh Log message: Work around a limitation of Cygwin, which has proper long doubles but does not provide rintl(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0