请教：ModelSim在linux下调用Xilinx库仿真出现问题

仿真用到Xilinx生成的库，
在windows版本下的Modelsim中正常，
移到linux下后，第一次跑也没问题，
改了程序中一个小数据（对外应无影响）后，再跑就不行了，数据改回去也不行。
报错为“#**Error:(vsim-42) Unsupported ModelSim format for "路径/xilinxcorelib_ver".(Format:3)
总共加了4个库都是这样的错误。
还一个错误就是引用了一个xilinx生成的ram，说例化失败，感觉也应该是上面的库出错所导致的。
真是郁闷啊！
向大侠们求助！谢谢~~~~~~~~~~~

windows和linux下的路径标识符不一样？\和/ ?

应该不是，那样的话应该说找不到，而不是格式不对