search

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs
617 stars 42 forks source link

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

Closed zhuyutian57 closed 1 month ago

zhuyutian57 commented 1 month ago

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 commented 1 month ago

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.