
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>

</head>

<body dir="ltr">

<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Hello,<br>

</div>

<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

what about if you want to compile Ipopt with OpenBLAS or Atlas? Is in that case coinbrew still valid modifying some flags?</div>

<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

<br>

</div>

<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

Best regards and thank you<br>

</div>

<div id="appendonsend"></div>

<hr style="display:inline-block;width:98%" tabindex="-1">

<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>De:</b> Ipopt <ipopt-bounces@coin-or.org> en nombre de Ted Ralphs <ted@lehigh.edu><br>

<b>Enviado:</b> domingo, 19 de enero de 2020 16:46<br>

<b>Para:</b> Brad Bell <bradbell@seanet.com><br>

<b>Cc:</b> ipopt@list.coin-or.org <ipopt@list.coin-or.org><br>

<b>Asunto:</b> Re: [Ipopt] Third Party and github</font>

<div> </div>

</div>

<div>

<div dir="ltr">In general, you can do something like

<div><br>

</div>

<div>coinbrew fetch Ipopt:stable/3.13</div>

<div><br>

</div>

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

<div><br>

</div>

<div>coinbrew fetch Ipopt:108d2899a</div>

<div><br>

</div>

<div>But I also did implement a specific option to check out a particular SHA</div>

<div><br>

</div>

<div>

<div>coinbrew fetch Ipopt --main-proj-sha 108d2899a</div>

<div><br>

</div>

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

<div><br>

</div>

<div>coinbrew fetch Ipopt --time "April 1 2019"<br>

</div>

<div><br>

</div>

<div>Cheers,</div>

<div><br>

</div>

<div>Ted</div>

<div></div>

</div>

</div>

<br>

<div class="x_gmail_quote">

<div dir="ltr" class="x_gmail_attr">On Sun, Jan 19, 2020 at 6:58 AM Brad Bell <<a href="mailto:bradbell@seanet.com">bradbell@seanet.com</a>> wrote:<br>

</div>

<blockquote class="x_gmail_quote" style="margin:0px 0px 0px 0.8ex; border-left:1px solid rgb(204,204,204); padding-left:1ex">

How would I specify the release of Ipopt that I want to install ?<br>

(It would also be good to be able to specify a particular git hash).<br>

<br>

On 1/18/20 10:30 AM, Ted Ralphs wrote:<br>

> Is there a reason not to use coinbrew?<br>

><br>

> wget <a href="https://github.com/coin-or/coinbrew/blob/master/coinbrew" rel="noreferrer" target="_blank">

https://github.com/coin-or/coinbrew/blob/master/coinbrew</a><br>

> ./coinbrew fetch Ipopt<br>

><br>

> will automatically download Ipopt and the third party projects list in .coin-or/Dependencies. One

<br>

> can then build with<br>

><br>

> ./coinbrew build Ipopt<br>

><br>

> Ted<br>

><br>

... skip ...<br>

</blockquote>

</div>

<br clear="all">

<div><br>

</div>

-- <br>

<div dir="ltr" class="x_gmail_signature">

<div dir="ltr">

<div>

<div dir="ltr">

<div>

<div dir="ltr">

<div>

<div dir="ltr">Dr. Ted Ralphs<br>

Professor, Industrial and Systems Engineering<br>

Lehigh University<br>

(610) 628-1280<br>

ted 'at' lehigh 'dot' edu<br>

<a href="http://coral.ie.lehigh.edu/~ted" target="_blank">coral.ie.lehigh.edu/~ted</a><br>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</body>

</html>