From 47f5fcd6a2e904896698b7ed2b1e956045c02327 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= <facundo.dominguez@tweag.io>
Date: Mon, 5 Feb 2024 12:04:53 -0300
Subject: [PATCH] Add test files of liquidhaskell-boot as extra-source-files

---
 liquidhaskell-boot/liquidhaskell-boot.cabal | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/liquidhaskell-boot/liquidhaskell-boot.cabal b/liquidhaskell-boot/liquidhaskell-boot.cabal
index 3b0e7d95ed..88444e3f96 100644
--- 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/