<html theme="default-dark"><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head><body text="#000000">I'm easy.  gmake is not such as bad thing.<br>
<br>
<span>Warner Losh wrote on 2019-10-28 9:54 PM:</span><br>
<blockquote type="cite" 
cite="mid:CANCZdfqsw8XX0iQfU7hNjhRU2MtbF3n+gusrAbOB2SFEaxQy4g@mail.gmail.com">
  <meta http-equiv="content-type" content="text/html; charset=utf-8">
  <div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div
 dir="ltr" class="gmail_attr">On Mon, Oct 28, 2019 at 7:52 PM Phil Budne
 via pdp7-unix <<a href="mailto:pdp7-unix@minnie.tuhs.org" 
moz-do-not-send="true">pdp7-unix@minnie.tuhs.org</a>> wrote:<br></div><blockquote
 class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px 
solid rgb(204,204,204);padding-left:1ex">Lars wrote re: make<br>
> I agree to keep it portable.<br>
<br>
For now, that ship has sailed... The Makefiles have GNUisms, and I'm<br>
not inclined to move things in either direction.  I brought it up only<br>
because I mentioned that my knowledge of non-portable features is<br>
small...  It's not possible to build a lot of open software without<br>
GNU make (SimH uses it), and OSX threw in that towel a while ago and<br>
made gmake the default.<br>
<br>
This isn't my repo, I'm just trying to help things along because<br>
Warren can't devote time to the project right now.<br></blockquote><div><br></div><div>So
 long as we're not doing weird stuff, then on FreeBSD one just installs 
the gmake package (pkg install gmake) and then gmake will work. You have
 to do pretty weird things for it to fail, but those are easily fixed, 
usually with a s/make/${MAKE}/g :).</div><div><br></div><div>It's not a 
huge burden, imho, to require gmake.</div><div><br></div><div>Warner<br></div></div></div>
</blockquote>
<br>
<div class="moz-signature">-- <br>Tom Everett<br>
<div>
  <a href="mailto:tom@khubla.com">tom@khubla.com</a><br>

  <a href="https://www.postbox-inc.com"><span style="color: rgb(0, 157, 
247);"></span></a></div>

</div>
</body></html>