ipopt is not available anymore from homebrew/science

[traversaro]

Related issues: RobotLocomotion/drake#7679 , https://github.com/Homebrew/homebrew-science/issues/6365

In a nutshell, homebrew/science was closed, so we should find another solution for our ipopt dependency.
The most straightforward solution is to host a copy of the last ipopt and mumps formula in this repo.

opencv formula was also maintained in homebrew/science, but it has been migrated to homebrew/core https://github.com/Homebrew/homebrew-science/blob/master/tap_migrations.json#L54 . We should update the dependencies to point to the core version of the formula.

cc @claudiofantacci

[traversaro]

If I understand everything correctly (I don't have access to a mac at the moment) this means that the icub-main formula with-ipopt option is broken.

[traversaro]

A similar issue affects the dartsim* formula as well, see https://github.com/dartsim/homebrew-dart/blob/8a6d175ff7db915d675612c376ec5d8d89a0665a/Formula/dartsim6.rb#L31 .
cc @jslee02

[jslee02]

@traversaro Thanks for the heads-up.

I'm submitting series of PRs for migrating ipopt and its dependencies to homebrew-core:

• parmetis
• scotch and scotch@5
• ipopt

[traversaro]

That's great @jslee02 ! Thanks and happy new year!

[claudiofantacci]

Hi everyone! I also noticed just now with a brew update about homebrew-science deprecation.
It was already started some times ago and some formulae have been ported in the meantime, lik for example opencv.

@jslee02 thanks for your effort, really appreciated! 🏆 🎉

As a result of the deprecation icub-main --with-ipopt is broken, unless ipopt was already installed with brew before deprecation.
IMHO, we can wait for @jslee02 work and then test and update the formulae at that time.
I'll keep an eye on this.

[traversaro]

cc @DanielePucci

[jslee02]

It seems being accepted formulae by homebrew-core takes time. As a temporary solution, I hosted ipopt and its dependencies in https://github.com/dartsim/homebrew-dart, and it seems to work with DART (on my macbook). I might continue to work on moving those formulae to homebrew-core eventually.

In the meantime, I think you guys could use them from https://github.com/dartsim/homebrew-dart or host them here at your convenience.

[traversaro]

@claudiofantacci I would go for using dartsim/dart/ipopt as soon as dartsim/homebrew-dart#49 is merged, so we have a single trusted point in which to fix issues or problems.

Thanks a lot @jslee02 .

[claudiofantacci]

Reasonable to me, and thanks @jslee02 for the effort and your help! Appreciated 🙇

We can go for dartsim/dart/ipopt and join strenght to make it a strong and reliable formula 💪
Hopefully we will make it for homebrew-core in resonable time!

[traversaro]

cc @nunoguedelha