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
This commit is contained in:
Ludovic Courtès 2024-09-19 14:53:38 +02:00 committed by Ludovic Courtès
parent 254c8f2c8c
commit e85f52e826
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -238,9 +238,21 @@ (define-public dyninst
(lambda _ (lambda _
(substitute* "dyninstAPI/src/linux.C" (substitute* "dyninstAPI/src/linux.C"
(("if\\(fgets\\(buffer, buffer_size, ldconfig\\)\\)") (("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 (propagated-inputs
(list elfutils libiberty boost tbb)) (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/") (home-page "https://dyninst.org/")
(synopsis "Dynamic instrumentation") (synopsis "Dynamic instrumentation")
(description "Dyninst is a collection of libraries for instrumenting, (description "Dyninst is a collection of libraries for instrumenting,