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.

Sign up for GitHub

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

Jump to bottom

crux-mir-comp.cabal refers to non-existent README.md #1616

Open
brianhuffman opened this issue Mar 16, 2022 · 1 comment
Open

crux-mir-comp.cabal refers to non-existent README.md #1616

brianhuffman opened this issue Mar 16, 2022 · 1 comment
Labels
subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp tooling: build system Issues involving SAW's build system type: bug Issues reporting bugs or unexpected/unwanted behavior
Milestone
2024T3

Comments

@brianhuffman
Copy link
Contributor

Compiling crux-mir-comp, I see this warning message:

Warning: File listed in crux-mir-comp/crux-mir-comp.cabal file does not exist: README.md

The reference is from an extra-source-files declaration in the cabal file:

saw-script/crux-mir-comp/crux-mir-comp.cabal

Line 18 in 87ab2f3

extra-source-files: README.md

@brianhuffman
Copy link
Contributor Author

The same cabal file also refers to a non-existent LICENSE file:

saw-script/crux-mir-comp/crux-mir-comp.cabal

Line 7 in 87ab2f3

license-file: LICENSE

@RyanGlScott RyanGlScott added the subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json label Mar 13, 2023
RyanGlScott added a commit that referenced this issue Mar 14, 2023
@RyanGlScott
Split out crucible-mir-comp from crux-mir-comp
e27c5cb 
For the most part, most code was moved wholesale from `crux-mir-comp` with only
minor changes. This fixes #1839.

This also adds basic `README` and `LICENSE` files for `crucible-mir-comp` and
`crux-mir-comp`, thereby fixing #1616.
@RyanGlScott RyanGlScott mentioned this issue Mar 14, 2023
Merged
RyanGlScott added a commit that referenced this issue Mar 14, 2023
@RyanGlScott
Split out crucible-mir-comp from crux-mir-comp
b2c4bb1 
For the most part, most code was moved wholesale from `crux-mir-comp` with only
minor changes. This fixes #1839.

This also adds basic `README` and `LICENSE` files for `crucible-mir-comp` and
`crux-mir-comp`, thereby fixing #1616.
@RyanGlScott RyanGlScott added the subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp label Jul 6, 2023
@sauclovian-g sauclovian-g added type: bug Issues reporting bugs or unexpected/unwanted behavior tooling: build system Issues involving SAW's build system labels Nov 2, 2024
@sauclovian-g sauclovian-g added this to the 2024T3 milestone Nov 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp tooling: build system Issues involving SAW's build system type: bug Issues reporting bugs or unexpected/unwanted behavior
Projects
None yet
Milestone
2024T3
Development

No branches or pull requests
3 participants
@brianhuffman @RyanGlScott @sauclovian-g