home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: gnu.utils.bug
- Path: sparky!uunet!cis.ohio-state.edu!owl.HQ.ILeaf.COM!karl
- From: karl@owl.HQ.ILeaf.COM
- Subject: $(sharebindir)?
- Message-ID: <9212311956.AA25563@owl.HQ.Ileaf.COM>
- Sender: gnulists@ai.mit.edu
- Organization: GNUs Not Usenet
- Distribution: gnu
- Date: Thu, 31 Dec 1992 19:56:44 GMT
- Approved: bug-gnu-utils@prep.ai.mit.edu
- Lines: 11
-
- 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.
-
-