I believe the problem with spaces in paths has been fixed in the trunk version of BuildTools (is this true, Stefan?). In general, though, you will lead a happier life if you make it a practice to avoid spaces in path names if you can :).<br>

<br>Cheers,<br><br>Ted<br><br><div class="gmail_quote">On Fri, Jul 12, 2013 at 5:26 PM, Peng Yu <span dir="ltr">&lt;<a href="mailto:pengyu.ut@gmail.com" target="_blank">pengyu.ut@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">&gt; if you have directories with spaces in your $PATH, try to reset your PATH<br>
&gt; variable with these removed.<br>
&gt; At least that&#39;s what I would assume could be a problem from looking at<br>
&gt; configure:319.<br>
<br>
</div>Yes, it fixes the problem. Should there be a more robust way to<br>
generate ./configure so that it is resilient to spaces in $PATH?<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Regards,<br>
Peng<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Coin-discuss mailing list<br>
<a href="mailto:Coin-discuss@list.coin-or.org">Coin-discuss@list.coin-or.org</a><br>
<a href="http://list.coin-or.org/mailman/listinfo/coin-discuss" target="_blank">http://list.coin-or.org/mailman/listinfo/coin-discuss</a><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br>Dr. Ted Ralphs<br>Associate Professor, Lehigh University<br>(610) 628-1280<br>ted &#39;at&#39; lehigh &#39;dot&#39; edu<br><a href="http://coral.ie.lehigh.edu/~ted" target="_blank">coral.ie.lehigh.edu/~ted</a><br>