Tap formula isn't working

[LeventErkok]

Issuing:

brew install cvc4/cvc4/cvc4 --HEAD --with-java-bindings

ends up in failure with:

bash
-c
source /private/tmp/cvc4-20200727-69733-71pi7c/venv/bin/activate && ./configure.sh --prefix\=/usr/local/Cellar/cvc4/HEAD-ffed1a0 --symfpu --cryptominisat --language-bindings\=java

*** configure.sh: invalid option '--language-bindings=java' (try -h)

[jensgerlach]

Similar, here

brew tap cvc4/cvc4
time brew install cvc4/cvc4/cvc4

fails with

Installing cvc4/cvc4/cvc4
==> contrib/get-antlr-3.4
==> contrib/get-symfpu
==> ./configure.sh --prefix=/usr/local/Cellar/cvc4/1.7 --symfpu --cryptominisat --python3
==> make install
Last 15 lines from /Users/jens/Library/Logs/Homebrew/cvc4/04.make:
2020-09-18 12:54:49 +0200

make
install

make: *** No rule to make target `install'.  Stop.

Maybe, this problem is related to Xcode 12? (both on catalina and big sur)

[leuschel]

On Mojave I have this problem when running brew install cvc4/cvc4/cvc4

==> Installing cvc4/cvc4/cvc4
==> contrib/get-antlr-3.4
==> contrib/get-symfpu
==> ./configure.sh --prefix=/usr/local/Cellar/cvc4/1.7 --symfpu --cryptominisat --python3
==> make install
Last 15 lines from /Users/leuschel/Library/Logs/Homebrew/cvc4/04.make:
/Library/Frameworks/GMP.framework/Headers/gmp.h:515:7: error: no member named 'FILE' in namespace 'std'; did you mean '::FILE'?
using std::FILE;
      ^~~~~~~~~
      ::FILE
/Library/Developer/CommandLineTools/SDKs/MacOSX10.14.sdk/usr/include/_stdio.h:157:3: note: '::FILE' declared here
} FILE;
  ^
[ 28%] Building CXX object src/CMakeFiles/cvc4.dir/theory/arith/arith_msum.cpp.o
[ 28%] Building CXX object src/CMakeFiles/cvc4.dir/theory/arith/arith_rewriter.cpp.o
[ 28%] Building CXX object src/CMakeFiles/cvc4.dir/theory/arith/arith_static_learner.cpp.o
1 error generated.
make[2]: *** [src/CMakeFiles/cvc4.dir/theory/arith/approx_simplex.cpp.o] Error 1
make[2]: *** Waiting for unfinished jobs....
make[1]: *** [src/CMakeFiles/cvc4.dir/all] Error 2
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

[bieniusa]

Issuing:

brew install cvc4/cvc4/cvc4 --HEAD --with-java-bindings

ends up in failure with:

bash
-c
source /private/tmp/cvc4-20200727-69733-71pi7c/venv/bin/activate && ./configure.sh --prefix\=/usr/local/Cellar/cvc4/HEAD-ffed1a0 --symfpu --cryptominisat --language-bindings\=java

*** configure.sh: invalid option '--language-bindings=java' (try -h)

Figured it out: The brackets are not for optional parameters, but you have to write them as part of the command (it is literally):

brew install cvc4/cvc4/cvc4 [--HEAD] [--with-java-bindings]

[4tXJ7f]

Thank you for the report and sorry about the slow response time. We are planning to revisit the Homebrew tap in the near future.