freebsd-ports/math/cadical/files
..
patch-configure