April 2002 - PPL-devel - BUGSENG Mailman

Re: State of interface
by Roberto Bagnara 04 Apr '02

04 Apr '02

Manuel Carro wrote: > BTW, I just tried downloading the latest CVS snapshot (following > to the letter the web directions :-) and autoconf gives the following > error: > > [boris@balboa ppl]$ autoconf configure.ac > configure > configure.ac:28: /usr/bin/m4: Bad expression in eval (bad input): 0 + 13 * 1000 + 2 * 1000000 < 0 + 52g * 1000 + 2 * 1000000 > autoconf: Undefined macros: > configure.ac:270:AC_DISABLE_SHARED > configure.ac:271:AC_LIBTOOL_DLOPEN > configure.ac:272:AC_LIBTOOL_WIN32_DLL > configure.ac:273:AC_PROG_LIBTOOL > configure.ac:94:AC_CHECK_GMP > > The resulting 'configure' file is wrong (it just breaks). I had > never used autoconf before. What am I doing wrong? Hi there, it is a good thing to work with the CVS version, since 0.3 is, by now, very old. The first thing I would check is that you have the right versions of autoconf, automake, and libtool. If you want to be absolutely safe, just get the latest versions: download ftp://ftp.gnu.org/gnu/autoconf/autoconf-2.53.tar.gz ftp://ftp.gnu.org/gnu/automake/automake-1.6.tar.gz ftp://ftp.gnu.org/gnu/libtool/libtool-1.4.2.tar.gz configure them and install them as usual. Then you should not call autoconf directly but invoke autoreconf -f in the root directoty of the PPL sources (i.e., the one containing the configure.ac file). This will create all the files needed for autoconfiguration. You should then create a build directory (it is recommended to have this separate from the source directory) and then configure as usual. Do not hesitate to contact us if something is unclear or goes wrong. Ciao Roberto -- 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 4

ppl/src Polyhedron.inlines.hh
by Patricia Hill 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-04 14:21:18 Modified files: src : Polyhedron.inlines.hh Log message: Initial implementation of Polyhedron::shrink_bounding_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src ConSys.cc GenSys.cc Polyhedron.cc Row. ...
by Enea Zaffanella 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-04 13:43:13 Modified files: src : ConSys.cc GenSys.cc Polyhedron.cc Row.cc Row.defs.hh Log message: PPL::operator^(const Row&, const Row&) renamed as "reduced_scalar_product". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/tests boundingbox1.cc
by Roberto Bagnara 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-04 12:20:41 Modified files: tests : boundingbox1.cc Log message: Use a more concrete bounding-box class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Enea Zaffanella 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-04 11:01:26 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: Configuration files updated after class names changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0

ppl/src PolyBase.types.hh
by Enea Zaffanella 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-04 11:00:48 Removed files: src : PolyBase.types.hh Log message: Forgot to remove this one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.types.hh.diff?cv…

1 0

ppl/src PolyBase.cc PolyBase.defs.hh PolyBase. ...
by Enea Zaffanella 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-04 10:26:58 Removed files: src : PolyBase.cc PolyBase.defs.hh PolyBase.inlines.hh Log message: Getting rid of these old files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.inlines.hh.diff?…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh Polyh ...
by Enea Zaffanella 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-04 10:22:02 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Log message: All functions created to throw exceptions are now private methods of the class Polyhedron. Exception messages modified to reflect the changes in the names of the classes and in the names of methods (e.g., add_constraint instead of insert). Added topology-compatibility test to method swap(Polyhedron& y). In all public methods, we now first check for topology inconsistencies, then we check for dimension inconsistencies. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… 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.inlines.hh.dif…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-04 10:11:14 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Add copy-conversion functions. 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.diff?cvs…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h lpenum/lpenum.c
by Roberto Bagnara 04 Apr '02

04 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-04 08:46:36 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Basic interface for the NNC polyhedra. 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.diff?cvs… Modified files: interfaces/C/lpenum: lpenum.c Log message: Use the new interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0