FWIW: The answer to the question "Can the make command utilize the resources allocated to a Slurm job?" [1] is out of date. The patch mentioned is no longer in the distribution, and personal inspection finds that it no longer applies to newer versions of Gnu Make.
[1] https://slurm.schedmd.com/faq.html#parallel_make
