def has_include_file(include_dirs, filename):
 if (sys.platform == 'win32'):
  include_dirs += os.environ.get('INCLUDE', '.').split(';')
 for dir in include_dirs:
  if os.path.exists(os.path.join(dir, filename)):
   return True
 return False

def has_include_file ( include_dirs , filename ) : if ( sys . platform == 'win32' ) : include_dirs += os . environ . get ( 'INCLUDE' , '.' ) . split ( ';' ) for dir in include_dirs : if os . path . exists ( os . path . join ( dir , filename ) ) : return True return False
returns true if filename can be found in one of the directories in include_dirs .