Bill Allombert on Thu, 26 Sep 2024 10:17:28 +0200
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: [2.16.1-alpha] Cannot make debugging build
|
- To: pari-dev@pari.math.u-bordeaux.fr
- Subject: Re: [2.16.1-alpha] Cannot make debugging build
- From: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>
- Date: Thu, 26 Sep 2024 10:17:23 +0200
- Delivery-date: Thu, 26 Sep 2024 10:17:29 +0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/simple; d=math.u-bordeaux.fr; s=2022; t=1727338645; bh=oM0dmTHgcwZ+ICY2llfvdtSAU8WSqElkzl+bXWp1teo=; h=Date:From:To:Subject:References:In-Reply-To:From; b=V+BwbKSsth3X8DIWyR9OUZj31Ubtwl+xZGEIxzrgWIqAWzjg4Wsfezxfji2MPERCb qbDLRl8I71mTguCgEjlT2U4CqXuuPuHV2zvK7XTHJomhcLcrvCUMwx3+CIYBEcUWOh W8A8Xm1gzd/6NY0pEZPE99bk2Y5vtlY0jhmOx1AQz0F9JGN+ECxmET9ZR85RSpg9no T163aZN1F7zZjYKUCO4xL1V+0XcdA4TVFEV//wTuuL2GWoDuGCxtu+XLgxi7PsXxPx FIjwRLInW6iabFXpZGVKyO6x9Y/9F4luE7KM12SD0NKrXU+bTXi/eYIEVqzUDpzTGb lB3srZQITXteuKQ1GX019OqhtbIKUjhDke20mPNoXFqwsUXmTGNLG4FzLHruVaiuT5 JmivVLmiqXlg6BuA/2/uf3nk9mfr6qweIXDLk7sdhHjAwi+U7FKfzviD5StWhKJFod Iw/XvRENlMr9ofgLm5qEck2YSpyJ3SWHrPrXvVaJhFoGpi9y2kk1c4PdWH/GOWdtfs c9LVR+U8ulbMs1LDJk++l2lArFzlPFsc03dPPTwkLQgBWQ2f0qELqKVcNGoRe1sJ1p 0aKFYo5qi3dEUi+/a7G4/ocT/Bd8F/Nwqpx+kVmgvuSpOQZUs0ZZdHwZ4qXxBN9l86 7T4D55hMeg14CwX52EAjz2A8=
- In-reply-to: <ZvSosgUGSWKzfJD2@debian.attlocal.net>
- Mail-followup-to: pari-dev@pari.math.u-bordeaux.fr
- References: <ZvSosgUGSWKzfJD2@debian.attlocal.net>
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.