def find_header(hdr):
 for dir in ['/usr/include', '/usr/local/include']:
  file = os.path.join(dir, hdr)
  if os.path.exists(file):
   return file
 raise ValueError(('Missing header: %s' % hdr))

def find_header ( hdr ) : for dir in [ '/usr/include' , '/usr/local/include' ] : file = os . path . join ( dir , hdr ) if os . path . exists ( file ) : return file raise ValueError ( ( 'Missing header: %s' % hdr ) )
find a given header in the system .