Merge pull request #2268 from ucsd-progsys/fd/test-files-lh-boot

Add test files of liquidhaskell-boot as extra-source-files
ucsd-progsys · Feb 5, 2024 · 4b20537 · 4b20537
2 parents b7d0407 + 47f5fcd
commit 4b20537
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/liquidhaskell-boot/liquidhaskell-boot.cabal b/liquidhaskell-boot/liquidhaskell-boot.cabal
@@ -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/