Skip to content

Commit

Permalink
Add test files of liquidhaskell-boot as extra-source-files
Browse files Browse the repository at this point in the history
  • Loading branch information
facundominguez committed Feb 5, 2024
1 parent b7d0407 commit 47f5fcd
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions liquidhaskell-boot/liquidhaskell-boot.cabal
Original file line number Diff line number Diff line change
@@ -15,6 +15,8 @@ homepage: https://github.com/ucsd-progsys/liquidhaskell
build-type: Simple
tested-with: GHC == 9.8.1

extra-source-files: tests/specfiles/pos/*.spec

source-repository head
type: git
location: https://github.com/ucsd-progsys/liquidhaskell/

0 comments on commit 47f5fcd

Please sign in to comment.