赛灵思
直播中

孙缅禧

8年用户 255经验值
私信 关注
[问答]

启动Vivado v2015.2(64位)时出现分段错误

你好,
我在CentOS 7中安装了Vivado v2015.2(64位)。
但是,Vivado工具在第二次出现时出现以下错误消息。
/opt/Xilinx/Vivado/2015.2/bin/loader:line 157:3687分段错误(核心转储)“$ RDI_PROG”“$ @”
请让我知道我要做什么。
谢谢,
Chorong Kim

以上来自于谷歌翻译


以下为原文


Hello,

I installed Vivado v2015.2 (64-bit) in CentOS 7.
However, Vivado tool is disappeared in a second with the following error message.

   /opt/Xilinx/Vivado/2015.2/bin/loader: line 157: 3687 Segmentation fault (core dumped) "$RDI_PROG" "$@"

Please, let me know what I have to do.


Thanks,
Chorong Kim

回帖(12)

姚庭芳

2018-12-13 10:49:58
你好@ polaris042
我仍然观察到设置了环境变量GNOME_DESKTOP_SESSION_ID。
你可以尝试取消它吗?
谢谢,
维奈
--------------------------------------------------
------------------------------------------您是否尝试在Google中输入问题?

如果没有,你应该在发布之前。
此外,MARK这是一个答案,以防它有助于解决您的查询/问题。给予帮助您找到解决方案的帖子。
在原帖中查看解决方案

以上来自于谷歌翻译


以下为原文

Hi @polaris042
 
I still observe that the environmental variable GNOME_DESKTOP_SESSION_ID is set. Can you try unsetting it?
 
Thanks,
Vinay
--------------------------------------------------------------------------------------------
Have you tried typing your question in Google? If not you should before posting. Also, MARK this is as an answer in case it helped resolve your query/issue.Give kudos to the post that helped you to find the solution.View solution in original post
举报

姚庭芳

2018-12-13 11:05:05
你好@ polaris042
取消设置环境变量GNOME_DESKTOP_SESSION_ID并尝试?
谢谢,
维奈
--------------------------------------------------
------------------------------------------您是否尝试在Google中输入问题?

如果没有,你应该在发布之前。
此外,MARK这是一个答案,以防它有助于解决您的查询/问题。给予帮助您找到解决方案的帖子。

以上来自于谷歌翻译


以下为原文

Hi @polaris042
 
unset the environmental variable GNOME_DESKTOP_SESSION_ID and try?
 
Thanks,
Vinay
--------------------------------------------------------------------------------------------
Have you tried typing your question in Google? If not you should before posting. Also, MARK this is as an answer in case it helped resolve your query/issue.Give kudos to the post that helped you to find the solution.
举报

逯荣荣

2018-12-13 11:23:57
是的,我尝试过但是没有用。
嗯..'unset GNOME_DESKTOP_SESSION_ID'之后的结果是什么?
当我在那之后尝试'echo $ GNOME_DESKTOP_SESSION_ID'时,我得到了'这是被贬低'。
这是正确的结果吗?
谢谢,
Chorong Kim

以上来自于谷歌翻译


以下为原文

Yes, I tried it but it doesn't worked.  
 
Hmm.. what is the result after 'unset GNOME_DESKTOP_SESSION_ID' ? 
When I tried 'echo $GNOME_DESKTOP_SESSION_ID' after that, I got 'this-is-depreated'. 
Is it a correct result?
 
Thanks,
Chorong Kim
 
举报

姚庭芳

2018-12-13 11:33:09
你好@ polaris042
共享命令的输出:env
谢谢,
维奈
--------------------------------------------------
------------------------------------------您是否尝试在Google中输入问题?

如果没有,你应该在发布之前。
此外,MARK这是一个答案,以防它有助于解决您的查询/问题。给予帮助您找到解决方案的帖子。

以上来自于谷歌翻译


以下为原文

Hi @polaris042
 
Share the output of the command: env
 
Thanks,
Vinay
--------------------------------------------------------------------------------------------
Have you tried typing your question in Google? If not you should before posting. Also, MARK this is as an answer in case it helped resolve your query/issue.Give kudos to the post that helped you to find the solution.
举报

更多回帖

发帖
×
20
完善资料,
赚取积分