From 4beda024000a0d0fd5437a07be8e0fb2723d6b1f Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Fri, 7 Jan 2022 10:03:35 +0000
Subject: Introduce various housekeeping changes

* Change how the package should be built.
* Update the .gitignore to a more specific filter.
---
 .gitignore |  2 +-
 guix.scm   | 32 ++++----------------------------
 2 files changed, 5 insertions(+), 29 deletions(-)

diff --git a/.gitignore b/.gitignore
index 171a389..e35d885 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-*.agdai
+_build
diff --git a/guix.scm b/guix.scm
index c4c6565..6e3e28c 100644
--- a/guix.scm
+++ b/guix.scm
@@ -4,11 +4,10 @@
              (guix git-download)
              ((guix licenses) #:prefix license:)
              (guix packages)
-             (yellowsquid packages agda))
+             (yellowsquid packages agda)
+             (yellowsquid build-system agda))
 (define %source-dir (dirname (current-filename)))
 
-
-
 (define-public agda-helium
   (package
     (name "agda-helium")
@@ -17,31 +16,8 @@
     (source (local-file %source-dir
                         #:recursive? #t
                         #:select? (git-predicate %source-dir)))
-    (build-system copy-build-system)
-    (inputs (list agda-stdlib))
-    (native-inputs (list agda))
-    (arguments
-     `(#:install-plan
-       '(("src" "/share/agda/lib/helium/" #:include-regexp ("\\.agdai?")))
-       #:phases
-       (modify-phases %standard-phases
-         (add-before 'install 'build
-           (lambda* (#:key inputs #:allow-other-keys)
-             (call-with-output-file "libraries"
-               (lambda (port)
-                 (format port
-                         "~a\n"
-                         (string-append
-                          (search-input-file
-                           inputs
-                           "/share/agda/lib/standard-library.agda-lib"))
-                          port)
-                 (display "./agda-helium.agda-lib\n" port)))
-             (invoke "agda"
-                     "--library-file=libraries"
-                     "--library=agda-helium"
-                     "-i."
-                     "Everything.agda"))))))
+    (build-system agda-build-system)
+    (inputs (list agda-stdlib-1.7.1))
     (synopsis "Semantics of the Arm M-profile Vector Extension (MVE) in Agda")
     (description "")
     (license license:expat)))
-- 
cgit v1.2.3