Am 14.07.2017 um 07:54 schrieb Riccardo (Jack) Lucchetti:
On Thu, 13 Jul 2017, Sven Schreiber wrote:
> Am 13.07.2017 um 22:45 schrieb Clive Nicholas:
>>
>> deb
http://prdownloads.sourceforge.net/gretl/gretl-2017b.tar.xz/ main
>> deb
http://prdownloads.sourceforge.net/gretl/gretl-2017b.tar.xz/
>> xenial main
>> deb
http://prdownloads.sourceforge.net/gretl/gretl-2017b.tar.xz/
>> stable main
>>
>> and their complementary deb-src entries all choke on errors, so what
>> is the correct entry here? Thanks for your help again.
>
> OK, first just to be sure, you apparently want to build gretl from git
> yourself, or you don't need any of the build-dep stuff.
>
In fact, I think you do: the "source" repo contains all the -dev
versions of the packages we link against (GTKSourceView, for example).
The command
apt-get build-dep gretl
is a quick way of installing all the things that a debian-based distro
needss to build the gretl .deb package.
I think we're talking past each other and creating misunderstandings,
because there is no disagreement. Perhaps I should have written
"otherwise you wouldn't need" instead of "or you don't need".
In any case, the "deb" lines posted by Clive above look very wrong to
me, because AFAIK the download paths from sourceforge are not
Debian/Ubuntu/Mint package repos in any way.
And taking one step back, are you sure the deb-src things are really
needed? The dev packages are needed for the build, yes, but they do not
live in the deb-src area AFAIK. Given that the gretl sources are also
not taken from the Debian/Mint release --instead the current sources
from git are used-- I don't see how any source packages are needed.
(BTW, I think the term 'source' appears in a double meaning there, which
complicates the discussion, but that is nobody's fault.)
cheers,
sven