file(GLOB Eigen_src_subdirectories "*")
foreach(f ${Eigen_src_subdirectories})
  if(NOT f MATCHES ".txt")
    add_subdirectory(${f})
  endif()
endforeach()