October 2001 - PPL-devel - BUGSENG Mailman

ppl/doc Polyhedra.texinfo
by Roberto Bagnara 13 Oct '01

13 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-13 21:16:42 Removed files: doc : Polyhedra.texinfo Log message: Was never meant to be here. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Polyhedra.texinfo.diff?cv…

1 0

ppl config.h.in configure.ac
by Roberto Bagnara 13 Oct '01

13 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-13 19:06:12 Modified files: . : config.h.in configure.ac Log message: Configuration fixed in various respects. Please note that: - debugging (-g) is ON by default; - standard optimization (-O2) is THE default; - run-time assertions are OFF by default. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Makefile.am ppl.cc protect.sed restore.sed
by Roberto Bagnara 13 Oct '01

13 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-13 19:04:39 Modified files: src : Makefile.am ppl.cc protect.sed restore.sed Log message: Generation of libppl.a and ppl.hh fixed. Patches: 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/ppl.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/protect.sed.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/restore.sed.diff?cvsroot=…

1 0

ppl/tests Makefile.am inters1.cc inters2.cc ra ...
by Roberto Bagnara 13 Oct '01

13 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-13 19:03:39 Modified files: tests : Makefile.am inters1.cc inters2.cc randchull1.cc Log message: Programs using the PPL need only include ppl.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters1.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randchull1.cc.diff?cvsr…

1 0

ppl src/Polyhedron.cc tests/randchull1.cc
by Roberto Bagnara 13 Oct '01

13 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-13 19:01:10 Modified files: src : Polyhedron.cc tests : randchull1.cc Log message: It is now possible to insert a generator into an empty polyhedron. 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/tests/randchull1.cc.diff?cvsr…

1 0

ppl ./Makefile.am ./config.guess ./config.h.in ...
by Roberto Bagnara 13 Oct '01

13 Oct '01

1 0

ppl ./Makefile.am m4/Makefile.am m4/ac_check_g ...
by Roberto Bagnara 13 Oct '01

13 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-13 12:08:23 Modified files: . : Makefile.am Added files: m4 : Makefile.am ac_check_gmp_exceptions.m4 ac_check_have_gmp.m4 Log message: New tests to check whether GMP is installed and, if so, whether it was compiled with -fexceptions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp_exceptions.m4… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_have_gmp.m4.diff?…

1 0

ppl/m4
by Roberto Bagnara 13 Oct '01

13 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-13 11:56:46 ppl/m4 Update of /cvs/ppl/ppl/m4 In directory spartacus.cs.unipr.it:/tmp/cvs-serv20519/m4 Log Message: Directory /cvs/ppl/ppl/m4 added to the repository

1 0

Generating the configure script
by Roberto Bagnara 13 Oct '01

13 Oct '01

cd into the root of the PPL source tree, then issue the command autoreconf This is enough to keep you going. Ciao, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl ./.cvsignore ./Makefile.am doc/Makefile.am ...
by Roberto Bagnara 13 Oct '01

13 Oct '01

1 0