reinstalll fails on MacOS 10.15

[BillHallahan]

Trying to brew reinstall (when using --HEAD) results in the following output:

brew reinstall cvc4
==> Reinstalling cvc4/cvc4/cvc4 
==> Cloning https://github.com/CVC4/CVC4.git
Updating /Users/BillHallahan/Library/Caches/Homebrew/cvc4--git
==> Checking out branch master
Already on 'master'
Your branch is up-to-date with 'origin/master'.
HEAD is now at 5489ef0 Remove front-end support for Chain (#3767)
==> contrib/get-antlr-3.4
==> contrib/get-symfpu
==> ./configure.sh --prefix=/usr/local/Cellar/cvc4/HEAD-5489ef0 --symfpu --cryptominisat
==> make install
Last 15 lines from /Users/BillHallahan/Library/Logs/Homebrew/cvc4/04.make:
make[2]: *** [src/options/options.cpp] Error 1
make[1]: *** [src/options/CMakeFiles/gen-options.dir/all] Error 2
make[1]: *** Waiting for unfinished jobs....
[  2%] Built target gen-tags-debug
[  2%] Built target gen-tags-trace
[  2%] Built target gen-gitinfo
[  2%] Built target gen-theory
[  2%] Generating expr.h
[  2%] Generating kind.cpp
[  3%] Generating expr_manager.h
[  3%] Generating expr.cpp
[  3%] Generating metakind.cpp
[  3%] Generating expr_manager.cpp
[  3%] Built target gen-expr
make: *** [all] Error 2

If reporting this issue please do so at (not Homebrew/brew or Homebrew/core):
  https://github.com/cvc4/homebrew-cvc4/issues

[pathawks]

Possible duplicate of #33

[4tXJ7f]

Sorry about the long delay. I have finally updated the tap to install the latest release (1.8) and fixed the toml issue. It seems to work both locally (Big Sur) and on GitHub actions (Catalina). Please give it a try and let me know if it works for you.