[Gretl-devel] Re: Can't build Gretl in Ubuntu Server
Am 28.05.20 um 00:12 schrieb Riccardo (Jack) Lucchetti:
On Wed, 27 May 2020, Leonardo Romero wrote:
> Dear Riccardo (Jack) Lucchetti
>
> I sincerely regret this comment. I am a real fan of Gretl, and I
> wouldn't dare to bother you on the mailing lists if I haven't
> reviewed the documentation in deep first. The problem also happens
> with Linux Debian9 libraries. For some of us is not so bright the
> documentation in how to build the program in the Linux servers. But
> in any case, I appreciate the response.
I'm sorry if that sounded harsh, but if you google for "ubuntu add
source repository" you'll find thousands of web pages that explain in
detail what needs to be done and why (much better than I did in my
earlier messages).
I'm glad you're building gretl from source on a Linux server, and it's
a good thing that our exchange happened on the mailing list so that it
remains archived, but the gretl mailing list is not the best place to
ask for information on something that is essentially a sysadmin task
on a class of Linux distros (that is, Debian derivatives).
Well, it has to be said that this thread didn't start out as a question
of how to add source repos, but about a certain error message from the
gretl configure script that did not indicate the solution to do 'apt
gretl build-dep'.
Also I just rechecked Appendix B of the guide about building gretl and
it only says that going via build-dep would make it simpler. It doesn't
say that it is necessary if you manually install the dev stuff. But
Leonardo showed that GMP (-dev) was installed, so it still isn't clear
to me why the whole thing failed in the first place or what the
appropriate error message should have been.
cheers
sven