[crosstool-ng/crosstool-ng] 7346d6: Provide more overrides for make

[crosstool-ng/crosstool-ng] 7346d6: Provide more overrides for make

[Alexey Neyman]

[-- Attachment #1: Type: text/plain, Size: 2058 bytes --]

  Branch: refs/heads/master
  Home:   https://github.com/crosstool-ng/crosstool-ng
  Commit: 7346d635b3292d516a2aeb283c9a4864cec7cafb
      https://github.com/crosstool-ng/crosstool-ng/commit/7346d635b3292d516a2aeb283c9a4864cec7cafb
  Author: Roman Bolshakov <r.bolshakov@yadro.com>
  Date:   2018-11-07 (Wed, 07 Nov 2018)

  Changed paths:
    M paths.sh.in

  Log Message:
  -----------
  Provide more overrides for make

glibc's configure script looks for make in the following order:
  gnumake gmake make

but crosstool-ng has an override only for make. So glibc picks up
gnumake from system and fails to proceed with the build because system
make is very old.

It'd more reliable if we also override gnumake and gmake.

Signed-off-by: Roman Bolshakov <r.bolshakov@yadro.com>


  Commit: 0229bc415ea9f2fe7c4a89178d955e57d729d7ba
      https://github.com/crosstool-ng/crosstool-ng/commit/0229bc415ea9f2fe7c4a89178d955e57d729d7ba
  Author: Roman Bolshakov <r.bolshakov@yadro.com>
  Date:   2018-11-07 (Wed, 07 Nov 2018)

  Changed paths:
    M configure.ac
    M paths.sh.in

  Log Message:
  -----------
  Add an override for bison

glibc build requires GNU bison >= 2.7 but Apple ships bison 2.3. If we
provide an override for GNU bison it should be possible to use a version
from homebrew.

Signed-off-by: Roman Bolshakov <r.bolshakov@yadro.com>


  Commit: 56cad6c9deb92dc42aaba1beb656ffcb88ca8962
      https://github.com/crosstool-ng/crosstool-ng/commit/56cad6c9deb92dc42aaba1beb656ffcb88ca8962
  Author: Alexey Neyman <stilor@att.net>
  Date:   2018-11-08 (Thu, 08 Nov 2018)

  Changed paths:
    M configure.ac
    M paths.sh.in

  Log Message:
  -----------
  Merge pull request #1086 from roolebo/make-aliases

Provide more tool overrides


Compare: https://github.com/crosstool-ng/crosstool-ng/compare/eabb3ec189cb...56cad6c9deb9
      **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.