From 3dc3c0856906d25bb697a4480a8457a69637cd51 Mon Sep 17 00:00:00 2001 Message-Id: <3dc3c0856906d25bb697a4480a8457a69637cd51.1682798848.git.dev@jpoiret.xyz> From: Josselin Poiret Date: Sat, 29 Apr 2023 22:06:55 +0200 Subject: [PATCH] Makefile: use runhaskell instead of cabal From: Josselin Poiret --- 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 o-scripts'>koszko-scripts Wojtek's customized Guix
aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2023-04-22gnu: prusa-slicer: Update to 2.5.2....* gnu/packages/patches/prusa-slicer-boost-fixes.patch: New file. * gnu/packages/patches/prusa-slicer-fix-tests.patch: New file. * gnu/packages/patches/prusa-slicer-with-cereal-1.3.1.patch: New file. * gnu/local.mk (dist_patch_DATA): Register them. * gnu/packages/engineering.scm (prusa-slicer): Update to 2.5.2. [source]: Use patches. [inputs]: Replace cereal-1.3.0 by cereal. Guillaume Le Vaillant