| 1 | From 3dc3c0856906d25bb697a4480a8457a69637cd51 Mon Sep 17 00:00:00 2001
|
| 2 | Message-Id: <3dc3c0856906d25bb697a4480a8457a69637cd51.1682798848.git.dev@jpoiret.xyz>
|
| 3 | From: Josselin Poiret <[email protected]>
|
| 4 | Date: Sat, 29 Apr 2023 22:06:55 +0200
|
| 5 | Subject: [PATCH] Makefile: use runhaskell instead of cabal
|
| 6 |
|
| 7 | From: Josselin Poiret <[email protected]>
|
| 8 |
|
| 9 | ---
|
| 10 | GNUmakefile | 2 +-
|
| 11 | 1 file changed, 1 insertion(+), 1 deletion(-)
|
| 12 |
|
| 13 | diff --git a/GNUmakefile b/GNUmakefile
|
| 14 | index c5d886e03..f3cb2a1e7 100644
|
| 15 | |
| 16 | |
| 17 | @@ -21,7 +21,7 @@ Everything.agda:
|
| 18 | # command `cabal install` is needed by cabal-install <= 2.4.*. I did
|
| 19 | # not found any problem running both commands with different versions
|
| 20 | # of cabal-install. See Issue #1001.
|
| 21 | - cabal run GenerateEverything
|
| 22 | + runhaskell GenerateEverything
|
| 23 |
|
| 24 | .PHONY: listings
|
| 25 | listings: Everything.agda
|
| 26 | --
|
| 27 | 2.39.2
|
| 28 |
|