Re: [2.16.1-alpha] Cannot make debugging build

[Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>]

On Wed, Sep 25, 2024 at 05:20:02PM -0700, Ilya Zakharevich wrote:
> I did not find `realclean' option for the makefile, so did
>   ./Configure
>   make bench
>   make clean
>   ./Configure -g
>   make
> 
> but it would not make debugging build.  AFAICS, the reason is that
>   config/objdir
> (sp???) remains the same, so the build happens with the non-debugging
> Makefile. 
> 
> What did I do wrong?

You should do as ./Configure -g says (last line)
"Ok. Type "cd Olinux-x86_64.dbg; make install" when you are ready"

Alternatively, with GNU make,  you can do
make -C Olinux-x86_64.dbg gp

Cheers,
Bill.