Open cartersmith15 opened 11 months ago
Hey @cartersmith15,
the test you mention works in CI (Ubuntu 22.04) and in my local environment (Debian 11), so I was unable to reproduce your results. Which OS are you using? I believe that the problem must be in your environment.
You can try retracing steps from CI, which are:
I would also suggesting checking if you checked out picolibc correctly (compare commit SHA) and/or how is riscv*-unknown-elf installed in your environment?
I'm trying to run the dhry test using this command: "make -f $RV_ROOT/tools/Makefile verilator TEST=dhry"
I am met with this error:
/home/csmith/Cores-VeeR-EL2/third_party/picolibc/install/picolibc/riscv64-unknown-elf/include/inttypes.h:313:3: error: unknown type name 'intmax_t' 313 | intmax_t quot; /home/csmith/Cores-VeeR-EL2/third_party/picolibc/install/picolibc/riscv64-unknown-elf/include/inttypes.h:324:8: error: unknown type name 'uintmax_t' 324 | extern uintmax_t strtoumax(const char restrict, char **restrict, int); /home/csmith/Cores-VeeR-EL2/third_party/picolibc/install/picolibc/riscv64-unknown-elf/include/stdio.h:81:9: error: unknown type name 'uint16_t' 81 | typedef uint16_t ungetc_t; | ^
~~~ /home/csmith/Cores-VeeR-EL2/third_party/picolibc/install/picolibc/riscv64-unknown-elf/include/stdio.h:308:1: error: unknown type name 'ssize_t'; did you mean '_ssize_t'? 308 | ssize_t getdelim(char **restrict lineptr, size_t restrict n, int delim, FILE *restrict stream); | ^~~I don't understand why it is not working. I was able to get the hello_world function to work but this one is not.
Thanks for any help. :)