December 2005 - PPL-devel - BUGSENG Mailman

SICStus interface
by Tristan Denmat 17 Mar '06

17 Mar '06

Hi, I am trying to use the interface between PPL and SICStus. Following what is said in the manual, there should be an .pl file in the /bin directory but there is not. Does it mean that I forgot to put a flag or something like this ? Thanks, Tristan Denmat

4 11

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/tests/Polyhedron primalsimplex1.cc primals ...
by Enea Zaffanella 31 Dec '05

31 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-31 18:32:22 Removed files: tests/Polyhedron: primalsimplex1.cc primalsimplex2.cc Log message: No longer testing the primal_simplex method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/primalsimple… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/primalsimple…

1 0

ppl NEWS
by Enea Zaffanella 31 Dec '05

31 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-31 18:31:09 Modified files: . : NEWS Log message: Do not announce the primal_simplex() methods; do announce the LP_Problem class instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.17…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 31 Dec '05

31 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-31 18:30:23 Modified files: doc : definitions.dox Log message: The widening on BD_Shape is now the BHMZ05 widening. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h.in
by Enea Zaffanella 31 Dec '05

31 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-31 18:29:38 Modified files: interfaces/C : ppl_c.cc ppl_c.h.in Log message: Got rid of the old interfaces for the primal simplex algorithm. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl/tests/Polyhedron Makefile.am lpproblem1.cc ...
by Enea Zaffanella 31 Dec '05

31 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-31 18:28:27 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: lpproblem1.cc lpproblem2.cc Removed files: tests/Polyhedron: LP_Problem1.cc LP_Problem2.cc Log message: Renamed (and basically rewritten) tests for class LP_Problem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/lpproblem2.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem2.…

1 0

ppl/tests/BD_Shape Makefile.am exceptions2.cc ...
by Enea Zaffanella 31 Dec '05

31 Dec '05

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh
by Enea Zaffanella 31 Dec '05

31 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-31 18:25:25 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Log message: Method CH78_widening_assign() renamed as BHMZ05_widening_assign(). Fixed a few problems in the documentation. Fixed several occurrences of a problem regarding the checked approximation of the negation of a Coefficient. Patches: 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/BD_Shape.inlines.hh.diff?…

1 0

ppl/src Polyhedron.inlines.hh
by Enea Zaffanella 31 Dec '05

31 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-31 18:23:24 Modified files: src : Polyhedron.inlines.hh Log message: Exploit LP_Problem when (efficiently) testing for emptyness of the Polyhedron in method shrink_bounding_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0