[PPL-devel] Re: Feature request: optionally compile with support for exceptions

Roberto Bagnara bagnara@cs.unipr.it writes:

CFLAGS=-fexceptions /usr/local/distrib/gmp-3.1.1/configure

I override all the other compilation flags: I get `-fexceptions' and not `-g -O -fomit-frame-pointer -mcpu=pentiumpro'. If assigning to CFLAGS was meant to _add_ to the compilation flags, then this is a bug in the configure script. In some projects of mine I use configure options like --with-extra-cflags for that purpose. All the best,

I sometimes set CPPFLAGS to do that. Not a kosher use of that variable, but it works because gmp and autoconf don't usually use it for anything else.

I'm not sure what the right way is. The current suggestion is to watch what GMP gives, then re-run with that and any additions or subtractions.