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

isovector · web-flow · commit dff1c238225c · 2024-05-17T00:24:42.000-07:00
Include Agda files needed for tests in sdist
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
