From 4736aa2db062213e4adaa769f990a7cc3be0b38d Mon Sep 17 00:00:00 2001
From: Philipp Joram <mail@phijor.me>
Date: Thu, 16 May 2024 19:59:17 +0300
Subject: [PATCH] Include Agda files needed for tests in sdist

Fixes #150.
---
 cornelis.cabal | 3 +++
 package.yaml   | 4 ++++
 2 files changed, 7 insertions(+)

diff --git a/cornelis.cabal b/cornelis.cabal
index 0ad3612..69fcb41 100644
--- 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
index ee59a80..4567f97 100644
--- 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