robotpkg/optimization/casadi bulk build results

Missing system package ipopt>=3.11: searching in /usr/local missing: /usr/local/include/coin/IpoptConfig.h missing: /usr/local/include/coin-or/IpoptConfig.h searching in /usr missing: /usr/include/coin/IpoptConfig.h missing: /usr/include/coin-or/IpoptConfig.h Please install it before continuing. - SYSTEM_PREFIX or PREFIX.ipopt can be set to the installation prefix of this package in robotpkg.conf. - If no ipopt>=3.11 package can be made available in your system, you can use the robotpkg version, by setting in robotpkg.conf PREFER.ipopt= robotpkg