From b0577a43448b667304fdddeed8e080cb13876749 Mon Sep 17 00:00:00 2001 From: Danila Danko Date: Tue, 3 Oct 2023 23:20:57 +0300 Subject: [PATCH] fix: bnfc executable name --- rzk/package.yaml | 2 +- rzk/rzk.cabal | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/rzk/package.yaml b/rzk/package.yaml index a76e7f9f2..2f9dccdd4 100644 --- a/rzk/package.yaml +++ b/rzk/package.yaml @@ -35,7 +35,7 @@ custom-setup: build-tools: alex: ">= 3.2.4" happy: ">= 1.19.9" - BNFC: ">= 2.9.4.1" + BNFC:bnfc: ">= 2.9.4.1" dependencies: array: ">= 0.5.3.0" diff --git a/rzk/rzk.cabal b/rzk/rzk.cabal index 7a39c812c..b11b1ce2d 100644 --- a/rzk/rzk.cabal +++ b/rzk/rzk.cabal @@ -61,7 +61,7 @@ library alex >=3.2.4 , happy >=1.19.9 build-tool-depends: - BNFC:BNFC >=2.9.4.1 + BNFC:bnfc >=2.9.4.1 build-depends: Glob >=0.9.3 , array >=0.5.3.0 @@ -104,7 +104,7 @@ executable rzk alex >=3.2.4 , happy >=1.19.9 build-tool-depends: - BNFC:BNFC >=2.9.4.1 + BNFC:bnfc >=2.9.4.1 build-depends: Glob >=0.9.3 , array >=0.5.3.0 @@ -133,7 +133,7 @@ test-suite doctests alex >=3.2.4 , happy >=1.19.9 build-tool-depends: - BNFC:BNFC >=2.9.4.1 + BNFC:bnfc >=2.9.4.1 build-depends: Glob , QuickCheck @@ -162,7 +162,7 @@ test-suite rzk-test alex >=3.2.4 , happy >=1.19.9 build-tool-depends: - BNFC:BNFC >=2.9.4.1 + BNFC:bnfc >=2.9.4.1 build-depends: Glob >=0.9.3 , array >=0.5.3.0