From 85cf0c06af421e5fdfa6d22535b0d7b34547a879 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Mon, 18 Apr 2022 15:30:57 +0100
Subject: Fix build script.

---
 guix.scm | 1 +
 1 file changed, 1 insertion(+)

(limited to 'guix.scm')

diff --git a/guix.scm b/guix.scm
index 6e3e28c..b124961 100644
--- a/guix.scm
+++ b/guix.scm
@@ -18,6 +18,7 @@
                         #:select? (git-predicate %source-dir)))
     (build-system agda-build-system)
     (inputs (list agda-stdlib-1.7.1))
+    (arguments '(#:readme "Everything.agda"))
     (synopsis "Semantics of the Arm M-profile Vector Extension (MVE) in Agda")
     (description "")
     (license license:expat)))
-- 
cgit v1.2.3