Brad Campbell
Brad Campbell
Whatever magic exists in #405 that tells make to run the fetch script only once for a list of targets, does _not_ seem to work if the rule is generated...
Ok! This builds again.
Would it help if we did: ``` tar -xzf picolib-1.8.5.tar.xz rm picolibc-1.8.5/scripts/GeneratePicolibcCrossFile.sh ... continue on with building ``` in our picolib build script?
The problem with this is that picolibc seems to want core functions without underscores: ```c int fstat(int fd, struct stat *st) { return _fstat(fd, st); } int isatty(int fd) {...
> AFAICT, the presence/absence of the leading underscore is some unimportant fight among various library/tool vendors: https://stackoverflow.com/questions/36438732/close-vs-close-read-vs-read-write-vs-write-what-is-difference oh gross > solution here is probably to `#ifdef` on whether we're using...
Hurrah this passes CI!
Rebase and updated.
Does something like https://github.com/tock/libtock-c/pull/357/commits/d4cb0c3c8608a8d4227d2dc164666b44b57225b0 work?
Can you include example usage in the readme?
I think combining the changes into a PR is fine, as is handling the internal API changes separately. As for adding z3, I'm not sure we want to go that...