Makefile.vars
include/*
*/*.dependencies
*/*.awk
TEST/*
EXTERNAL/CSSCPA_filter
PROVER/*
SIMPLE_APPS/*

