<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html;
      charset=windows-1252">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p>My belief is that it's all been fixed--apart from whatever goes
      wrong with Memory Test. If you could test that this is so on
      ports, that would be great.<br>
    </p>
    <p>--Steve<br>
    </p>
    <br>
    <div class="moz-cite-prefix">On 05/01/2018 12:07 PM,
      <a class="moz-txt-link-abbreviated" href="mailto:ian.hinder@aei.mpg.de">ian.hinder@aei.mpg.de</a> wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:4AA89C04-92DC-4535-A4A0-CE8E7C92331E@aei.mpg.de">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252">
      <br class="">
      <div><br class="">
        <blockquote type="cite" class="">
          <div class="">On 1 May 2018, at 15:47, Steven R. Brandt &lt;<a
              href="mailto:sbrandt@cct.lsu.edu" class=""
              moz-do-not-send="true">sbrandt@cct.lsu.edu</a>&gt; wrote:</div>
          <br class="Apple-interchange-newline">
          <div class="">
            <meta http-equiv="Content-Type" content="text/html;
              charset=windows-1252" class="">
            <div text="#000000" bgcolor="#FFFFFF" class="">
              <p class="">AFAIK, if it compiles with generic.cfg, it has
                to use the "gcc" that's in the path.</p>
              <div class=""><br class="">
              </div>
            </div>
          </div>
        </blockquote>
        <div><br class="">
        </div>
        <div>And when homebrew has its own version of gcc, does it put
          it on the path under the name "gcc"?  What does "which gcc"
          give you?</div>
        <div><br class="">
        </div>
        If it is indeed compiling OK with Clang, it's interesting,
        because when I tried to compile just Cactus, not even the whole
        ET, using Clang on a Mac, I ran into several incompatibilities.
         This was a couple of years ago now, and maybe they have all
        been fixed.<br class="">
      </div>
      <div><br class="">
      </div>
      <div class="">
        <span style="color: rgb(0, 0, 0); font-family: Helvetica;
          font-size: 12px; font-style: normal; font-variant-caps:
          normal; font-weight: normal; letter-spacing: normal; orphans:
          auto; text-align: start; text-indent: 0px; text-transform:
          none; white-space: normal; widows: auto; word-spacing: 0px;
          -webkit-text-size-adjust: auto; -webkit-text-stroke-width:
          0px; display: inline !important; float: none;" class="">-- </span><br
          style="color: rgb(0, 0, 0); font-family: Helvetica; font-size:
          12px; font-style: normal; font-variant-caps: normal;
          font-weight: normal; letter-spacing: normal; orphans: auto;
          text-align: start; text-indent: 0px; text-transform: none;
          white-space: normal; widows: auto; word-spacing: 0px;
          -webkit-text-size-adjust: auto; -webkit-text-stroke-width:
          0px;" class="">
        <span style="color: rgb(0, 0, 0); font-family: Helvetica;
          font-size: 12px; font-style: normal; font-variant-caps:
          normal; font-weight: normal; letter-spacing: normal; orphans:
          auto; text-align: start; text-indent: 0px; text-transform:
          none; white-space: normal; widows: auto; word-spacing: 0px;
          -webkit-text-size-adjust: auto; -webkit-text-stroke-width:
          0px; display: inline !important; float: none;" class="">Ian
          Hinder</span><br style="color: rgb(0, 0, 0); font-family:
          Helvetica; font-size: 12px; font-style: normal;
          font-variant-caps: normal; font-weight: normal;
          letter-spacing: normal; orphans: auto; text-align: start;
          text-indent: 0px; text-transform: none; white-space: normal;
          widows: auto; word-spacing: 0px; -webkit-text-size-adjust:
          auto; -webkit-text-stroke-width: 0px;" class="">
        <span style="color: rgb(0, 0, 0); font-family: Helvetica;
          font-size: 12px; font-style: normal; font-variant-caps:
          normal; font-weight: normal; letter-spacing: normal; orphans:
          auto; text-align: start; text-indent: 0px; text-transform:
          none; white-space: normal; widows: auto; word-spacing: 0px;
          -webkit-text-size-adjust: auto; -webkit-text-stroke-width:
          0px; display: inline !important; float: none;" class=""><a
            href="http://members.aei.mpg.de/ianhin" class=""
            moz-do-not-send="true">http://members.aei.mpg.de/ianhin</a></span>
      </div>
      <br class="">
    </blockquote>
    <br>
  </body>
</html>