diff options
Diffstat (limited to 'yellowsquid')
| -rw-r--r-- | yellowsquid/packages/agda.scm | 33 | ||||
| -rw-r--r-- | yellowsquid/packages/patches/agda-soas-agda-lib.patch | 13 |
2 files changed, 45 insertions, 1 deletions
diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index 5a2fefa..7929818 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -5,7 +5,8 @@ #:use-module (guix git-download) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages) - #:use-module (yellowsquid build-system agda)) + #:use-module (yellowsquid build-system agda) + #:use-module (yellowsquid packages)) (define-public agda-stdlib-1.7 (package @@ -176,3 +177,33 @@ backwards compatibility is not assured.") (synopsis "Standard library for Cubical Agda") (description "A standard library for Cubical Agda. ") (license license:expat))) + +(define-public agda-soas + (package + (name "agda-soas") + (version "1.0.0") + (home-page "https://github.com/DimaSamoz/agda-soas") + (source + (origin + (method git-fetch) + (uri (git-reference (url home-page) + (commit (string-append "v" version)))) + (patches + (search-patches "agda-soas-agda-lib.patch")) + (file-name (git-file-name name version)) + (sha256 + (base32 + "14nfh7qaw4q5n6fq0vzw1yhrw0psywzb7lngmdafhajfrhifbipx")))) + (inputs (list agda-stdlib-1.7 agda-categories)) + (build-system agda-build-system) + (arguments + '(#:readme "Everything.agda" + #:phases + (modify-phases %standard-phases + (add-before 'generate-libraries 'move-src + (lambda* (#:key outputs #:allow-other-keys) + (mkdir "src") + (rename-file "SOAS" "src/SOAS")))))) + (synopsis "Framework for working with second-order syntax") + (description "An Agda library for working with second-order syntax.") + (license license:expat))) diff --git a/yellowsquid/packages/patches/agda-soas-agda-lib.patch b/yellowsquid/packages/patches/agda-soas-agda-lib.patch new file mode 100644 index 0000000..2182e0a --- /dev/null +++ b/yellowsquid/packages/patches/agda-soas-agda-lib.patch @@ -0,0 +1,13 @@ +--- a/soas.agda-lib ++++ b/soas.agda-lib +@@ -1,5 +1,3 @@ + name: soas ++depend: standard-library agda-categories ++include: ./src +-include: . +- ./agda-categories/src +- ./agda-stdlib/src +- ./out +-- +2.38.1 + |