[Ipopt] Third Party and github

Brad Bell bradbell at seanet.com
Sun Jan 19 06:58:33 EST 2020

How would I specify the release of Ipopt that I want to install ?
(It would also be good to be able to specify a particular git hash).

On 1/18/20 10:30 AM, Ted Ralphs wrote:
> Is there a reason not to use coinbrew?
> wget https://github.com/coin-or/coinbrew/blob/master/coinbrew
> ./coinbrew fetch Ipopt
> will automatically download Ipopt and the third party projects list in .coin-or/Dependencies. One 
> can then build with
> ./coinbrew build Ipopt
> Ted
... skip ...

More information about the Ipopt mailing list