On Tue, 9 Oct 2012, Matthieu Stigler wrote: > Thanks to all of you for your kind help! So indeed, the libgretl is not > produced in the /usr/local/bin, while I do not have a /usr/local/bin > (although the machine itself is 64).
You're mixing up the directory names here, so it's a bit difficult to follow. > I hence tried the steps to create the make.log, that you can find under: > https://dl.dropbox.com/u/6113358/make.log > > do you see there any issue? As Hélio says, that looks OK; the library is apparently built. You could now try creating another log file: sudo make install > install.log 2>&1 and we can see where things are going (or not) on your system. Allin Cottrell
