--- Begin Message ---
|
Subject: |
[[PATCH] 0/4] Agda Update and Standard Library |
|
Date: |
Mon, 27 Feb 2023 13:10:55 -0500 |
Hello all,
This patch series adds the option to install agda v2.6.3, and the current
version of the standard library alongside it.
Salient Points:
* Agda v2.6.3 requires ghc-vector-hashtables to build.
* As v2.6.2.2 is an LTS on Stackage, v2.6.3 is implemented as a variant.
* Because of this, a variant of emacs-agda2-mode was created with the same
version number.
* agda-stdlib needs to be precompiled in order to be usable due to limitations
in the Agda tooling ecosystem (no way to specify a different default build
directory aside from either _build or alongside the source, both of which
are read-only. However, they are also not going to change post-install, so
while the compilation takes a while it is merely a prerequisite to using the
library, and not a blocker). I conferred with someone on #agda, and it seems
this is how Nix does it, mostly (they opt for the --local-interfaces option,
which makes all interfaces live next to their source files, instead of in a
dedicated, versioned _build directory, which is the default and what this
patch does).
Christopher Rodriguez (4):
gnu/packages/haskell-xyz.scm: Add ghc-vector-hashtables.
gnu/packages/agda.scm: Add agda v2.6.3.
gnu/packages/agda.scm: Add emacs-agda2-mode v2.6.3.
gnu/packages/agda.scm: Add agda-stdlib v1.7.2.
gnu/packages/agda.scm | 70 ++++++++++++++++++++++++++++++++++++
gnu/packages/haskell-xyz.scm | 23 ++++++++++++
2 files changed, 93 insertions(+)
--
2.39.1
--- End Message ---
--- Begin Message ---
|
Subject: |
Re: [PATCH v2 00/13] Update agda, add build-system and libraries. |
|
Date: |
Sun, 04 Jun 2023 11:47:37 +0200 |
Hi everyone,
Josselin Poiret <dev@jpoiret.xyz> writes:
> Josselin Poiret (13):
> gnu: Add ghc-peano.
> gnu: Add ghc-vector-hashtables.
> gnu: agda: Update to 2.6.3 and switch to git-fetch.
> gnu: agda: Build info manual.
> gnu: emacs-agda2-mode: No longer inherit from agda.
> gnu: emacs-agda2-mode: Switch to G-Exps.
> gnu: agda: Add AGDA_LIBDIRS search-path.
> build-system/haskell: Export default-haskell.
> build-system: New agda-build-system.
> gnu: Add agda-stdlib.
> gnu: Add agda-categories.
> gnu: Add agda-cubical.
> gnu: Add agda-1lab.
Pushed as e198fe4e942c58136dd4cb8ebf49cade58a8f5e3 with some additions,
notably refactoring some descriptions that the linter didn't like, and
updating agda-categories to the new released version, agda-cubical and
agda-ial to a new commit.
Best,
--
Josselin Poiret
signature.asc
Description: PGP signature
--- End Message ---