October 2001 - PPL-devel - BUGSENG Mailman

ppl ppl.spec.in
by Roberto Bagnara 15 Oct '01

15 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-15 11:59:02 Modified files: . : ppl.spec.in Log message: Now we build a relocatable package. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl ppl.spec.in
by Roberto Bagnara 15 Oct '01

15 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-15 11:34:48 Modified files: . : ppl.spec.in Log message: A first cut at a working RPM spec file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

w3ppl/bin update_web_site
by Roberto Bagnara 15 Oct '01

15 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-15 10:02:05 Modified files: bin : update_web_site Log message: Run aclocal and autoreconf before attempting to configure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/update_web_site.diff?cv…

1 0

ppl/src Makefile.am
by Roberto Bagnara 15 Oct '01

15 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-15 09:37:32 Modified files: src : Makefile.am Log message: It is now possible for the build directory to be the same as the source directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl INSTALL missing mkinstalldirs
by Roberto Bagnara 14 Oct '01

14 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-14 22:32:45 Modified files: . : INSTALL missing mkinstalldirs Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/INSTALL.diff?cvsroot=ppl&r1=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/missing.diff?cvsroot=ppl&r1=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/mkinstalldirs.diff?cvsroot=pp…

1 0

Checking the distribution
by Roberto Bagnara 14 Oct '01

14 Oct '01

Dear all, in the directory /opt/ppl-distrib on spartacus you will find the experimental tarballs for PPL version 0.1. Please get one, unpack it, and install it following the instructions in the INSTALL file. To test the library you could copy one of the files in the `tests` directory to, say, /tmp and then try compiling it and executing it. Things should be more exciting if you define NOISY to 1. Let me know if you have problems. 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 ./Makefile.am ./configure.ac doc/Makefile. ...
by Roberto Bagnara 14 Oct '01

14 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-14 21:28:22 Modified files: . : Makefile.am configure.ac doc : Makefile.am m4 : Makefile.am src : Makefile.am tests : Makefile.am Log message: Several packaging bugs have been fixed: now `make distcheck' is OK. 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/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… 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/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Roberto Bagnara 14 Oct '01

14 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-14 21:26:25 Modified files: doc : devref-browse.doxyconf-latex.in devref.doxyconf-html.in devref-print.doxyconf-latex.in user-browse.doxyconf-latex.in user.doxyconf-html.in user-print.doxyconf-latex.in Log message: The sysdep directory does not exist anymore. 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.doxyconf-html.in.d… 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/user-browse.doxyconf-late… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex…

1 0

ppl ./Makefile.am doc/Makefile.am doc/definiti ...
by Roberto Bagnara 14 Oct '01

14 Oct '01

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 14 Oct '01

14 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-14 11:46:42 Modified files: src : Polyhedron.cc Log message: In functions Polyhedron::insert(const Constraint& c) e Polyhedron::insert(const Constraint& c) the case of a zero-dimensional polyhedron is considered. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0