Skip to content

Conversation

will-v-pi
Copy link
Contributor

This adds an install step in the external projects when USE_PRECOMPILED=false to copy the compiled binaries into the source tree.

This also adds a new action to check that the pre-compiled files have been updated correctly, although I'm not sure if we should add that or not, as the files will change slightly depending on the compiler/SDK used so that action will probably fail quite a lot?

Fixes #240 (comment)

@lurch
Copy link
Contributor

lurch commented Jun 17, 2025

Looks like there are merge conflicts (which are probably what's also causing the CI failure?)

@will-v-pi
Copy link
Contributor Author

That CI failure is why I'm thinking this change doesn't want to have the check action, as the only change has been in the SDK so we don't really need to update the .elf

The conflict is just because the code for those files has been updated

Simplify CMakeLists.txt and BUILD.bazel skips

Install all ELFs as files, so they aren't marked as executable
@lurch
Copy link
Contributor

lurch commented Jun 18, 2025

Hmmm, something that's just occurred to me: if a change was made to a comment in one of the .c files, I guess that might result in no change to the generated ELF file; and the CI checks for that comment-fix PR might fail? 🤔 (but I guess in such a scenario we could just ignore the failing CI and merge anyway?)

@will-v-pi
Copy link
Contributor Author

Hmmm, something that's just occurred to me: if a change was made to a comment in one of the .c files, I guess that might result in no change to the generated ELF file; and the CI checks for that comment-fix PR might fail? 🤔 (but I guess in such a scenario we could just ignore the failing CI and merge anyway?)

Yeah, that's something to bear in mind, but I think that should be fine

This fixes the BUILD_ALWAYS issues as it's now only set when `USE_PRECOMPILED=false`, and also removes the need for `${CMAKE_COMMAND} --install .`
It's needed so if you update the binaries (eg `git pull`) they get re-copied and re-installed
@kilograham kilograham merged commit 48ce1b5 into develop Jul 15, 2025
40 checks passed
@kilograham kilograham deleted the install-compiled branch July 15, 2025 21:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants