With this patch the firmware builds correctly, however you have to run "make" twice. I suspect that when running make against a virgin directory, the newer timestamps for the STM32_HAL repository, which is pulled after "make" has started, cause make to initially skip the build.
If I have time to figure out a fix, I'll submit a new pull request. For now I'm happy to have a working MicroPython binary.
With this patch the firmware builds correctly, however you have to run "make" twice. I suspect that when running make against a virgin directory, the newer timestamps for the STM32_HAL repository, which is pulled after "make" has started, cause make to initially skip the build.
If I have time to figure out a fix, I'll submit a new pull request. For now I'm happy to have a working MicroPython binary.
Thanks again!