- PPL-devel - BUGSENG Mailman

Re: Feature request: optionally compile with support for exceptions
by nisse＠lysator.liu.se 24 Oct '01

24 Oct '01

Roberto Bagnara <bagnara(a)cs.unipr.it> writes: > what I am asking for is a feature and I am willing to do everything it > requires to minimize the chance of troubles. That is why I sent a > message to this list. The feature is very important for our > application (a C++ library for the manipulation of convex polyhedra) > and I believe it is important for all those C++ applications where the > exhaustion of virtual memory cannot simply be handled by writing a > message and aborting. The feature is so important that I have already > done the modifications I am proposing to GMP 3.1.1. What I would like > to avoid is having to distribute tar archives and RPMs of the modified > version to the users of our library. Thanks for the background. Also please note that I'm not making any decisions, I'm just a member of the gmp mailing list. > I realize that there is a potential for troubles but I also believe > that solutions can be found. For the people doing `make install' we > could make sure the exceptions-enabled versions of GMP are installed > under the basename, say `libgmp_e'. That would help. > No, CXXFLAGS has nothing to do with what we are talking about. > In fact > > 1) GMP is written in C; > 2) -fexceptions is the GCC default for the compilation of C++ sources, > so it will be OK even when GMP will include the new C++ interface. My intention was to add the -fexceptions flag to the flags used when compiling GMP:s C++ wrapper (which isn't included in the dist yet), but not when compiling the C and assembler files. Are you saying that one has to use -fexceptions also when compiling the files that are written in C? That's news to me, but I'm mostly ignorant when it comes to C++ exceptions. > > CXXFLAGS=-fexceptions && ./configure && make > Perhaps you meant > > CFLAGS=-fexceptions && ./configure && make > > but this is also a very bad idea in GMP 3.1.1 (the current release), > since `-fexceptions' will _replace_ any other compilation option so > that a good portion of the nice work done by the configure script > is simply lost. In other words, on the machine I am using this very > moment, I would compile GMP with `-fexceptions' instead of > `-g -O -fomit-frame-pointer -mcpu=pentiumpro', and these Sorry for the typo. I meant CXXFLAGS=-fexceptions ./configure && make I.e. CXXFLAGS should be set in _configure's_ environment, but not in _make's_. If that doesn't work, it could be considered a bug in the configure script. /Niels

3 2

w3ppl/htdocs ppl.raw About/About.raw
by Roberto Bagnara 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-23 23:20:16 Modified files: htdocs : ppl.raw htdocs/About : About.raw Log message: Small change suggested by Pat. Release date updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

The release process begins
by Roberto Bagnara 23 Oct '01

23 Oct '01

Dear all, the sources have tentatively been tagged for the release (the tag is `ppl_0_1_release'). If all the tests are passed, tomorrow we will release the beast. 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

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-23 22:16:21 Modified files: htdocs/Links : Links.raw Log message: Added a link to the (just discoverd) new PolyLib. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

ppl README
by Roberto Bagnara 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-23 20:15:38 Modified files: . : README Log message: Ready for distribution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

ppl Makefile.am
by Roberto Bagnara 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-23 19:43:49 Modified files: . : Makefile.am Log message: Distribute also the BUGS file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…

1 0

w3ppl doc/Makefile.am bin/update_web_site htdo ...
by Roberto Bagnara 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-23 19:36:17 Modified files: doc : Makefile.am bin : update_web_site htdocs/Documentation: Documentation.raw Log message: Produce and make available HTML documentation to be used off-line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/update_web_site.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

ppl NEWS TODO BUGS
by Roberto Bagnara 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-23 19:35:04 Modified files: . : NEWS TODO Added files: . : BUGS Log message: Initial versions of these files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/BUGS.diff?cvsroot=ppl&r1=NONE… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.1.…

1 0

ppl/tests Makefile.am affinetrans.cc
by Elisa Ricci 23 Oct '01

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-23 19:23:13 Modified files: tests : Makefile.am Added files: tests : affinetrans.cc Log message: Added a test for the functions assign_variable and substitute_variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinetrans.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

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

23 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-23 19:21:42 Modified files: src : Polyhedron.cc Log message: In function assign_variable and substitute_variable we must have size_t num_columns = x.num_dimensions() + 1 instead of size_t num_columns = x.con_sys(gen_sys).num_columns() because at this point we do not know which system we have. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0