November 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/src Grid_Generator.defs.hh Generator_Syste ...
by Matthew Mundell 30 Nov '05

30 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-30 20:09:39 Modified files: src : Grid_Generator.defs.hh Generator_System.defs.hh Generator.defs.hh Log message: Comment inclusions above the line instead of at the line end, to please utils/build_header. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/src Grid_Generator_System.cc
by Matthew Mundell 30 Nov '05

30 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-30 19:56:25 Modified files: src : Grid_Generator_System.cc Log message: Update OK to call the updated Grid_Generator::OK, and to use Grid_Generator_System for the generator system type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.…

1 0

ppl/src Grid_Generator.defs.hh Grid_Generator.cc
by Matthew Mundell 30 Nov '05

30 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-30 19:53:53 Modified files: src : Grid_Generator.defs.hh Grid_Generator.cc Log message: Add OK method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cv…

1 0

ppl/src Generator.defs.hh Generator.cc
by Matthew Mundell 30 Nov '05

30 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-30 19:53:22 Modified files: src : Generator.defs.hh Generator.cc Log message: Take out the OK method flag parameter hack. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

ppl/tests/Grid addgenerator1.cc
by Matthew Mundell 30 Nov '05

30 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-30 19:52:11 Modified files: tests/Grid : addgenerator1.cc Log message: Add only NC generators for now. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc.d…

1 0

ppl/src Makefile.am Grid_Generator_System.cc G ...
by Matthew Mundell 30 Nov '05

30 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-30 17:49:09 Modified files: src : Makefile.am Grid_Generator_System.cc Grid_Generator.inlines.hh Grid_Generator.defs.hh Added files: src : Grid_Generator.cc Log message: Inherit privately from Generator. Add enum Type. Add methods is_equivalent_to and swap. Add operator<<(s,g) friend declaration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di…

1 0

ppl TODO
by Enea Zaffanella 30 Nov '05

30 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-30 17:19:44 Modified files: . : TODO Log message: Testing the notification of commit messages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.16…

1 0

CVSROOT loginfo
by Enea Zaffanella 30 Nov '05

30 Nov '05

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: zaffanella(a)cs.unipr.it 2005-11-30 17:18:22 Modified files: . : loginfo Log message: Restored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/loginfo.diff?cvsroot=ppl&…

1 0