passing SystemVerilog files for synthesis to read_systemverilog through $::env(VERILOG_FILES)

[gkamendje]

I have installed the yosys-uhdm plugin so that I could read SystemVerilog source files directly during synthesis.
I am using the ORFS and I use -m systemverilog to load the systemverilog plugin during Yosys startup.

I have the following lines in my design/config.mk file

export YOSYS_READ_SV = 1
export VERILOG_FILES = /full_path_to_rtl/my_defs_pkg.sv \
                       /full_path_to_rtl/module1.sv     \
                       /full_path_to_rtl/module2.sv     \
                       /full_path_to_rtl/top.sv                

I have also modified the file scripts/synth_preamble.tcl to look like this:

if {[info exist ::env(YOSYS_READ_SV)]} {
# Read SystemVerilog Files

# ======> Trial 1) This does not work either <========
#read_systemverilog -defer {*}$vIdirsArgs -DSYNTHESIS -sverilog $::env(VERILOG_FILES) 


# ======>Trial 2)  This does not work <================
#foreach file $::env(VERILOG_FILES) {
#read_systemverilog -defer -verbose -d 2 {*}$vIdirsArgs -DSYNTHESIS -sv $file
#    
#}



# =====> Trial 3) This works but it is now what I want <========================
read_systemverilog -DSYNTHESIS -sv {*}$vIdirsArgs \
            /full_path_to_rtl/my_defs_pkg.sv      \
            /full_path_to_rtl/module1.sv          \
            /full_path_to_rtl/module2.sv          \
            /full_path_to_rtl/top.sv                


} else {
 #Read verilog files
 foreach file $::env(VERILOG_FILES) {
  read_verilog -defer -sv {*}$vIdirsArgs $file
 }

} 

I don't know if this is an issue with the way the variable $::env(VERILOG_FILES) is passed to read_systemverilog or something else
but:
for trial 1) above, the script complains that the file 'all_the_files_names_together_separated_with_a_blank' cannot be found for read
For trial 2) the lower level modules (module1.sv and module2.sv) are not elaborated/compiled and I also get the message [ERR:EL0528] undefined package "my_desf_pkg" which indicates that the package was not read properly.
Trial 3 works but it is not exactly what I am looking for since I am hard coding the file names in the synthesis script.
Could someone shed some light on what is going on here?

[maliberty]

@QuantumHD are you using this plugin?