January 2006 - PPL-devel - BUGSENG Mailman

ppl/src BDS_Status.idefs.hh BD_Shape.defs.hh D ...
by Enea Zaffanella 11 Jan '06

11 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-11 11:33:04 Modified files: src : BDS_Status.idefs.hh BD_Shape.defs.hh DB_Matrix.defs.hh Linear_Row.defs.hh Ph_Status.idefs.hh Polyhedra_Powerset.defs.hh Row.defs.hh Log message: Added a few missing \ref doxygen commands. Prefer direct vs indirect inclusion of globals.defs.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.idefs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Row.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.idefs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src DB_Row.defs.hh
by Enea Zaffanella 11 Jan '06

11 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-11 11:31:12 Modified files: src : DB_Row.defs.hh Log message: Spurious dot in doxygen documentation removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.defs.hh.diff?cvsro…

1 0

ppl/doc devref.doxyconf-html.in devref.doxycon ...
by Enea Zaffanella 11 Jan '06

11 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-11 11:30:03 Modified files: doc : devref.doxyconf-html.in devref.doxyconf-latex.in user.doxyconf-html.in user.doxyconf-latex.in Log message: Expanding as predefined the macro PPL_OUTPUT_DECLARATIONS, so as to avoid warnings in the user manual and to see the documentation in the devref manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-latex.in.di…

1 0

ppl/src globals.defs.hh
by Enea Zaffanella 11 Jan '06

11 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-11 11:28:05 Modified files: src : globals.defs.hh Log message: The comments for output methods marked as brief comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr…

1 0

Doing something just a bit more complex than `make check'
by Roberto Bagnara 11 Jan '06

11 Jan '06

Hi there, I am using the `make check' facility offered by Automake. However, I need to realize something just a bit more complex than this. What I need to have is a way to specify that the ordinary behavior of `make check' should be repeated a number of times, each time with a different choice of compilation flags. To obtain this effect, now I do something like test1_flags1_SOURCES = test1.cc test1_flags1_CXXFLAGS = $(FLAGS1) test1_flags2_SOURCES = test1.cc test1_flags2_CXXFLAGS = $(FLAGS2) ... test2_flags_1_SOURCES = test2.cc test2_flags1_CXXFLAGS = $(FLAGS2) ... Since the number of tests can go up to a few hundreds and the possible flags go up to a dozen, this is not going to work: it is difficult to maintain and the generated Makefile is too heavy. Instead, what I would like to have is to only say test1_SOURCES = test1.cc test2_SOURCES = test2.cc ... and then achieve the effect of (sorry for the pseudo-code) for flags in $FLAGS_CHOICES do make check with CXXFLAGS="$flags" force recompilation at the next iteration (e.g., by erasing executables) done How can I best obtain this effect without giving up (too many of) the advantages offered by Automake? Many thanks in advance, Roberto P.S. Actually, it would be nice to also get rid of test1_SOURCES = test1.cc test2_SOURCES = test2.cc ... in favor of something more concise, but this is another story. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 5

ppl/src Matrix.inlines.hh Matrix.defs.hh Matri ...
by Matthew Mundell 11 Jan '06

11 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-11 02:21:46 Modified files: src : Matrix.inlines.hh Matrix.defs.hh Matrix.cc Linear_System.cc Log message: Add Matrix methods add_row(const Row&) and add_recycled_row(Row&). Update Linear_System::add_row to use Matrix::add_row. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs…

1 0

ppl/doc ppl-config.1
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 21:08:09 Modified files: doc : ppl-config.1 Log message: Improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl-config.1.diff?cvsroot…

1 0

ppl/doc Makefile.am ppl_lcdd.1
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 21:02:20 Modified files: doc : Makefile.am Added files: doc : ppl_lcdd.1 Log message: Added a draft man page for `ppl_lcdd'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lcdd.1?cvsroot=ppl&re… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 21:01:07 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Changed again: option --max-memory has now -R (and not -M) as its short counterpart. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/doc Makefile.am ppl_lpsol.1
by Roberto Bagnara 10 Jan '06

10 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-10 20:59:58 Modified files: doc : Makefile.am Added files: doc : ppl_lpsol.1 Log message: Added a draft man page for `ppl_lpsol'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl_lpsol.1?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0