github-repos/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2025-01-01 07:50:52 +08:00
Code Issues Packages Projects Releases Wiki Activity

Formerly compatMakefile.~87~

Browse Source
This commit is contained in:
Roland McGrath 1994-01-06 23:11:22 +00:00
parent 2932fb1bca
commit b4ccaac8da
1 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
compatMakefile
View File

@ -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 $@