Add warning if using make
instead of gmake
#952
Labels
build-system
A label for issues or PRs related to the build system
make
instead of gmake
#952
In the main GAP directory, there's the following:
https://github.com/gap-system/gap/blob/master/Makefile
which prints:
if one uses
make
instead ofgmake
. Whereas for Semigroups we get the less helpful:It'd be great if we could have a nice warning instead of the less informative above.
The text was updated successfully, but these errors were encountered: