diff options
| author | Roland McGrath <roland@redhat.com> | 1994-01-06 23:11:22 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@redhat.com> | 1994-01-06 23:11:22 +0000 |
| commit | b4ccaac8dab7c2f7582923625ef90eb8384683e3 (patch) | |
| tree | b07e2d8aaba7741805c53753f18df80d978b4500 | |
| parent | 2932fb1bcaba5e954e40a89fe004f5b88bd9ed27 (diff) | |
| download | gunmake-b4ccaac8dab7c2f7582923625ef90eb8384683e3.tar.gz | |
Formerly compatMakefile.~87~
| -rw-r--r-- | compatMakefile | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/compatMakefile b/compatMakefile index 2a16f67..22672b8 100644 --- a/compatMakefile +++ b/compatMakefile @@ -1,7 +1,7 @@ # NOTE: If you have no `make' program at all to process this makefile, run # `build.sh' instead. # -# Copyright (C) 1988, 1989, 1991, 1992, 1993 Free Software Foundation, Inc. +# Copyright (C) 1988, 1989, 1991, 1992, 1993, 1994 Free Software Foundation, Inc. # This file is part of GNU Make. # # GNU Make is free software; you can redistribute it and/or modify @@ -80,8 +80,6 @@ prefix = /usr/local # Common prefix for machine-dependent installed files. exec_prefix = $(prefix) -# Name under which to install GNU make. -instname = make # Directory to install `make' in. bindir = $(exec_prefix)/bin # Directory to find libraries in for `-lXXX'. @@ -94,6 +92,10 @@ infodir = $(prefix)/info mandir = $(prefix)/man/man$(manext) # Number to put on the man page filename. manext = 1 +# Prefix to put on installed `make' binary file name. +binprefix = +# Prefix to put on installed `make' man page file name. +manprefix = $(binprefix) # Whether or not make needs to be installed setgid. # The value should be either `true' or `false'. @@ -184,13 +186,13 @@ tags: $(tagsrcs) .PHONY: install installdirs install: installdirs \ - $(bindir)/$(instname) $(infodir)/make.info \ - $(mandir)/$(instname).$(manext) + $(bindir)/$(binprefix)make $(infodir)/make.info \ + $(mandir)/$(manprefix)make.$(manext) installdirs: $(SHELL) ${srcdir}/mkinstalldirs $(bindir) $(infodir) $(mandir) -$(bindir)/$(instname): make +$(bindir)/$(binprefix)make: make $(INSTALL_PROGRAM) make $@.new @if $(install_setgid); then \ if chgrp $(group) $@.new && chmod g+s $@.new; then \ @@ -219,10 +221,10 @@ $(infodir)/make.info: make.info # We use `$(SHELL) -c' because some shells do not # fail gracefully when there is an unknown command. if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ - install-info --infodir=$(infodir) $$d/foo.info; \ + install-info --infodir=$(infodir) $$dir/make.info; \ else true; fi -$(mandir)/$(instname).$(manext): make.man +$(mandir)/$(manprefix)make.$(manext): make.man $(INSTALL_DATA) $(srcdir)/make.man $@ |