Make `cabal sdist` work for `crucible-cli{,-llvm}`

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

617 stars 42 forks source link

Make `cabal sdist` work for `crucible-cli{,-llvm}` #1210

Closed RyanGlScott closed 1 month ago

RyanGlScott commented 1 month ago

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

I wonder if there's a way we could catch such mistakes in CI?

The most direct way would be to run cabal sdist on each package, which should be relatively cheap to do. Let me see how difficult it would be to add that to the current CI setup...