From 58e38109c5f06d7f491a5a8618de589d79ccf3ac Mon Sep 17 00:00:00 2001 From: Yaakov Selkowitz Date: Mon, 20 Apr 2026 01:49:39 -0400 Subject: [PATCH] Add more ghc pandoc build dependencies --- configs/eln_extras_ghc.yaml | 6 ++++++ configs/eln_extras_petersen.yaml | 8 ++++++++ 2 files changed, 14 insertions(+) diff --git a/configs/eln_extras_ghc.yaml b/configs/eln_extras_ghc.yaml index 333efb48..ac8e50f9 100644 --- a/configs/eln_extras_ghc.yaml +++ b/configs/eln_extras_ghc.yaml @@ -23,5 +23,11 @@ data: - ormolu - shake - stack + # build dependencies + - ghc-cabal-install-devel + - ghc-cpphs-devel + - ghc-hasktags-devel + - ghc-hlint-devel + - ghc-stack-devel labels: - eln-extras diff --git a/configs/eln_extras_petersen.yaml b/configs/eln_extras_petersen.yaml index 15c32c67..5f5d9043 100644 --- a/configs/eln_extras_petersen.yaml +++ b/configs/eln_extras_petersen.yaml @@ -21,6 +21,14 @@ data: - patat - tart # build dependencies + - ghc-Agda-devel + - ghc-ShellCheck-devel + - ghc-darcs-devel + - ghc-dhall-devel + - ghc-dhall-json-devel + - ghc-idris-devel + - ghc-patat-devel + - ghc-tart-devel - ghc-pandoc-devel - ghc-pandoc-server-devel labels: