pkgsrc/devel/verifast/files
..
GNUmakefile.settings