diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-10-27 19:58:54 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-11-14 13:30:48 +0100 |
| commit | a52175730607e4319bce06ead92510743ec2604c (patch) | |
| tree | db8528b45fcf492a3f3fec56b9b8a959ab39a053 /gnu/packages/agda.scm | |
| parent | 5cb257424322912dd54d11748ee1457c57298a66 (diff) | |
| download | guix-a52175730607e4319bce06ead92510743ec2604c.tar guix-a52175730607e4319bce06ead92510743ec2604c.tar.gz | |
gnu: agda: Update to 2.6.4.
* gnu/packages/agda.scm (agda): Update to 2.6.4. Also build with
optimizations and cluster counting support.
* gnu/packages/patches/agda-use-sphinx-5.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
Change-Id: I98a66678ec401b9201d9fd3a0f606fff9767b4bc
Diffstat (limited to 'gnu/packages/agda.scm')
| -rw-r--r-- | gnu/packages/agda.scm | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 8258818722..8c82701596 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -44,7 +44,7 @@ (define-public agda (package (name "agda") - (version "2.6.3") + (version "2.6.4") (source (origin (method git-fetch) @@ -53,12 +53,14 @@ (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "1s7zd01i8pmvi90ywx497kc07z50nah7h0fc2dn6jzb132k5sh1q")) - (patches (search-patches "agda-libdirs-env-variable.patch")))) + (base32 "0n4avd58j45rdcmnwgrmz5s0ril0z4n2z711mwwbahl50f7359ky")) + (patches (search-patches "agda-libdirs-env-variable.patch" + "agda-use-sphinx-5.patch")))) (build-system haskell-build-system) (inputs (list ghc-aeson ghc-alex + ghc-ansi-terminal ghc-async ghc-blaze-html ghc-boxes @@ -73,9 +75,11 @@ ghc-monad-control ghc-murmur-hash ghc-parallel + ghc-peano ghc-regex-tdfa ghc-split ghc-strict + ghc-text-icu ghc-unordered-containers ghc-uri-encode ghc-vector-hashtables @@ -91,6 +95,7 @@ (guix build utils) (srfi srfi-26) (ice-9 match)) + #:configure-flags #~(list "-foptimise-heavily" "-fenable-cluster-counting") #:phases #~(modify-phases %standard-phases ;; This allows us to call the 'agda' binary before installing. |