[Ipopt] Third Party and github

[Brad Bell]

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 ...