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     primitive-0.6.4.0
Building     primitive-0.6.4.0
Completed    primitive-0.6.4.0
Starting     vector-0.12.0.2
Building     vector-0.12.0.2
Completed    vector-0.12.0.2
Starting     casadi-bindings-internal-0.1.6.1
Failed to install casadi-bindings-internal-0.1.6.1
Build log ( /home/builder/.cabal/logs/ghc-8.6.1/casadi-bindings-internal-0.1.6.1-CYkSsGfn8GIHDqlotb6bHf.log ):
cabal: Entering directory '/tmp/cabal-tmp-476/casadi-bindings-internal-0.1.6.1'
Configuring casadi-bindings-internal-0.1.6.1...
cabal: Missing dependency on a foreign library:
* Missing (or bad) C library: casadi
This problem can usually be solved by installing the system package that
provides this library (you may need the "-dev" version). If the library is
already installed but in a non-standard location then you can use the flags
--extra-include-dirs= and --extra-lib-dirs= to specify where it is.If the
library file does exist, it may contain errors that are caught by the C
compiler at the preprocessing stage. In this case you can re-run configure
with the verbosity flag -v3 to see the error messages.

cabal: Leaving directory '/tmp/cabal-tmp-476/casadi-bindings-internal-0.1.6.1'
cabal: Error: some packages failed to install:
casadi-bindings-internal-0.1.6.1-CYkSsGfn8GIHDqlotb6bHf failed during the
configure step. The exception was:
ExitFailure 1