Resolving dependencies...
Starting     exceptions-0.10.4
Starting     splitmix-0.1.0.1
Building     exceptions-0.10.4
Building     splitmix-0.1.0.1
Completed    splitmix-0.1.0.1
Starting     random-1.2.0
Building     random-1.2.0
Completed    exceptions-0.10.4
Completed    random-1.2.0
Starting     temporary-1.3
Building     temporary-1.3
Completed    temporary-1.3
Downloading  boolector-0.0.0.12
Downloaded   boolector-0.0.0.12
Starting     boolector-0.0.0.12
Building     boolector-0.0.0.12
Failed to install boolector-0.0.0.12
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/boolector-0.0.0.12-340SBv7q5LkFSekAJy9jep.log ):
cabal: Entering directory '/tmp/cabal-tmp-31533/boolector-0.0.0.12'
[1 of 1] Compiling Main             ( /tmp/cabal-tmp-31533/boolector-0.0.0.12/dist/setup/setup.hs, /tmp/cabal-tmp-31533/boolector-0.0.0.12/dist/setup/Main.o )
Linking /tmp/cabal-tmp-31533/boolector-0.0.0.12/dist/setup/setup ...
Configuring boolector-0.0.0.12...
make: *** No rule to make target 'deps/boolector-dist'.  Stop.
cabal: Leaving directory '/tmp/cabal-tmp-31533/boolector-0.0.0.12'
cabal: Error: some packages failed to install:
boolector-0.0.0.12-340SBv7q5LkFSekAJy9jep failed during the building phase.
The exception was:
ExitFailure 2