Hi Keith,

On Thu, 14 Jul 2022 15:19:22 +0100 Steve Capper <steve.cap...@arm.com> wrote:
> With some stracing, it became apparent that the newlib headers were 
> pulling in an extra stdint.h (that wasn't part of newlib). I rebuilt the 
> gcc-arm-none-eabi package with the "provide-stdint-for-embedded.patch" 
> removed. That then allowed me to build the SCP firmware without issue.

I made the same discovery when building my package pico-sdk (currently in NEW).
The package builds fine if I remove provide-stdint-for-embedded.patch from
gcc-arm-none-eabi. But with gcc-arm-none-eabi in unstable I have to apply the
following patch to my package pico-sdk:

--- a/test/pico_stdlib_test/pico_stdlib_test.c
+++ b/test/pico_stdlib_test/pico_stdlib_test.c
@@ -9,6 +9,7 @@
 #include "pico/stdlib.h"
 #include "pico/bit_ops.h"
 #include <stdlib.h>
+#define PRIu64 "lu"
 
 void test_builtin_bitops() {
     int32_t x = 0;
--- a/test/pico_time_test/pico_time_test.c
+++ b/test/pico_time_test/pico_time_test.c
@@ -12,6 +12,7 @@
 #include "pico/test.h"
 #include <inttypes.h>
 PICOTEST_MODULE_NAME("pico_time_test", "pico_time test harness");
+#define PRIi64 "li"
 
 #define NUM_TIMEOUTS 500
 #define MAX_TIMERS_PER_POOL 250

I landed here as Raspberry PI developer Andrew Scheller found this bug with the
Debian packaging of of gcc-arm-none-eabi.

Thanks!

cheers, josch

Attachment: signature.asc
Description: signature

Reply via email to