Request to pass parameters to the tcl script in yosys

[deepali9]

I am currently trying to do this in my Makefile :
yosys -l example.yslog -c script.tcl

I need to set certain parameters values from the makefile everytime I call the yosys-tcl script.
I would like to do something of sorts :
yosys -l example.yslog -c script.tcl -execute "set PARAMS = "01234"
Is there a way to do that?
These aren't just environment variables.

Thank you

[rodrigomelo9]

Hi @deepali9, it was implemented in #758.

You can create a file called test.tcl with:

puts "argument count: $argc"
puts "argument 0: [lindex $argv 0]"
puts "script name: $argv0"

And after that run:

yosys -p 'tcl test.tcl hello world'

[jalcim]

its didn't work for $argv1