[Ipopt] Third Party and github

[Stefan Vigerske]

Hi,

yes, you can pass configure flags to coinbrew and they are passed on to 
configure: https://coin-or.github.io/coinbrew/

Stefan

On 1/20/20 10:46 AM, Pablo Perez wrote:
> Hello,
> 
> what about if you want to compile Ipopt with OpenBLAS or Atlas? Is in that case coinbrew still valid modifying some flags?
> 
> Best regards and thank you
> ________________________________
> De: Ipopt <ipopt-bounces at coin-or.org> en nombre de Ted Ralphs <ted at lehigh.edu>
> Enviado: domingo, 19 de enero de 2020 16:46
> Para: Brad Bell <bradbell at seanet.com>
> Cc: ipopt at list.coin-or.org <ipopt at list.coin-or.org>
> Asunto: Re: [Ipopt] Third Party and github
> 
> 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<mailto: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<http://coral.ie.lehigh.edu/~ted>
> 
> 
> _______________________________________________
> Ipopt mailing list
> Ipopt at list.coin-or.org
> https://list.coin-or.org/mailman/listinfo/ipopt
>