Merge pull request #151 from phijor/fix-missing-sdist-files

Include Agda files needed for tests in sdist
isovector · May 17, 2024 · dff1c23 · dff1c23
2 parents 5fb7f1d + 4736aa2
commit dff1c23
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/cornelis.cabal b/cornelis.cabal
@@ -18,6 +18,9 @@ build-type:     Simple
 extra-source-files:
     README.md
     ChangeLog.md
+data-files:
+    test/Hello.agda
+    test/Readonly.agda
 
 source-repository head
   type: git

diff --git a/package.yaml b/package.yaml
@@ -130,3 +130,7 @@ tests:
     - filepath
     # build-dependencies:
     # - hspec-discover
+
+data-files:
+  # Include Agda files needed for tests
+  - test/*.agda