cmake jbmc build failure on macos

[markrtuttle]

• CBMC version: 5.12
• Operating system: macos
• Exact command line resulting in the issue:
  • cmake -DCMAKE_C_COMPILER=/usr/bin/clang -S. -Bbuild
  • cmake --build build
• What behaviour did you expect: cmake would build cbmc and jbmc
• What happened instead: cmake fails with a maven error message

I'm writing a homebrew formula for cbmc on macos. I'd like to include jbmc, but I'm unable to build it on macos with cmake. I can use -DWITH_JBMC=OFF and build cbmc on its own. I'm aware of #4956.

Using the develop branch at commit f405c6e,

laptop:/tmp/cbmc cmake -DCMAKE_C_COMPILER=/usr/bin/clang -S. -Bbuild 
laptop:/tmp/cbmc cmake --build build

ends with

[ 85%] Linking CXX executable ../bin/unit
[ 85%] Built target unit
Scanning dependencies of target java-models-library
[ERROR] The goal you specified requires a project to execute but there is no POM in this directory (/private/tmp/cbmc/jbmc/lib/java-models-library). Please verify you invoked Maven from the correct directory. -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MissingProjectException
make[2]: *** [jbmc/CMakeFiles/java-models-library] Error 1
make[1]: *** [jbmc/CMakeFiles/java-models-library.dir/all] Error 2
make: *** [all] Error 2

I'm using the brew packages for java and maven

laptop:/tmp/cbmc java --version
openjdk 13.0.2 2020-01-14
OpenJDK Runtime Environment (build 13.0.2+8)
OpenJDK 64-Bit Server VM (build 13.0.2+8, mixed mode, sharing)
laptop:/tmp/cbmc mvn --version
Apache Maven 3.6.3 (cecedd343002696d0abb50b32b541b8a6ba2883f)
Maven home: /usr/local/Cellar/maven/3.6.3_1/libexec
Java version: 13.0.2, vendor: N/A, runtime: /usr/local/Cellar/openjdk/13.0.2+8_2/libexec/openjdk.jdk/Contents/Home
Default locale: en_US, platform encoding: UTF-8
OS name: "mac os x", version: "10.14.6", arch: "x86_64", family: "mac"

[markrtuttle]

You can see pull request for the homebrew formula (Homebrew/homebrew-core#53282). I am installing only the main binaries

• cbmc
• goto-analyzer
• goto-cc
• goto-diff
• goto-gcc
• goto-harness
• goto-instrument

because the others like converter and driver are too generically named to install in /usr/local/bin. Do you agree?

[markrtuttle]

I failed to follow the instruction to "git submodule update --init".