set rtl_all {
  ../../rtl/ariane.v
}