diff options
| author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2024-09-19 14:53:38 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-09-19 14:54:35 +0200 |
| commit | e85f52e826b0701c3dcf9acf9d81e5ae57aec8f9 (patch) | |
| tree | 483a5dd32305b521ec09f9a89e75699a926099b3 /gnu | |
| parent | 254c8f2c8cbb47903682b026deac1fd07c48f919 (diff) | |
| download | guix-e85f52e826b0701c3dcf9acf9d81e5ae57aec8f9.tar.gz guix-e85f52e826b0701c3dcf9acf9d81e5ae57aec8f9.zip | |
gnu: dyninst: Fix i686 support and explicitly list supported systems.
* gnu/packages/instrumentation.scm (dyninst)[arguments]: Add
‘adjust-supported-platform-name’ phase.
[supported-systems]: New field.
Change-Id: I16a9a6ce0e1742a68ba003e904392879a791ff77
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/instrumentation.scm | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/gnu/packages/instrumentation.scm b/gnu/packages/instrumentation.scm index 0cc9a3a8d7..1b99399913 100644 --- a/gnu/packages/instrumentation.scm +++ b/gnu/packages/instrumentation.scm @@ -238,9 +238,21 @@ standard library headers.") (lambda _ (substitute* "dyninstAPI/src/linux.C" (("if\\(fgets\\(buffer, buffer_size, ldconfig\\)\\)") - "fgets(buffer, buffer_size, ldconfig); if (true)"))))))) + "fgets(buffer, buffer_size, ldconfig); if (true)")))) + (add-after 'unpack 'adjust-supported-platform-name + (lambda _ + ;; That file checks for "i386" but + ;; 'cmake_host_system_information' returns "i686" when targeting + ;; i686-linux. Adjust accordingly. + (substitute* "cmake/DyninstPlatform.cmake" + (("\"i386\"") "\"i686\""))))))) (propagated-inputs (list elfutils libiberty boost tbb)) + + ;; Supported systems according to 'cmake/DyninstPlatform.cmake'. + (supported-systems '("x86_64-linux" "i686-linux" + "aarch64-linux" "powerpc64le-linux")) + (home-page "https://dyninst.org/") (synopsis "Dynamic instrumentation") (description "Dyninst is a collection of libraries for instrumenting, |