diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-06-08 15:33:29 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-06-08 15:33:29 +0200 |
| commit | 909788c0aebd8098084c009afa98d1209c9ec869 (patch) | |
| tree | ffe6735a2db3b0ac595b90a52825fe82eca9b803 /gnu/packages/patches/agda-stdlib-use-runhaskell.patch | |
| parent | 16a5ce3bb7fbd14fb17a6ba6a62fb079d2379fcc (diff) | |
| parent | 872b2487451c39020a78ed3227992fb02a7ed5e5 (diff) | |
Merge branch 'master' into gnome-team
Diffstat (limited to 'gnu/packages/patches/agda-stdlib-use-runhaskell.patch')
| -rw-r--r-- | gnu/packages/patches/agda-stdlib-use-runhaskell.patch | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gnu/packages/patches/agda-stdlib-use-runhaskell.patch b/gnu/packages/patches/agda-stdlib-use-runhaskell.patch new file mode 100644 index 0000000000..21ce16689f --- /dev/null +++ b/gnu/packages/patches/agda-stdlib-use-runhaskell.patch @@ -0,0 +1,28 @@ +From 3dc3c0856906d25bb697a4480a8457a69637cd51 Mon Sep 17 00:00:00 2001 +Message-Id: <3dc3c0856906d25bb697a4480a8457a69637cd51.1682798848.git.dev@jpoiret.xyz> +From: Josselin Poiret <dev@jpoiret.xyz> +Date: Sat, 29 Apr 2023 22:06:55 +0200 +Subject: [PATCH] Makefile: use runhaskell instead of cabal + +From: Josselin Poiret <dev@jpoiret.xyz> + +--- + GNUmakefile | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/GNUmakefile b/GNUmakefile +index c5d886e03..f3cb2a1e7 100644 +--- a/GNUmakefile ++++ b/GNUmakefile +@@ -21,7 +21,7 @@ Everything.agda: + # command `cabal install` is needed by cabal-install <= 2.4.*. I did + # not found any problem running both commands with different versions + # of cabal-install. See Issue #1001. +- cabal run GenerateEverything ++ runhaskell GenerateEverything + + .PHONY: listings + listings: Everything.agda +-- +2.39.2 + |