January 2002 - PURRS-devel - BUGSENG Mailman

purrs/infrastructure README
by Enea Zaffanella 30 Jan '02

30 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaffanella(a)cs.unipr.it 2002-01-30 09:07:36 Modified files: infrastructure : README Log message: Added workaround for building cln out of its source tree. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?…

1 0

purrs ./config.h.in ./configure.ac src/Makefil ...
by Roberto Bagnara 29 Jan '02

29 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-01-29 12:40:40 Modified files: . : config.h.in configure.ac src : Makefile.am alg_eq_solver.cc approx_expr.cc tests : Makefile.am eqs_driver.cc Log message: Start filib integration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/config.h.in.diff?cvsroot=w3… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/configure.ac.diff?cvsroot=w… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/approx_expr.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/eqs_driver.cc.diff?cv…

1 0

purrs/infrastructure README patch_ginac-1.0.4
by Roberto Bagnara 27 Jan '02

27 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-01-27 22:53:31 Modified files: infrastructure : README Removed files: infrastructure : patch_ginac-1.0.4 Log message: GiNaC 1.0.5 is on the shelves. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/patch_ginac-…

1 0

purrs/infrastructure README
by Roberto Bagnara 27 Jan '02

27 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-01-27 17:45:44 Modified files: infrastructure : README Log message: Explain how to compile filib++. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?…

1 0

purrs/infrastructure README patch_filib++-2.0
by Roberto Bagnara 27 Jan '02

27 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-01-27 17:40:20 Modified files: infrastructure : README Added files: infrastructure : patch_filib++-2.0 Log message: filib++ needs to be patched. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/patch_filib+… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?…

1 0

purrs/infrastructure README
by Roberto Bagnara 27 Jan '02

27 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-01-27 17:18:04 Modified files: infrastructure : README Log message: Explain how to configure GMP. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?…

1 0

purrs/infrastructure README patch_ginac-1.0.4
by Roberto Bagnara 27 Jan '02

27 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-01-27 15:47:34 Added files: infrastructure : README patch_ginac-1.0.4 Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/patch_ginac-…

1 0

make install fails on cln 1.1.4
by Roberto Bagnara 27 Jan '02

27 Jan '02

Dear Richard, with cln 1.1.4, `make install' ends up as follows ... make[1]: Leaving directory `/usr/local/distrib/objdir/doc' /usr/bin/install -c cln-config /usr/local/bin/cln-config /usr/bin/install -c -m 644 cln-config.1 /usr/local/share/man/man1/cln-config.1 /usr/bin/install -c -m 644 cln.m4 /usr/local/share/aclocal/cln.m4 /usr/bin/install: cannot stat `cln.m4': No such file or directory make: *** [install] Error 1 Notice that I am building the library in a separate directory. The problem seems due to the fact that cln.m4 is looked for in the build directory instead of the source directory. The easy workaround is in fact to copy cln.m4 from the source directory to the build directory just before issuing `make install'. All the best 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 1

purrs/infrastructure
by Roberto Bagnara 27 Jan '02

27 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-01-27 14:18:06 purrs/infrastructure Update of /cvs/purrs/purrs/infrastructure In directory spartacus.cs.unipr.it:/tmp/cvs-serv28492/infrastructure Log Message: Directory /cvs/purrs/purrs/infrastructure added to the repository

1 0

Parenthesization bug
by Roberto Bagnara 26 Jan '02

26 Jan '02

Dear all, there is a bug somewhere in GiNaC whereby some non-redundant parentheses are not output. The problem is shown below by means of simple `ginsh' session, but it can be reproduced equally well with C++ code. $ ginsh ginsh - GiNaC Interactive Shell (GiNaC V1.0.4) __, _______ Copyright (C) 1999-2002 Johannes Gutenberg University Mainz, (__) * | Germany. This is free software with ABSOLUTELY NO WARRANTY. ._) i N a C | You are welcome to redistribute it under certain conditions. <-------------' For details type `warranty;'. Type ?? for a list of help topics. > 2*I^(1/3); 2*I^(1/3) > (2*I)^(1/3); 2*I^(1/3) > 2*(I^(1/3)); 2*I^(1/3) > If this is confirmed to be a bug, we would need to develop a fix or a workaround quite urgently. Thanks a lot 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 3