Resolving dependencies... Starting IfElse-0.85 Starting OneTuple-0.4.1.1 Starting StateVar-1.2.2 Starting base-orphans-0.9.0 Starting data-array-byte-0.1.0.1 Starting colour-2.3.6 Starting generically-0.1.1 Starting dlist-1.0 Starting indexed-traversable-0.1.2.1 Starting integer-logarithms-1.0.3.1 Starting ogma-language-copilot-1.0.8 Starting string-qq-0.0.4 Starting splitmix-0.1.0.4 Starting tagged-0.8.7 Starting vector-stream-0.1.0.0 Starting transformers-compat-0.7.2 Starting ogma-extra-1.0.8 Starting th-abstraction-0.5.0.0 Starting base-compat-0.13.0 Building dlist-1.0 Building OneTuple-0.4.1.1 Building base-orphans-0.9.0 Building ogma-language-copilot-1.0.8 Building colour-2.3.6 Building StateVar-1.2.2 Building vector-stream-0.1.0.0 Building data-array-byte-0.1.0.1 Building IfElse-0.85 Building generically-0.1.1 Building ogma-extra-1.0.8 Building tagged-0.8.7 Building integer-logarithms-1.0.3.1 Building indexed-traversable-0.1.2.1 Building splitmix-0.1.0.4 Building transformers-compat-0.7.2 Building th-abstraction-0.5.0.0 Building string-qq-0.0.4 Building base-compat-0.13.0 Completed ogma-language-copilot-1.0.8 Completed IfElse-0.85 Completed string-qq-0.0.4 Starting BNFC-2.9.4.1 Completed StateVar-1.2.2 Starting contravariant-1.5.5 Completed generically-0.1.1 Building BNFC-2.9.4.1 Completed base-orphans-0.9.0 Completed integer-logarithms-1.0.3.1 Building contravariant-1.5.5 Completed OneTuple-0.4.1.1 Completed data-array-byte-0.1.0.1 Starting primitive-0.8.0.0 Starting hashable-1.4.2.0 Completed splitmix-0.1.0.4 Starting random-1.2.1.1 Building hashable-1.4.2.0 Building primitive-0.8.0.0 Building random-1.2.1.1 Completed dlist-1.0 Completed indexed-traversable-0.1.2.1 Completed tagged-0.8.7 Starting foldable1-classes-compat-0.1 Starting assoc-1.1 Starting distributive-0.6.2.1 Completed transformers-compat-0.7.2 Completed vector-stream-0.1.0.0 Building distributive-0.6.2.1 Completed ogma-extra-1.0.8 Building assoc-1.1 Building foldable1-classes-compat-0.1 Completed colour-2.3.6 Starting ansi-terminal-types-0.11.5 Building ansi-terminal-types-0.11.5 Completed th-abstraction-0.5.0.0 Completed contravariant-1.5.5 Completed assoc-1.1 Completed base-compat-0.13.0 Completed distributive-0.6.2.1 Starting comonad-5.0.8 Building comonad-5.0.8 Completed ansi-terminal-types-0.11.5 Starting ansi-terminal-0.11.5 Building ansi-terminal-0.11.5 Completed foldable1-classes-compat-0.1 Starting base-compat-batteries-0.13.0 Completed hashable-1.4.2.0 Starting these-1.2 Starting text-short-0.1.5 Starting data-fix-0.3.2 Starting time-compat-1.9.6.1 Starting unordered-containers-0.2.19.1 Building base-compat-batteries-0.13.0 Building text-short-0.1.5 Building these-1.2 Building data-fix-0.3.2 Building unordered-containers-0.2.19.1 Building time-compat-1.9.6.1 Completed ansi-terminal-0.11.5 Starting ansi-wl-pprint-0.6.9 Building ansi-wl-pprint-0.6.9 Completed random-1.2.1.1 Starting uuid-types-1.0.5 Starting QuickCheck-2.14.2 Building uuid-types-1.0.5 Building QuickCheck-2.14.2 Completed comonad-5.0.8 Starting bifunctors-5.6.1 Building bifunctors-5.6.1 Completed data-fix-0.3.2 Completed text-short-0.1.5 Completed primitive-0.8.0.0 Starting scientific-0.3.7.0 Starting vector-0.13.0.0 Completed time-compat-1.9.6.1 Building scientific-0.3.7.0 Building vector-0.13.0.0 Completed these-1.2 Starting strict-0.5 Building strict-0.5 Completed ansi-wl-pprint-0.6.9 Starting optparse-applicative-0.17.0.0 Building optparse-applicative-0.17.0.0 Completed base-compat-batteries-0.13.0 Completed uuid-types-1.0.5 Completed unordered-containers-0.2.19.1 Completed scientific-0.3.7.0 Starting attoparsec-0.14.4 Building attoparsec-0.14.4 Completed strict-0.5 Completed optparse-applicative-0.17.0.0 Completed bifunctors-5.6.1 Starting semigroupoids-6.0.0.1 Building semigroupoids-6.0.0.1 Completed QuickCheck-2.14.2 Completed BNFC-2.9.4.1 Starting ogma-language-cocospec-1.0.8 Starting ogma-language-c-1.0.8 Starting ogma-language-smv-1.0.8 Completed attoparsec-0.14.4 Building ogma-language-cocospec-1.0.8 Building ogma-language-smv-1.0.8 Building ogma-language-c-1.0.8 Failed to install ogma-language-cocospec-1.0.8 Build log ( /home/builder/.cabal/logs/ghc-9.2.4/ogma-language-cocospec-1.0.8-C0Y5MtisIxa4bwqPCQjIDf.log ): Failed to install ogma-language-smv-1.0.8 cabal: Entering directory '/tmp/cabal-tmp-2608827/ogma-language-cocospec-1.0.8' [1 of 1] Compiling Main ( /tmp/cabal-tmp-2608827/ogma-language-cocospec-1.0.8/dist/setup/setup.hs, /tmp/cabal-tmp-2608827/ogma-language-cocospec-1.0.8/dist/setup/Main.o ) Build log ( /home/builder/.cabal/logs/ghc-9.2.4/ogma-language-smv-1.0.8-Tgr0d6Q35jFpdxcHtCxLr.log ): Linking /tmp/cabal-tmp-2608827/ogma-language-cocospec-1.0.8/dist/setup/setup ... Configuring ogma-language-cocospec-1.0.8... /bin/sh: 1: bnfc: not found cabal: Entering directory '/tmp/cabal-tmp-2608824/ogma-language-smv-1.0.8' Preprocessing library for ogma-language-cocospec-1.0.8.. [1 of 1] Compiling Main ( /tmp/cabal-tmp-2608824/ogma-language-smv-1.0.8/dist/setup/setup.hs, /tmp/cabal-tmp-2608824/ogma-language-smv-1.0.8/dist/setup/Main.o ) setup: can't find source for Language/CoCoSpec/AbsCoCoSpec in src, Linking /tmp/cabal-tmp-2608824/ogma-language-smv-1.0.8/dist/setup/setup ... dist/build/autogen, dist/build/global-autogen Configuring ogma-language-smv-1.0.8... /bin/sh: 1: bnfc: not found cabal: Leaving directory '/tmp/cabal-tmp-2608827/ogma-language-cocospec-1.0.8' Preprocessing library for ogma-language-smv-1.0.8.. setup: can't find source for Language/SMV/AbsSMV in src, dist/build/autogen, dist/build/global-autogen cabal: Leaving directory '/tmp/cabal-tmp-2608824/ogma-language-smv-1.0.8' Failed to install ogma-language-c-1.0.8 Build log ( /home/builder/.cabal/logs/ghc-9.2.4/ogma-language-c-1.0.8-6Zuvvox578qJRZxLStyrUS.log ): cabal: Entering directory '/tmp/cabal-tmp-2608829/ogma-language-c-1.0.8' [1 of 1] Compiling Main ( /tmp/cabal-tmp-2608829/ogma-language-c-1.0.8/dist/setup/setup.hs, /tmp/cabal-tmp-2608829/ogma-language-c-1.0.8/dist/setup/Main.o ) Linking /tmp/cabal-tmp-2608829/ogma-language-c-1.0.8/dist/setup/setup ... Configuring ogma-language-c-1.0.8... /bin/sh: 1: bnfc: not found Preprocessing library for ogma-language-c-1.0.8.. setup: can't find source for Language/C/AbsC in src, dist/build/autogen, dist/build/global-autogen cabal: Leaving directory '/tmp/cabal-tmp-2608829/ogma-language-c-1.0.8' Completed semigroupoids-6.0.0.1 Completed vector-0.13.0.0 Error: cabal: Some packages failed to install: ogma-cli-1.0.8-LVcUXdOCPP1IjUp5dKeM00 depends on ogma-cli-1.0.8 which failed to install. ogma-core-1.0.8-9AfzXxQx2yN7B8uXy2AGQT depends on ogma-core-1.0.8 which failed to install. ogma-language-c-1.0.8-6Zuvvox578qJRZxLStyrUS failed during the building phase. The exception was: ExitFailure 1 ogma-language-cocospec-1.0.8-C0Y5MtisIxa4bwqPCQjIDf failed during the building phase. The exception was: ExitFailure 1 ogma-language-fret-cs-1.0.8-F51XmnyWcwgEu201PzJSOm depends on ogma-language-fret-cs-1.0.8 which failed to install. ogma-language-fret-reqs-1.0.8-EIq6xX6ici749gy9csuIsF depends on ogma-language-fret-reqs-1.0.8 which failed to install. ogma-language-smv-1.0.8-Tgr0d6Q35jFpdxcHtCxLr failed during the building phase. The exception was: ExitFailure 1