[Ipopt] Third Party and github

[Ted Ralphs]

In general, you can do something like

coinbrew fetch Ipopt:stable/3.13

To check out a specific SHA, it actually seems to work to just do, e.g.,

coinbrew fetch Ipopt:108d2899a

But I also did implement a specific option to check out a particular SHA

coinbrew fetch Ipopt --main-proj-sha 108d2899a

You can even check out the main project and all dependencies as of a
particular date/time:

coinbrew fetch Ipopt --time "April 1 2019"

Cheers,

Ted

On Sun, Jan 19, 2020 at 6:58 AM Brad Bell <bradbell at seanet.com> wrote:

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


-- 
Dr. Ted Ralphs
Professor, Industrial and Systems Engineering
Lehigh University
(610) 628-1280
ted 'at' lehigh 'dot' edu
coral.ie.lehigh.edu/~ted
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/ipopt/attachments/20200119/7c27ed78/attachment.html>