diff options
Diffstat (limited to 'math/cvc5/files/patch-cmake_FindANTLR3.cmake')
| -rw-r--r-- | math/cvc5/files/patch-cmake_FindANTLR3.cmake | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/math/cvc5/files/patch-cmake_FindANTLR3.cmake b/math/cvc5/files/patch-cmake_FindANTLR3.cmake deleted file mode 100644 index 4af6273f9f53..000000000000 --- a/math/cvc5/files/patch-cmake_FindANTLR3.cmake +++ /dev/null @@ -1,11 +0,0 @@ ---- cmake/FindANTLR3.cmake.orig 2022-12-12 22:42:47 UTC -+++ cmake/FindANTLR3.cmake -@@ -18,7 +18,7 @@ - - include(deps-helper) - --find_file(ANTLR3_JAR NAMES antlr-3.4-complete.jar PATH_SUFFIXES share/java/) -+set(ANTLR3_JAR ${FREEBSD_DISTDIR}/antlr-3.4-complete.jar) - find_path(ANTLR3_INCLUDE_DIR NAMES antlr3.h) - find_library(ANTLR3_LIBRARIES NAMES antlr3c) - |