Resolving dependencies... Warning: The following packages are likely to be broken by the reinstalls: process-1.6.17.0 haskeline-0.8.2.1 ghc-9.6.3 Cabal-3.10.1.0 hpc-0.6.2.0 ghc-boot-9.6.3 ghci-9.6.3 libiserv-9.6.3 Cabal-syntax-3.10.1.0 Continuing even though the plan contains dangerous reinstalls. Starting string-qq-0.0.6 Starting filepath-1.4.300.1 Building string-qq-0.0.6 Building filepath-1.4.300.1 Completed string-qq-0.0.6 Completed filepath-1.4.300.1 Starting unix-2.8.5.0 Building unix-2.8.5.0 Completed unix-2.8.5.0 Starting directory-1.3.8.1 Building directory-1.3.8.1 Completed directory-1.3.8.1 Starting process-1.6.18.0 Starting Cabal-syntax-3.8.1.0 Building Cabal-syntax-3.8.1.0 Building process-1.6.18.0 Completed process-1.6.18.0 Starting BNFC-2.9.5 Building BNFC-2.9.5 Completed BNFC-2.9.5 Completed Cabal-syntax-3.8.1.0 Starting Cabal-3.8.1.0 Building Cabal-3.8.1.0 Completed Cabal-3.8.1.0 Starting ogma-language-smv-1.3.0 Building ogma-language-smv-1.3.0 Failed to install ogma-language-smv-1.3.0 Build log ( /home/builder/.cabal/logs/ghc-9.6.3/ogma-language-smv-1.3.0-FRn6OgpkWJi3wYukMSQO5t.log ): cabal: Entering directory '/tmp/cabal-tmp-858045/ogma-language-smv-1.3.0' [1 of 2] Compiling Main ( /tmp/cabal-tmp-858045/ogma-language-smv-1.3.0/dist/setup/setup.hs, /tmp/cabal-tmp-858045/ogma-language-smv-1.3.0/dist/setup/Main.o ) [2 of 2] Linking /tmp/cabal-tmp-858045/ogma-language-smv-1.3.0/dist/setup/setup Configuring ogma-language-smv-1.3.0... /bin/sh: 1: bnfc: not found Preprocessing library for ogma-language-smv-1.3.0.. Error: setup: can't find source for Language/SMV/AbsSMV in src, dist/build/autogen, dist/build/global-autogen cabal: Leaving directory '/tmp/cabal-tmp-858045/ogma-language-smv-1.3.0' Error: cabal: Some packages failed to install: ogma-language-smv-1.3.0-FRn6OgpkWJi3wYukMSQO5t failed during the building phase. The exception was: ExitFailure 1