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

Error: cabal: sdist of crucible-cli-0.1: invalid file glob, Cannot install crux-mir #1209

Closed
zhuyutian57 opened this issue Jun 7, 2024 · 1 comment · Fixed by #1210
Closed

Error: cabal: sdist of crucible-cli-0.1: invalid file glob, Cannot install crux-mir #1209

zhuyutian57 opened this issue Jun 7, 2024 · 1 comment · Fixed by #1210

Comments

@zhuyutian57
Copy link

I try to install crux-mir. But I get errors when trying to run the command:

$ cabal v2-install exe:crux-mir --overwrite-policy=always
Wrote tarball sdist to
/home/zhuyt/Repos/RUST/crucible/dist-newstyle/sdist/crucible-0.7.0.99.tar.gz
Error: cabal: sdist of crucible-cli-0.1: invalid file glob
'test-data/**/*.cbl'. Using the double-star syntax requires 'cabal-version:
2.4' or greater. Alternatively, for compatibility with earlier Cabal versions,
list the included directories explicitly.

However, cabal v2-build works well.

Then, I try to switch LLVM(from 12 to 16) and GHC, none of them help. Thanks for helping me to solve this problem.
RyanGlScott added a commit that referenced this issue Jun 7, 2024
@RyanGlScott
Make cabal sdist work for crucible-cli{,-llvm}
d013eda 
* Neither package's `.cabal` file contains a `README.md` file, so remove
  mention of this file name from the `extra-doc-files`.

* `crucible-cli.cabal` uses double-star syntax (`test-data/**/*.cbl`) in its
  `extra-source-files`, which requires a `cabal-version` or `2.4` or greater.
  Make sure that `crucible-cli.cabal` properly declares this version
  dependency.

Fixes #1209.
@RyanGlScott RyanGlScott mentioned this issue Jun 7, 2024
Merged
@RyanGlScott
Copy link
Contributor

Sorry about that. The issue has nothing to do with the LLVM or GHC version, but rather a slight misconfiguration in the .cabal files themselves. I've opened #1210 to address this.

RyanGlScott added a commit that referenced this issue Jun 7, 2024
@RyanGlScott
CI: Run cabal sdist as a sanity check
631061d 
It is possible to misconfigure a package's `.cabal` file in a way that is not
easily detectable unless you try to bundle the package into a source
distribution (e.g., through the `cabal sdist` or `cabal install` commands).
These sorts of misconfigurations have snuck into the `crucible`-related
packages in the past (see #1209 for one such example).

To prevent these sorts of issues from happening in the future, we now run
`cabal sdist` on each package in the CI as a sanity check.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Make cabal sdist work for crucible-cli{,-llvm} GaloisInc/crucible
2 participants
@RyanGlScott @zhuyutian57