From 3d73d59617281c6ae9c19032eae381ff77fd2e65 Mon Sep 17 00:00:00 2001 Message-Id: <3d73d59617281c6ae9c19032eae381ff77fd2e65.1682841188.git.dev@jpoiret.xyz> From: Josselin Poiret Date: Sun, 30 Apr 2023 09:51:12 +0200 Subject: [PATCH] Remove stdlib-incompatible flags From: Josselin Poiret --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 68846579..ba5923a2 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ .PHONY: test Everything.agda clean -OTHEROPTS = --auto-inline -Werror +OTHEROPTS = RTSARGS = +RTS -M6G -A128M -RTS ${OTHEROPTS} base-commit: 20397e93a60ed1439ed57ee76ae377c66a5eb8d9 prerequisite-patch-id: da10df58fa86d08b31174a01db7b9a02377aba55 prerequisite-patch-id: 508dabd923ba9ac1ee4d8dab6697432b4bd8ba18 -- 2.39.2 > Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages.scm
AgeCommit message (Expand)Author
2023-01-25packages: Adjust 'generate-package-cache' for Guile 3.0.9....* gnu/packages.scm (generate-package-cache): Adjust for Guile 3.0.9. Ludovic Courtès
2022-06-06packages: Use SRFI-71 instead of SRFI-11....* gnu/packages.scm (%package-module-path): Use 'let*' instead of 'let*-values'. (specification->package, specification->location) (specification->package+output): Use 'let' instead of 'let-values'. Ludovic Courtès
2022-06-06packages: Add 'specifications->packages'....* gnu/packages.scm (specifications->packages): New procedure. * guix/scripts/home/import.scm (manifest+configuration-files->code): Use it. * tests/home-import.scm (match-home-environment-no-services) (match-home-environment-no-services-nor-packages) (match-home-environment-bash-service) (match-home-environment-bash-service-with-alias): Adjust 'packages' field accordingly. Co-authored-by: Ludovic Courtès <ludo@gnu.org> Antero Mejr
2022-04-04packages: Add 'package-unique-version-prefix'....* gnu/packages.scm (package-unique-version-prefix): New procedure. * guix/scripts/package.scm (manifest-entry-version-prefix): Use it. * tests/packages.scm ("package-unique-version-prefix, gcc@8") ("package-unique-version-prefix, grep"): New tests. Ludovic Courtès
2022-01-11shell: Cache profiles even when using package specs....This enables profile caching not just when '-m' or '-f' is used, but also when package specs are passed on the command line, as in: guix shell -D guix git It also changes profile cache keys to include the system type, which was previously ignored. * guix/scripts/shell.scm (options-with-caching)[single-file-for-caching]: Remove. Call 'profile-cached-gc-root' instead; adjust to accept two values. (profile-cache-primary-key): New procedure. (profile-cache-key): Remove. (profile-file-cache-key, profile-spec-cache-key): New procedures. (profile-cached-gc-root): Rewrite to include functionality formally in 'single-file-for-caching', but extend to handle package specs. * gnu/packages.scm (cache-is-authoritative?): Export. * guix/transformations.scm (transformation-option-key?): New procedure. * doc/guix.texi (Invoking guix shell): Move '--rebuild-cache' documentation to the bottom, just above '--root'. Explain caching and how these two options relate to that. Ludovic Courtès