summary refs log tree commit diff
path: root/gnu
diff options
context:
space:
mode:
authorJosselin Poiret <dev@jpoiret.xyz>2023-04-30 12:12:00 +0200
committerJosselin Poiret <dev@jpoiret.xyz>2023-06-04 10:59:36 +0200
commitcf2c3f797003a67c9a8d3c1400a480c617f89eda (patch)
tree6b370619e040ae9be5982b2e7514aa88c0df7f33 /gnu
parent8203e8f3c9cf0462abb9f03e42e578fe28599c36 (diff)
downloadguix-cf2c3f797003a67c9a8d3c1400a480c617f89eda.tar.gz
gnu: Add agda-cubical.
* gnu/packages/agda.scm: New variable agda-cubical.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/agda.scm33
1 files changed, 33 insertions, 0 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 16573e6d57..240a51de1a 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -262,3 +262,36 @@ try agda-prelude instead.")
     (description "A new Categories library for Agda")
     (home-page "https://github.com/agda/agda-categories")
     (license license:expat)))
+
+(define-public agda-cubical
+  ;; Upstream's HEAD follows the latest Agda release, but they don't release
+  ;; until a newer Agda release comes up, so their releases are always one
+  ;; version late.
+  (let* ((revision "1")
+         (commit "814d54b08b360b8e80828065f54b80e3a98a0092"))
+    (package
+      (name "agda-cubical")
+      (version (git-version "0.4" revision commit))
+      (source (origin
+                (method git-fetch)
+                (uri (git-reference
+                      (url "https://github.com/agda/cubical.git")
+                      (commit commit)))
+                (file-name (git-file-name name version))
+                (sha256
+                 (base32
+                  "0d25gb1qzpx539k62qjsjq4xmzp34qk7n3hmd9y6v8slhrrxw312"))))
+      (build-system agda-build-system)
+      (arguments
+       (list
+        #:gnu-and-haskell? #t
+        #:phases
+        #~(modify-phases %standard-phases
+            (replace 'build
+              (lambda _
+                (invoke "make"))))))
+      (synopsis "Standard library for Cubical Agda")
+      (description "A standard library for Cubical Agda, comparable to
+agda-stdlib but using cubical methods.")
+      (home-page "https://github.com/agda/cubical")
+      (license license:expat))))