Lines Matching defs:procheck
1073 proc run-procheck {args} {
1087 catch {exec procheck >@ stdout $f}
2174 set procheck [auto_execok procheck]
2179 if {($procheck == {}) || ($tclchecker == {})} {
2180 puts " Tools 'procheck'/'tclchecker' not found, no check"
2184 if {($frink == {}) || ($procheck == {}) || ($tclchecker == {})
2188 if {($frink == {}) && ($procheck == {}) && ($tclchecker == {})
2199 } elseif {$procheck != {}} {
2200 run-procheck
2257 set procheck [auto_execok procheck]
2262 if {($procheck == {}) || ($tclchecker == {})} {
2263 puts " Tools 'procheck'/'tclchecker' not found, no check"
2267 if {($frink == {}) || ($procheck == {}) || ($tclchecker == {}) ||
2271 if {($frink == {}) && ($procheck == {}) && ($nagelfar == {})
2282 } elseif {$procheck != {}} {
2283 run-procheck $m