GNU bug report logs - #73190
[PATCH 0/3] gnu: dyninst: Update to 13.0.0.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Nguyễn Gia Phong <mcsinyx <at> disroot.org>
Subject: bug#73190: closed (Re: [bug#73190] [PATCH v2 3/3] gnu: dyninst:
 Update to 13.0.0.)
Date: Thu, 19 Sep 2024 12:58:02 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#73190: [PATCH 0/3] gnu: dyninst: Update to 13.0.0.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 73190 <at> debbugs.gnu.org.

-- 
73190: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=73190
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: Nguyễn Gia Phong <mcsinyx <at> disroot.org>
Cc: 73190-done <at> debbugs.gnu.org
Subject: Re: [bug#73190] [PATCH v2 3/3] gnu: dyninst: Update to 13.0.0.
Date: Thu, 19 Sep 2024 14:56:55 +0200

Hi,

Nguyễn Gia Phong <mcsinyx <at> disroot.org> skribis:

> * gnu/packages/instrumentations.scm (dyninst): Update to 13.0.0.
>   [propagated-inputs]: Add libiberty.
> * gnu/packages/patches/dyninst-fix-glibc-compatibility.patch:
>   Remove file.
>
> Change-Id: I6e5dfa9d698de4d45614c535b5dd5cdaad239425

Pushed as 254c8f2c8cbb47903682b026deac1fd07c48f919.

I followed up with e85f52e826b0701c3dcf9acf9d81e5ae57aec8f9, which fixes
i686-linux and adds a ‘supported-systems’ field.

Ludo’.

[Message part 3 (message/rfc822, inline)]

From: Nguyễn Gia Phong <mcsinyx <at> disroot.org>
To: guix-patches <at> gnu.org
Cc: Nguyễn Gia Phong <mcsinyx <at> disroot.org>
Subject: [PATCH 0/3] gnu: dyninst: Update to 13.0.0.
Date: Thu, 12 Sep 2024 11:25:39 +0900

The currently included Dyninst 10.2.1 recently failed to build
due to stricter include lookup (dataflowAPI/src/AbslocInterface.C
missing std::deque).

Since no package depends on Dyninst, let's just upgrade it
to the latest version 13.0.0 instead of adding more patches.
This new version depends on GCC internal library iberty
with an additional header demangle.h.

I referenced the Debian package and it does seem to include this header:
https://packages.debian.org/sid/amd64/libiberty-dev/filelist
I wonder if we should also put iberty headers under a libiberty/
namespace though.

(Speaking of header namespacing, I am not happy with how Dyninst lay out
generically named headers, e.g. Command.h, Event.h, Graph.h, etc.
directly under include/.  I suppose it is not particularly an issue
for Guix thanks to declarative build.)

Dyninst is built with PIC, so the same must be done
for the statically linked libiberty.  Debian is doing the same
so I suppose it should not affect other dependees.

Nguyễn Gia Phong (3):
  gnu: make-libiberty: Install the header demangle.h.
  gnu: make-libiberty: Build with -fPIC.
  gnu: dyninst: Update to 13.0.0.

 gnu/local.mk                                  |  1 -
 gnu/packages/gcc.scm                          |  3 ++
 gnu/packages/instrumentation.scm              | 17 +++++-----
 .../dyninst-fix-glibc-compatibility.patch     | 33 -------------------
 4 files changed, 11 insertions(+), 43 deletions(-)
 delete mode 100644 gnu/packages/patches/dyninst-fix-glibc-compatibility.patch


base-commit: b6d5a7f5836739dab884b49a64ca354794dd845f
-- 
2.46.0

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.