projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b7e392) | patch
When building ANTLR via CMake, do not require javac #6224 (#6225)
authorAndrew V. Jones <andrewvaughanj@gmail.com>
Sat, 27 Mar 2021 19:12:28 +0000 (19:12 +0000)
committerGitHub <noreply@github.com>
Sat, 27 Mar 2021 19:12:28 +0000 (14:12 -0500)
commit9f5fcab6661ccd1c64c0bd8ce1bba44f61702be2
treee576770d2b9d4804f846457b94ad48ce657baaf8tree
parent4b7e392eca42f89d103c5eb74157a44d4b40fe4bcommit | diff
When building ANTLR via CMake, do not require javac #6224 (#6225)

As title; attempts to correct #6224.

Signed-off-by: Andrew V. Jones andrewvaughanj@gmail.com
cmake/FindANTLR3.cmake diff | blob | history