Resolving dependencies... Build profile: -w ghc-9.2.4 -O0 In order, the following will be built (use -v for more details): - minisat-0.1.3 (lib:minisat) (requires build) - sat-simple-0.1.0.0 (first run) Starting minisat-0.1.3 (all, legacy fallback) Building minisat-0.1.3 (all, legacy fallback) Installing minisat-0.1.3 (all, legacy fallback) Completed minisat-0.1.3 (all, legacy fallback) Configuring sat-simple-0.1.0.0... Preprocessing library for sat-simple-0.1.0.0.. Building library for sat-simple-0.1.0.0.. [1 of 1] Compiling Control.Monad.SAT ( src/Control/Monad/SAT.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/Control/Monad/SAT.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/Control/Monad/SAT.dyn_o ) Preprocessing test suite 'sat-simple-nonogram' for sat-simple-0.1.0.0.. Building test suite 'sat-simple-nonogram' for sat-simple-0.1.0.0.. [1 of 1] Compiling Main ( examples/sat-simple-nonogram.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/sat-simple-nonogram/sat-simple-nonogram-tmp/Main.o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/sat-simple-nonogram/sat-simple-nonogram ... Preprocessing test suite 'sat-simple-sudoku' for sat-simple-0.1.0.0.. Building test suite 'sat-simple-sudoku' for sat-simple-0.1.0.0.. [1 of 1] Compiling Main ( examples/sat-simple-sudoku.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/sat-simple-sudoku/sat-simple-sudoku-tmp/Main.o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/sat-simple-sudoku/sat-simple-sudoku ... Preprocessing test suite 'sat-simple-tseitin' for sat-simple-0.1.0.0.. Building test suite 'sat-simple-tseitin' for sat-simple-0.1.0.0.. [1 of 1] Compiling Main ( examples/sat-simple-tseitin.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/sat-simple-tseitin/sat-simple-tseitin-tmp/Main.o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/sat-simple-0.1.0.0/noopt/build/sat-simple-tseitin/sat-simple-tseitin ... Running 3 test suites... Test suite sat-simple-nonogram: RUNNING... Test suite sat-simple-nonogram: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/sat-simple-0.1.0.0.test Writing: sat-simple-0.1.0.0-inplace/Control.Monad.SAT.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/sat-simple-0.1.0.0/noopt/hpc/vanilla/html/sat-simple-nonogram/hpc_index.html Test suite sat-simple-sudoku: RUNNING... Test suite sat-simple-sudoku: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/sat-simple-0.1.0.0.test Writing: sat-simple-0.1.0.0-inplace/Control.Monad.SAT.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/sat-simple-0.1.0.0/noopt/hpc/vanilla/html/sat-simple-sudoku/hpc_index.html Test suite sat-simple-tseitin: RUNNING... Test suite sat-simple-tseitin: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/sat-simple-0.1.0.0.test Writing: sat-simple-0.1.0.0-inplace/Control.Monad.SAT.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/sat-simple-0.1.0.0/noopt/hpc/vanilla/html/sat-simple-tseitin/hpc_index.html 3 of 3 test suites (3 of 3 test cases) passed. Writing: sat-simple-0.1.0.0-inplace/Control.Monad.SAT.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/sat-simple-0.1.0.0/noopt/hpc/vanilla/html/sat-simple-0.1.0.0/hpc_index.html