bug-gnustep
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug #41125] -make documentation is un-installable


From: Markus Hitter
Subject: Re: [bug #41125] -make documentation is un-installable
Date: Tue, 07 Jan 2014 18:52:31 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0

For those on the -dev mailing list, we're talking about this bug:

https://savannah.gnu.org/bugs/?41125#comment0


Am 07.01.2014 15:17, schrieb Richard Frith-Macdonald:

> I might guess that the issue you mean [...]

Instead of guessing I'd prefer you'd try with the shell snippets I
provided. They clearly expose unintended results in at least 3 cases.

> Perhaps I might guess that you mean, as Sebastian suggested, that you
> want documentation to be built and installed along with gnustep-make
> ... if so, that's not a (reasonable IMO) change request ... but since
> what you are asking for is a change to overall policy rather than a
> specific package, probably the mailing list makes more sense.

Weird policy which prohibits to install documentation on its own. This
prohibits not only packaging, but also cross-compilation, because in
both cases is install root != system root.

That said, what you committed earlier today into README.packaging
doesn't work. It isn't sufficient to package gnustep-make, it also has
to be installed. Setting aside debian-type packaging doesn't build by
binary package, but by source package, which makes it impossible to
install a package not yet built, Documentation/GNUmakefile line 37ff
attempts to go such a route without packaging, but it's buggy and/or
incomplete. But I mentioned the latter already.

I have another ~15 bugs similar to this one stacked.


Markus

-- 
- - - - - - - - - - - - - - - - - - -
Dipl. Ing. (FH) Markus Hitter
http://www.reprap-diy.com/
http://www.jump-ing.de/



reply via email to

[Prev in Thread] Current Thread [Next in Thread]