Resolving dependencies... Build profile: -w ghc-9.2.4 -O0 In order, the following will be built (use -v for more details): - sbv-9.0 (lib:sbv) (requires build) - sbv-program-1.1.0.0 (first run) Starting sbv-9.0 (all, legacy fallback) Building sbv-9.0 (all, legacy fallback) Installing sbv-9.0 (all, legacy fallback) Completed sbv-9.0 (all, legacy fallback) Configuring sbv-program-1.1.0.0... Preprocessing library for sbv-program-1.1.0.0.. Building library for sbv-program-1.1.0.0.. [1 of 5] Compiling Data.SBV.Program.Types ( src/Data/SBV/Program/Types.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/Types.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/Types.dyn_o ) [2 of 5] Compiling Data.SBV.Program.SimpleLibrary ( src/Data/SBV/Program/SimpleLibrary.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/SimpleLibrary.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/SimpleLibrary.dyn_o ) [3 of 5] Compiling Data.SBV.Program.Utils ( src/Data/SBV/Program/Utils.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/Utils.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/Utils.dyn_o ) [4 of 5] Compiling Data.SBV.Program ( src/Data/SBV/Program.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program.dyn_o ) [5 of 5] Compiling Data.SBV.Program.Examples ( src/Data/SBV/Program/Examples.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/Examples.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/Data/SBV/Program/Examples.dyn_o ) Preprocessing test suite 'smoketest' for sbv-program-1.1.0.0.. Building test suite 'smoketest' for sbv-program-1.1.0.0.. [1 of 1] Compiling Main ( test/SmokeTest.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/smoketest/smoketest-tmp/Main.o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/build/smoketest/smoketest ... Running 1 test suites... Test suite smoketest: RUNNING... Test suite smoketest: FAIL Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/sbv-program-1.1.0.0.test Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.Utils.hs.html Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.Types.hs.html Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.SimpleLibrary.hs.html Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.Examples.hs.html Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Test coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/hpc/vanilla/html/smoketest/hpc_index.html 0 of 1 test suites (0 of 1 test cases) passed. Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.Utils.hs.html Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.Types.hs.html Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.SimpleLibrary.hs.html Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.Examples.hs.html Writing: sbv-program-1.1.0.0-inplace/Data.SBV.Program.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Package coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sbv-program-1.1.0.0/noopt/hpc/vanilla/html/sbv-program-1.1.0.0/hpc_index.html Error: cabal: Tests failed for sbv-program-1.1.0.0.