Lines Matching full:make
3 GNU make can utilize the Customs library, distributed with Pmake, to
24 GNU make, distributed in the pmake-2.1.33/etc/gnumake/ directory. These
25 patches are based on GNU make 3.75 (there are patches for earlier
26 versions of GNU make, also). The parts of this patchfile which relate
28 version of GNU make, so you should _NOT_ apply the patch file.
42 BUILDING GNU MAKE
45 Once you've installed Customs, you can build GNU make to use it. When
46 configuring GNU make, merely use the ``--with-customs=DIR'' option.
52 Run make (or use build.sh) normally to build GNU make as described in
59 INVOKING CUSTOMS-IZED GNU MAKE
64 make must be installed setuid root to use Customs.
72 > option in customs/config.h. Make sure the "customs" service in
86 files; this conflicts with GNU make's configuration so you'll get a
102 This file is part of GNU Make.
104 GNU Make is free software; you can redistribute it and/or modify it under the
108 GNU Make is distributed in the hope that it will be useful, but WITHOUT ANY
113 GNU Make; see the file COPYING. If not, write to the Free Software
