|
发表于 2020-2-14 14:51:31
|
显示全部楼层
从我装的incisive 15.20版本看, $INCISIVE_HOME/INCISIVE151/kits/VerificationKit/ 下面确实应该有一个文件 env.sh的,为什么你没有呢?难道是软件装的不完整?如果你们本地有其他版本的incisive的话,直接拷贝一个过来到这个目录下就可以了,不过我看是要系统管理员做这事才行。
还有一种可能,就是你用错了shell, 对于.bashrc 来说,你可以直接 source ./.bashrc, 或者是 /bin/bash -f ./.bashrc, 如果你简单的用/bin/sh 当然是不对的。 |
|