$(sharebindir)?

Thread View: gnu.utils.bug

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by karl Thu, 31 Dec 1992 19:56

#1207

Author: karl
Date: Thu, 31 Dec 1992 19:56

10 lines
883 bytes

Perhaps it would be useful if Makefiles distinguished binary executables
from sharable executables (i.e., shell scripts), by installing into
$(bindir) and, say, $(sharebindir), respectively.

$(sharebindir) could be $(prefix)/bin by default, so that if $(prefix)
and $(exec_prefix) are different, the sharable executables wind up in a
(presumably) sharable directory.

Whatever the default, if the Makefiles used something like this, it
would at least make it relatively painless to share what can be shared.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads