March 2003 - PPL-devel - BUGSENG Mailman

Cannot build PPL.
by Axel Simon 10 Mar '03

10 Mar '03

Hi, building the library fails with: g++ -DHAVE_CONFIG_H -I. -I. -I.. -I.. -I../src -g -O2 -W -Wall -c BoundingBox.c c -Wp,-MD,.deps/BoundingBox.TPlo >/dev/null 2>&1 source='Constraint.cc' object='Constraint.lo' libtool=yes \ depfile='.deps/Constraint.Plo' tmpdepfile='.deps/Constraint.TPlo' \ depmode=gcc /usr/local/bin/bash ../depcomp \ /usr/local/bin/bash ../libtool --mode=compile g++ -DHAVE_CONFIG_H -I. -I. -I.. -I.. -I../src -g -O2 -W -Wall -c -o Constraint.lo `test -f 'Constraint.cc' | | echo './'`Constraint.cc g++ -DHAVE_CONFIG_H -I. -I. -I.. -I.. -I../src -g -O2 -W -Wall -c Constraint.cc -Wp,-MD,.deps/Constraint.TPlo -fPIC -DPIC In file included from LinExpression.defs.hh:33, from Constraint.defs.hh:30, from Constraint.cc:26: ConSys.defs.hh:170: no class template named `iterator' in `std' In file included from LinExpression.defs.hh:34, from Constraint.defs.hh:30, from Constraint.cc:26: GenSys.defs.hh:229: no class template named `iterator' in `std' gmake[4]: *** [Constraint.lo] Error 1 gmake[4]: Leaving directory `/home/as49/source/ppl-0.4.2/src' gmake[3]: *** [all-recursive] Error 1 gmake[3]: Leaving directory `/home/as49/source/ppl-0.4.2/src' gmake[2]: *** [all] Error 2 gmake[2]: Leaving directory `/home/as49/source/ppl-0.4.2/src' gmake[1]: *** [all-recursive] Error 1 gmake[1]: Leaving directory `/home/as49/source/ppl-0.4.2' gmake: *** [all] Error 2 My machine uses FreeBSD 4.6 and gcc 2.95.3. Is the compiler too old? Thanks, Axel.

3 2

ppl/doc definitions.dox
by Enea Zaffanella 10 Mar '03

10 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-10 18:24:37 Modified files: doc : definitions.dox Log message: First attempt at describing the operator remapping dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 10 Mar '03

10 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-10 12:27:34 Modified files: doc : definitions.dox Log message: Changed a bit the description about widenings to better clarify what has been done and we are still doing for NNC polyhedra. 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
by Enea Zaffanella 10 Mar '03

10 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-10 11:44:00 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Modified the C interface to support the widening-with-tokens technique for all widening and extrapolation operators. 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/Prolog Prolog_interface.dox
by Patricia Hill 10 Mar '03

10 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-10 10:59:04 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Descriptions for the bounded_..._extrapolation_assign predicates corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 10 Mar '03

10 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-10 10:30:46 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Added documentation for the with_token versions of the widening predicates and for the bounded versions of the extrapolation predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 10 Mar '03

10 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-10 09:27:00 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Prolog interface documentation reorganised with a summary list of all predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 09 Mar '03

09 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-09 22:25:24 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Started factorizing the implementation of the Prolog interface using pointers to members. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Roberto Bagnara 09 Mar '03

09 Mar '03

1 0

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Roberto Bagnara 09 Mar '03

09 Mar '03

1 0