When I modify the Target Simulator to Questasim/Modelsim in the interface, a window pops up stating the following:
To confirm the status of the compiled libraries, please run compile_simlib -info.
When I type the command "compile_simlib -info" in the Tcl console, the -info option cannot be recognized:
ERROR: [Common 17-170] Unknown option '-info', please type 'compile_simlib -help' for usage info.
In the help of compile_simlib, there is also no -info option.
The pop-up dialog box refers to the wrong command name. The Tcl command that should be shown in the pop-up dialog is "report_simlib_info"
This issue will be fixed in Vivado Design Suite 2014.1.