Workview Office is shipped with a file called LIBS.LST. This file contains library search order descriptions for Xilinx families as well as for parts from other vendors. The Xilinx libraries listed are those used with XACTstep 6.
For XACTstep M1, the library paths have changed; therefore a new LIBS.LST is required.