Ok, thanks for the response. I was actually able to fix that one as well by using brew install bash. But now there is another issue during the PETSc build with the HDF5 installation. In the new firedrake-install.log (attached) it seems like the relevant line is 

*******************************************************************************
             UNABLE to CONFIGURE with GIVEN OPTIONS    (see configure.log for details):
    -------------------------------------------------------------------------------
    Error running make; make install on HDF5: Could not execute "['/usr/bin/make -j4 -l6.0  ']":
    Making all in src

I’m not sure where configure.log should be located so I haven’t been able to look at that, presumably it would tell me why the installation is failing.

Max

> On Jul 3, 2019, at 5:06 PM, Lawrence Mitchell <wence@gmx.li> wrote:
>
> Dear Max,
>
> (re-adding firedrake@imperial.ac.uk, please don't just email me when responding, you will likely get better/more timely advice if you keep the mailing list in the CC list, moreover, that way, the final solution is visible to everyone. Thanks!)
>
>
>> On 1 Jul 2019, at 07:29, Heldman, Max <heldmanm@bu.edu> wrote:
>>
>> Hi,
>>
>> I was able to fix the problem with the eigen download by reinstalling openssl. I am having a different issue now though during the PETSc build. The install log is attached.
>
> The relevant part of the install log is:
>
>    configure: WARNING: To override this behavior, please use --enable-unsupported configure option.
>    dyld: Library not loaded: /usr/local/opt/readline/lib/libreadline.7.dylib
>      Referenced from: /usr/local/bin/awk
>      Reason: image not found
>    dyld: Library not loaded: /usr/local/opt/readline/lib/libreadline.7.dylib
>      Referenced from: /usr/local/bin/awk
>      Reason: image not found
>    dyld: Library not loaded: /usr/local/opt/readline/lib/libreadline.7.dylib
>      Referenced from: /usr/local/bin/gawk
>      Reason: image not found
>    sed: stdout: Broken pipe
>    ./config.status: line 1590: 81450 Done(1)                 eval sed \"\$ac_sed_extra\" "$ac_file_inputs"
>
> It looks like you have a package-manager installed awk version in /usr/local/bin which is non-functional (macOS ships with awk in /usr/bin/awk). Can you run /usr/local/bin/awk on its own?
>
> Can you also post the output of "brew doctor" to see if homebrew spots any issues.
>
> Thanks,
>
> Lawrence