search

GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

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

Open brianhuffman opened 2 years ago

brianhuffman commented 2 years ago

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: https://github.com/GaloisInc/saw-script/blob/87ab2f3e6b947e1a139a98a49286c67b915204ca/crux-mir-comp/crux-mir-comp.cabal#L18

brianhuffman commented 2 years ago

The same cabal file also refers to a non-existent LICENSE file: https://github.com/GaloisInc/saw-script/blob/87ab2f3e6b947e1a139a98a49286c67b915204ca/crux-mir-comp/crux-mir-comp.cabal#L7