From: Josselin Poiret via Guix-patches via <guix-patches@gnu.org>
To: Josselin Poiret <dev@jpoiret.xyz>,
Simon Tournier <zimon.toutoune@gmail.com>,
61915@debbugs.gnu.org
Subject: [bug#61915] [PATCH v2 00/13] Update agda, add build-system and libraries.
Date: Sun, 30 Apr 2023 12:53:10 +0200 [thread overview]
Message-ID: <cover.1682851600.git.dev@jpoiret.xyz> (raw)
In-Reply-To: <87pm9pref8.fsf@jpoiret.xyz>
Hi everyone,
Took me quite some time to get back to this, but since I need this for work
and I've been using my patches on top of master to get 2.6.3 for a while now I
figured I needed to properly finish this.
This series does a couple of things:
* Update Agda to 2.6.3, and build its manual in the info format. Note that
ghc-peano is not yet needed for 2.6.3 but anyone working on HEAD would need
it.
* Add a search-path to Agda (AGDA_LIBDIRS) that lets agda search for libraries
in these directories. This lets Guix manage Agda libraries.
* Add an agda-build-system. It should be quite simple to use for simple
libraries but also supports using Haskell to generate Everything.agda or
similar setups, like in agda-stdlib.
* Add common libraries: agda-stdlib, cubical, agda-categories, 1lab. Most of
them are off recent commits, because they don't really have a proper release
schedule right now (99% of the users just use git checkouts on HEAD).
With these, we can just do `guix shell agda agda-categories` and directly use
agda-categories, without any setup like modifying `~/.agda/libraries`.
Best,
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.
Makefile.am | 2 +
doc/guix.texi | 21 ++
gnu/local.mk | 5 +
gnu/packages/agda.scm | 192 ++++++++++++++++--
gnu/packages/haskell-xyz.scm | 41 ++++
.../agda-categories-bump-stdlib-version.patch | 42 ++++
...categories-remove-incompatible-flags.patch | 31 +++
.../patches/agda-categories-use-find.patch | 31 +++
.../patches/agda-libdirs-env-variable.patch | 49 +++++
.../patches/agda-stdlib-use-runhaskell.patch | 28 +++
guix/build-system/agda.scm | 105 ++++++++++
guix/build-system/haskell.scm | 1 +
guix/build/agda-build-system.scm | 110 ++++++++++
13 files changed, 645 insertions(+), 13 deletions(-)
create mode 100644 gnu/packages/patches/agda-categories-bump-stdlib-version.patch
create mode 100644 gnu/packages/patches/agda-categories-remove-incompatible-flags.patch
create mode 100644 gnu/packages/patches/agda-categories-use-find.patch
create mode 100644 gnu/packages/patches/agda-libdirs-env-variable.patch
create mode 100644 gnu/packages/patches/agda-stdlib-use-runhaskell.patch
create mode 100644 guix/build-system/agda.scm
create mode 100644 guix/build/agda-build-system.scm
base-commit: 4884ee6dd4b1694a4a502dd8058d6c61fa0c0199
--
2.39.2
next prev parent reply other threads:[~2023-04-30 10:54 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-03-02 14:10 [bug#61915] [PATCH 0/4] Update Agda to 2.6.3 Josselin Poiret via Guix-patches via
2023-03-02 14:13 ` [bug#61915] [PATCH 1/4] gnu: Add ghc-peano Josselin Poiret via Guix-patches via
2023-03-02 14:13 ` [bug#61915] [PATCH 2/4] gnu: Add ghc-vector-hashtables Josselin Poiret via Guix-patches via
2023-03-02 14:13 ` [bug#61915] [PATCH 3/4] gnu: agda: Update to 2.6.3 and switch to git-fetch Josselin Poiret via Guix-patches via
2023-03-02 14:13 ` [bug#61915] [PATCH 4/4] gnu: agda: Build info manual Josselin Poiret via Guix-patches via
2023-03-03 1:30 ` [bug#61915] [PATCH 0/4] Update Agda to 2.6.3 Simon Tournier
2023-03-03 16:24 ` Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` Josselin Poiret via Guix-patches via [this message]
2023-04-30 10:53 ` [bug#61915] [PATCH v2 01/13] gnu: Add ghc-peano Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` [bug#61915] [PATCH v2 02/13] gnu: Add ghc-vector-hashtables Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` [bug#61915] [PATCH v2 03/13] gnu: agda: Update to 2.6.3 and switch to git-fetch Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` [bug#61915] [PATCH v2 04/13] gnu: agda: Build info manual Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` [bug#61915] [PATCH v2 05/13] gnu: emacs-agda2-mode: No longer inherit from agda Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` [bug#61915] [PATCH v2 06/13] gnu: emacs-agda2-mode: Switch to G-Exps Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` [bug#61915] [PATCH v2 07/13] gnu: agda: Add AGDA_LIBDIRS search-path Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` [bug#61915] [PATCH v2 08/13] build-system/haskell: Export default-haskell Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` [bug#61915] [PATCH v2 09/13] build-system: New agda-build-system Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` [bug#61915] [PATCH v2 10/13] gnu: Add agda-stdlib Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` [bug#61915] [PATCH v2 11/13] gnu: Add agda-categories Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` [bug#61915] [PATCH v2 12/13] gnu: Add agda-cubical Josselin Poiret via Guix-patches via
2023-04-30 10:53 ` [bug#61915] [PATCH v2 13/13] gnu: Add agda-1lab Josselin Poiret via Guix-patches via
2023-06-04 9:47 ` bug#61915: [PATCH v2 00/13] Update agda, add build-system and libraries Josselin Poiret via Guix-patches via
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=cover.1682851600.git.dev@jpoiret.xyz \
--to=guix-patches@gnu.org \
--cc=61915@debbugs.gnu.org \
--cc=dev@jpoiret.xyz \
--cc=zimon.toutoune@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.