Skip to content

Fix install of regorus_ffi C++ bindings - #449

Merged
anakrish merged 1 commit into
microsoft:mainfrom
milianw:fix-regorus_ffi_targetsCorrosion-install
Aug 4, 2025
Merged

Fix install of regorus_ffi C++ bindings#449
anakrish merged 1 commit into
microsoft:mainfrom
milianw:fix-regorus_ffi_targetsCorrosion-install

Conversation

@milianw

@milianw milianw commented Aug 4, 2025

Copy link
Copy Markdown
Contributor

When using a clean build dir the install failed as it referenced a non-existing regorus_ffiCorrosion.cmake file. I believe I used the shorter regorus_ffi as my EXPORT in the corrosion_install at some point and then later didn't notice that I referenced a stale generated file when I initially handed in this PR. We must make sure that the same identifier is used here too. See also the documentation from corrosion_install:

  • EXPORT: Creates an export that can be installed with install(EXPORT). must be globally unique.
    Also creates a file at ${CMAKE_BINARY_DIR}/corrosion/Corrosion.cmake that must be included in the installed config file.

When using a clean build dir the install failed as it referenced
a non-existing `regorus_ffiCorrosion.cmake` file. I believe I used
the shorter `regorus_ffi` as my `EXPORT` in the `corrosion_install`
at some point and then later didn't notice that I referenced a stale
generated file when I initially handed in this PR. We must make sure
that the same identifier is used here too. See also the documentation
from `corrosion_install`:

> * **EXPORT**: Creates an export that can be installed with `install(EXPORT)`. <export-name> must be globally unique.
>             Also creates a file at ${CMAKE_BINARY_DIR}/corrosion/<export-name>Corrosion.cmake that must be included in the installed config file.

@anakrish anakrish left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@milianw

milianw commented Aug 4, 2025

Copy link
Copy Markdown
Contributor Author

Thanks! I cannot push "merge", will you please do that for me?

@anakrish
anakrish merged commit 3b802c1 into microsoft:main Aug 4, 2025
33 checks passed
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.

2 participants