Warning: The install command is a part of the legacy v1 style of cabal usage. Please switch to using either the new project style and the new-install command or the legacy v1-install alias as new-style projects will become the default in the next version of cabal-install. Please file a bug if you cannot replicate a working v1- use case with the new-style commands. For more information, see: https://wiki.haskell.org/Cabal/NewBuild Resolving dependencies... Starting FloatingHex-0.4 Starting erf-2.0.0.0 Starting hashable-1.2.7.0 Starting primitive-0.6.4.0 Building erf-2.0.0.0 Building FloatingHex-0.4 Building hashable-1.2.7.0 Building primitive-0.6.4.0 Completed erf-2.0.0.0 Starting random-1.1 Completed FloatingHex-0.4 Starting syb-0.7 Building random-1.1 Building syb-0.7 Completed hashable-1.2.7.0 Starting th-abstraction-0.2.10.0 Building th-abstraction-0.2.10.0 Completed random-1.1 Starting crackNum-2.3 Building crackNum-2.3 Completed syb-0.7 Starting async-2.2.1 Building async-2.2.1 Completed th-abstraction-0.2.10.0 Starting generic-deriving-1.12.2 Building generic-deriving-1.12.2 Completed async-2.2.1 Completed crackNum-2.3 Completed primitive-0.6.4.0 Starting tf-random-0.5 Building tf-random-0.5 Completed tf-random-0.5 Starting QuickCheck-2.12.6.1 Building QuickCheck-2.12.6.1 Completed generic-deriving-1.12.2 Completed QuickCheck-2.12.6.1 Starting sbv-8.0 Building sbv-8.0 Failed to install sbv-8.0 Build log ( /home/builder/.cabal/logs/ghc-8.6.3/sbv-8.0-IGfqsRLFtP0CfUF2kQeVpb.log ): cabal: Entering directory '/tmp/cabal-tmp-25357/sbv-8.0' Configuring sbv-8.0... Preprocessing library for sbv-8.0.. Building library for sbv-8.0.. [ 1 of 122] Compiling Data.SBV.Control.Types ( Data/SBV/Control/Types.hs, dist/build/Data/SBV/Control/Types.o ) : can't load .so/.DLL for: libtinfo.so (libtinfo.so: cannot open shared object file: No such file or directory) cabal: Leaving directory '/tmp/cabal-tmp-25357/sbv-8.0' cabal: Error: some packages failed to install: sbv-8.0-IGfqsRLFtP0CfUF2kQeVpb failed during the building phase. The exception was: ExitFailure 1