Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix build errors #34

Closed
wants to merge 14 commits into from
Closed

Fix build errors #34

wants to merge 14 commits into from

Conversation

nedmsmith
Copy link
Collaborator

Corim submodule fails to build flags-map example due to cddl command version differences. Moved failing example until a better fix can be found.

Invoking corim make from top level to pick up Gemfile environment
updated submodule
To avoid build errors where flags-map cddl requires an older version of cddl and more work is needed to get Gemfiles to work.
added Gemfile.lock to gitignore
Gemfile that corim uses to make flags-map examples.
added example diag file back
added .ruby-version  to gitignore
Copy link
Member

@thomas-fossati thomas-fossati left a comment

Choose a reason for hiding this comment

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

I "think" what you should do in this (submoduled) context is to modify your CI setup (.github/workflows/makefile.yml) to install cddl at a version prior to 0.10.5, i.e., something like:

gem --user-install install cddl -v 0.10.3
gem --user-install install cbor-diag

@thomas-fossati
Copy link
Member

I "think" what you should do in this (submoduled) context is to modify your CI setup (.github/workflows/makefile.yml) to install cddl at a version prior to 0.10.5, i.e., something like:

gem --user-install install cddl -v 0.10.3
gem --user-install install cbor-diag

Yep, that was it. See #35

@nedmsmith
Copy link
Collaborator Author

Given cddl v0.10.6 is available and can handle cddl2-isms, should this be changed to 0.10.6?

Added install of a particular version 0.10.6 of cddl to yaml workflow
Added v 0.10.6 as an acceptable cddl version
@nedmsmith nedmsmith mentioned this pull request Feb 21, 2024
Gemfile Outdated Show resolved Hide resolved
Copy link
Member

Choose a reason for hiding this comment

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

why do we need this? Isn't it already in CoRIM's test suite?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

It tests the evidence representation (which borrows from corim). I think, the corim didn't test exhaustively the flags.

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

However, this is a debugging file that shouldn't have been included in the PR. The file comid-flags.diag is the expected one.

nedmsmith and others added 3 commits February 21, 2024 09:29
Co-authored-by: Thomas Fossati <[email protected]>
remove temprary file
changed gitmodules to merge rather than rebase
@nedmsmith nedmsmith closed this Feb 21, 2024
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