Bug#979542: gcc-riscv64-unknown-elf: Unable to use stdint.h

2021-04-07 Thread Keith Packard
Joel Stanley writes: > Package: gcc-riscv64-unknown-elf > Version: 8.3.0.2019.08+dfsg-1 > Severity: normal > > Dear Maintainer, > > I am trying to use the riscv toolchain to build a bare metal > application. It appears to have a broken stdint.h: You might try using picolibc instead of newlib;

Bug#979542: gcc-riscv64-unknown-elf: Unable to use stdint.h

2021-04-07 Thread chrysn
Package: gcc-riscv64-unknown-elf Version: 8.3.0.2019.08+dfsg-1 Followup-For: Bug #979542 I've also observed this when trying to use gcc-riscv64 with the RIOT operating system, which (in contrast to Joel's initial report) sets a lot of potentially-needed flags and gets tested with other versions

Bug#979542: gcc-riscv64-unknown-elf: Unable to use stdint.h

2021-01-07 Thread Joel Stanley
Package: gcc-riscv64-unknown-elf Version: 8.3.0.2019.08+dfsg-1 Severity: normal Dear Maintainer, I am trying to use the riscv toolchain to build a bare metal application. It appears to have a broken stdint.h: $ cat test.c #include $ riscv64-unknown-elf-gcc -E -march=rv32i -mabi=ilp32