freebsd-ports/math/cvc4/files
..
patch-cmake_FindANTLR.cmake
patch-cmake_FindReadline.cmake
patch-doc_CMakeLists.txt
patch-examples_CMakeLists.txt
patch-src_base_configuration.cpp
patch-src_CMakeLists.txt
patch-src_main_portfolio.cpp
patch-swig4
patch-test_CMakeLists.txt
patch-test_regress_CMakeLists.txt
patch-test_system_CMakeLists.txt