October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/OCaml README.ocaml
by Enea Zaffanella 18 Oct '08

18 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-18 13:17:33 Modified files: interfaces/OCaml: README.ocaml Log message: Updated and improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/README.ocaml…

1 0

ppl README.configure
by Roberto Bagnara 18 Oct '08

18 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-18 12:32:17 Modified files: . : README.configure Log message: Added material to the section on "Configuring for Optimized Performance". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 18 Oct '08

18 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-18 11:39:53 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: List xsb_prolog_generated_test.P in CLEANFILES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/interfaces/OCaml/tests Makefile.am
by Enea Zaffanella 18 Oct '08

18 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-18 11:01:55 Modified files: interfaces/OCaml/tests: Makefile.am Log message: Do not mention gmp.cma when (ocaml-)linking; rather, directly pass options -lmlgmp and -lmpfr to the underlying linker using -cclib. This seems to solve an issue in some x86 systems (e.g., igor on tinderbox) whereby -dlopen was not working as expected, in that it links the installed ppl instead of the one in the build tree. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

ppl/src Box.inlines.hh
by Roberto Bagnara 18 Oct '08

18 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-18 10:08:56 Modified files: src : Box.inlines.hh Log message: Work around a bug in the Intel C/C++ compiler version 10.1.x. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro…

1 0

ppl README.configure
by Roberto Bagnara 17 Oct '08

17 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-17 22:43:34 Modified files: . : README.configure Log message: Explained the use of the `--with-java=DIR' configure option. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl README.configure
by Roberto Bagnara 17 Oct '08

17 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-17 20:17:52 Modified files: . : README.configure Log message: Explained the use of the `--enable-instantiations' configure option. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl/src checked.inlines.hh
by Abramo Bagnara 17 Oct '08

17 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-10-17 16:56:57 Modified files: src : checked.inlines.hh Log message: Added comment for future improvement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl README.configure
by Roberto Bagnara 17 Oct '08

17 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-17 16:45:20 Modified files: . : README.configure Log message: Started a rewrite of the section on "Configuring the Language Interfaces". Added new sections on "Configuring for Optimized Performance" and "Configuring for Debugging". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl ./configure.ac src/Makefile.am
by Roberto Bagnara 17 Oct '08

17 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-17 15:17:56 Modified files: . : configure.ac src : Makefile.am Log message: If the C++ interface is not enabled, do not install <ppl.hh>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0