[bug #50062] Variable needed to check that Makefile is run by GNU make?

[anonymous]

URL:
  <http://savannah.gnu.org/bugs/?50062>

                 Summary: Variable needed to check that Makefile is run by GNU
make?
                 Project: make
            Submitted by: None
            Submitted on: Tue 17 Jan 2017 06:59:36 AM UTC
                Severity: 3 - Normal
              Item Group: Documentation
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
       Component Version: None
        Operating System: Any
           Fixed Release: None
           Triage Status: None

    _______________________________________________________

Details:

When one wants to check that it is really GNU make that is run for a given
Makefile, the standard solution is to
rely on $(shell make --version), or to read $(MAKE_VERSION). See e.g.
http://unix.stackexchange.com/questions/218692

The second solution is simpler and more efficient but nothing prevents other,
non-GNU, make's to support a variable called MAKE_VERSION.

A solution would be to have another variable, e.g. $(GNUMAKE_VERSION), that
could be just a synonym for $(MAKE_VERSION), but that would probably never be
used by other make's. 

Then one would not even read it, just check that it is defined:

ifndef GNUMAKE_VERSION
$(error "Sorry, you are not running GNU make. I must stop...)
endif




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?50062>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/