October 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/BD_Shape run_tests
by Roberto Bagnara 31 Oct '05

31 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-31 22:37:51 Modified files: tests/BD_Shape : run_tests Log message: Test also with long doubles. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests.diff…

1 0

ppl/src Float.inlines.hh
by Roberto Bagnara 31 Oct '05

31 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-31 22:36:37 Modified files: src : Float.inlines.hh Log message: Spurious redeclaration removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs…

1 0

ppl/src Float.inlines.hh
by Roberto Bagnara 31 Oct '05

31 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-31 22:34:22 Modified files: src : Float.inlines.hh Log message: Spurious incomplete statement removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs…

1 0

ppl/src Float.inlines.hh
by Roberto Bagnara 31 Oct '05

31 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-31 22:32:56 Modified files: src : Float.inlines.hh Log message: Wrong syntax for static_cast fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs…

1 0

ppl/src checked_float.inlines.hh
by Roberto Bagnara 31 Oct '05

31 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-31 22:29:31 Modified files: src : checked_float.inlines.hh Log message: An instance of float127_t changed to float128_t. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

ppl/src Float.defs.hh Float.inlines.hh float.t ...
by Roberto Bagnara 31 Oct '05

31 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-31 22:21:23 Modified files: src : Float.defs.hh Float.inlines.hh float.types.hh Log message: The <stdint.h> header file was included unnecessarily in float.types.hh and not included in Float.defs.hh and Float.inlines.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/float.types.hh.diff?cvsro…

1 0

ppl/tests ppl_test.hh
by Roberto Bagnara 31 Oct '05

31 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-31 20:33:38 Modified files: tests : ppl_test.hh Log message: Define the utility type `long_double'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/src Makefile.am
by Roberto Bagnara 31 Oct '05

31 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-31 20:32:22 Modified files: src : Makefile.am Log message: Added the dependency of ppl_install.hh on $(INCLUDE_FILES). Reformatted some rules for consistency. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0