How do I use command line to compile Libero SoC projects?
Sorry, this is a bit late but according to their documentation section 1.12, you run:
libero SCRIPT:myscript.tcl &quot;SCRIPT_ARGS:one two three&quot;

The SCRIPT and SCRIPT_ARGS are case insensitive.