Resolving dependencies... Build profile: -w ghc-9.6.3 -O0 In order, the following will be built (use -v for more details): - QuickCheck-2.14.3 (lib:QuickCheck) (requires build) - quickcheck-io-0.2.0 (lib:quickcheck-io) (requires build) - hspec-core-2.11.10 (lib:hspec-core) (requires build) - hspec-2.11.10 (lib:hspec) (requires build) - HasCacBDD-0.3.0.0 (first run) Starting QuickCheck-2.14.3 (all, legacy fallback) Building QuickCheck-2.14.3 (all, legacy fallback) Installing QuickCheck-2.14.3 (all, legacy fallback) Completed QuickCheck-2.14.3 (all, legacy fallback) Starting quickcheck-io-0.2.0 (all, legacy fallback) Building quickcheck-io-0.2.0 (all, legacy fallback) Installing quickcheck-io-0.2.0 (all, legacy fallback) Completed quickcheck-io-0.2.0 (all, legacy fallback) Starting hspec-core-2.11.10 (all, legacy fallback) Building hspec-core-2.11.10 (all, legacy fallback) Installing hspec-core-2.11.10 (all, legacy fallback) Completed hspec-core-2.11.10 (all, legacy fallback) Starting hspec-2.11.10 (all, legacy fallback) Building hspec-2.11.10 (all, legacy fallback) Installing hspec-2.11.10 (all, legacy fallback) Completed hspec-2.11.10 (all, legacy fallback) [1 of 2] Compiling Main ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/setup/setup.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/setup/Main.o ) [2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/setup/setup make: Entering directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.3.0.0/cpp' g++ -c UTable.cpp -g -O3 -Wno-deprecated -shared -fPIC g++ -c Manager.cpp -g -O3 -Wno-deprecated -shared -fPIC g++ -c CTable.cpp -g -O3 -Wno-deprecated -shared -fPIC g++ -c BDDNode.cpp -g -O3 -Wno-deprecated -shared -fPIC g++ -c DdNode.cpp -g -O3 -Wno-deprecated -shared -fPIC make: Leaving directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.3.0.0/cpp' make: Entering directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.3.0.0/c' g++ -g -c -shared -fPIC -I../cpp -o libBDDNodeC.so BDDNodeC.cpp rm -f libCacBDD.a ar rvs libCacBDD.a libBDDNodeC.so ar: creating libCacBDD.a a - libBDDNodeC.so ar rvs libCacBDD.a ../cpp/*.o a - ../cpp/BDDNode.o a - ../cpp/CTable.o a - ../cpp/DdNode.o a - ../cpp/Manager.o a - ../cpp/UTable.o make: Leaving directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.3.0.0/c' Configuring HasCacBDD-0.3.0.0... NOTE confHook: adding /home/builder/.cabal/lib/x86_64-linux-ghc-9.6.3/HasCacBDD-0.3.0.0-inplace to extraLibDirs NOTE preBuild: adding /home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.3.0.0/c into extraLibDirs Preprocessing library for HasCacBDD-0.3.0.0.. Building library for HasCacBDD-0.3.0.0.. [1 of 2] Compiling Data.HasCacBDD ( hs/Data/HasCacBDD.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/build/Data/HasCacBDD.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/build/Data/HasCacBDD.dyn_o ) [2 of 2] Compiling Data.HasCacBDD.Visuals ( hs/Data/HasCacBDD/Visuals.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/build/Data/HasCacBDD/Visuals.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/build/Data/HasCacBDD/Visuals.dyn_o ) Preprocessing test suite 'tests' for HasCacBDD-0.3.0.0.. Building test suite 'tests' for HasCacBDD-0.3.0.0.. [1 of 1] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/build/tests/tests-tmp/Main.o ) [2 of 2] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/HasCacBDD-0.3.0.0/noopt/build/tests/tests Running 1 test suites... Test suite tests: RUNNING... Test suite tests: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/HasCacBDD-0.3.0.0.test Writing: HasCacBDD-0.3.0.0-inplace/Data.HasCacBDD.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.6.3/HasCacBDD-0.3.0.0/noopt/hpc/vanilla/html/tests/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: HasCacBDD-0.3.0.0-inplace/Data.HasCacBDD.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.6.3/HasCacBDD-0.3.0.0/noopt/hpc/vanilla/html/HasCacBDD-0.3.0.0/hpc_index.html