vivadoのプロジェクトからファイルリストを得る

ほぼ自分用のメモですが、いつも忘れるのでここに tcl 張っておきます。

set f [open "file_list.txt" w]
foreach fname [get_files] {
  puts $f $fname
}
close $f

なかなか tcl 慣れない...