freebsd-ports/math/cvc3/files
..
patch-src-Makefile