CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-19 12:15:46
Modified files:
src : Polyhedron.defs.hh Polyhedron.cc
Log message:
In functions widening_assign and limited_widening_assign considered
the case of empty-polyhedron and the exception for the different
dimension of the polyhedra and the matrix (this for the limited_widening);
added some explanations for the parameters.
In function assign_variable and substitute_variable considered the
exceptions for the variable that is not inside the polyhedron and the
expression that does not have the right dimension.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
Hi there,
I have switched to the latest autoconf snapshot (2.52e, cvs-updated today)
and have tried hard to follow all the instructions for the upgrade.
I believe I am no longer using any deprecated feature, but I get
$ autoreconf
configure.ac:21: warning: do not use m4_patsubst: use patsubst or m4_bpatsubst
configure.ac:312: warning: do not use m4_regexp: use regexp or m4_bregexp
autoheader: `config.h.in' is unchanged
Line 21 in configure.ac reads
AM_CONFIG_HEADER(config.h)
while line 312 is the last one in the following invocation
of AC_OUTPUT:
AC_OUTPUT(Makefile
src/Makefile
src/BitSet/Makefile src/Integer/Makefile
tests/Makefile
m4/Makefile
doc/Makefile
doc/user-browse.doxyconf-latex doc/devref-browse.doxyconf-latex
doc/user-print.doxyconf-latex doc/devref-print.doxyconf-latex
doc/user.doxyconf-html doc/devref.doxyconf-html
ppl.lsm ppl.spec)
What am I missing?
Thanks a lot,
Roberto
--
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
