Resolving dependencies... Configuring primitive-0.6.1.0... Building primitive-0.6.1.0... Installed primitive-0.6.1.0 Configuring vector-0.11.0.0... Building vector-0.11.0.0... Installed vector-0.11.0.0 Configuring casadi-bindings-internal-0.1.5.0... Failed to install casadi-bindings-internal-0.1.5.0 Build log ( /home/builder/.cabal/logs/casadi-bindings-internal-0.1.5.0.log ): cabal: Entering directory '/tmp/cabal-tmp-9010/casadi-bindings-internal-0.1.5.0' Configuring casadi-bindings-internal-0.1.5.0... cabal: Missing dependency on a foreign library: * Missing 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. cabal: Leaving directory '/tmp/cabal-tmp-9010/casadi-bindings-internal-0.1.5.0' cabal: Error: some packages failed to install: casadi-bindings-core-3.1.0.0 depends on casadi-bindings-internal-0.1.5.0 which failed to install. casadi-bindings-internal-0.1.5.0 failed during the configure step. The exception was: ExitFailure 1