Re: LIBGMPXX_LT_*

2012-06-26 Thread Torbjorn Granlund
Marc Glisse marc.gli...@inria.fr writes: I just added a new symbol to libgmpxx. Should I touch one of the LIBGMPXX_LT_* in Makefile.am, mark somewhere that it may need to be done prior to release, or ignore the (non-)issue? You might fill in the table in Makefile.am to make sure a CXX

Re: LIBGMPXX_LT_*

2012-06-26 Thread Marc Glisse
On Tue, 26 Jun 2012, Torbjorn Granlund wrote: Marc Glisse marc.gli...@inria.fr writes: I just added a new symbol to libgmpxx. Should I touch one of the LIBGMPXX_LT_* in Makefile.am, mark somewhere that it may need to be done prior to release, or ignore the (non-)issue? You might fill

Re: LIBGMPXX_LT_*

2012-06-26 Thread Torbjorn Granlund
Marc Glisse marc.gli...@inria.fr writes: Ok, I did that. And noticed that, although LIBMP_LT_* are still there, mpbsd was removed a while ago (I had completely forgotten about that...). There always seem to be a libmp bone remaining. -- Torbjörn