8.4.2 Linux下ModelSim的配置