[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #50062] Variable needed to check that Makefile is run by GNU make?
|
From: |
Paul D. Smith |
|
Subject: |
[bug #50062] Variable needed to check that Makefile is run by GNU make? |
|
Date: |
Tue, 17 Jan 2017 16:54:25 +0000 (UTC) |
|
User-agent: |
Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:50.0) Gecko/20100101 Firefox/50.0 |
Follow-up Comment #1, bug #50062 (project make):
I don't really know of any way to determine whether or not you're running a
particular version of make, in a makefile portable enough that it would
provide useful output if you _weren't_ using that version of make.
For instance in your example:
ifndef GNUMAKE_VERSION
$(error "Sorry, you are not running GNU make. I must stop...)
endif
"ifndef" is a GNU make-specific capability itself: I know of no other variant
of make that supports this. So, if you weren't using GNU make you'd get a
syntax error from your version of make as soon as you hit that line,
regardless of whether GNUMAKE_VERSION was defined or not.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?50062>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/