发表主题您当前位置:首页 / 分享 / Windows

Windows系统不重启而使环境变量生效的方法

...@  2012-10-31  0  0  800

今天学习了一下Cbmc这个model checking的工具:http://www.cprover.org/cbmc/

发现其需要配置Visual Studio的CL环境变量。配置方法其实也很简单(这里以VS 2010为例):

-------------------------------------------------------------------------------------

首先,配置CL命令行目录:D:\Program Files\Microsoft Visual Studio 10.0\VC\bin,将它加到PATH环境变量最后

其次,添加lib与INCLUDE环境变量:

lib: D:\Program Files\Microsoft Visual Studio 10.0\VC\lib

INCLUDE: C:\Program Files\Microsoft Visual Studio 10.0\VC\include  (INCLUDE也需要用“;”和之前相隔,并加到最后)

最后,还要将mspdb80.dll所在目录加到PATH最后:D:\Program Files\Microsoft Visual Studio 10.0\Common7\IDE

设置完成后就可以真接执行cl命令了。

-------------------------------------------------------------------------------------

但是往往修改完系统环境变量后需要重启,很麻烦,看到网上写了一种很简单的方法,转载过来:

在“我的电脑”->“属性”->“高级”->“环境变量”中增加或修改环境变量后,需重启系统才能使之生效。有没有什么方法可让它即时生效呢?下面介绍一种方法:

以修改环境变量“PATH”为例,修改完成后,运行cmd命令进入DOS命令提示符,输入:"set PATH=C:",关闭DOS窗口。再次运行cmd命令打开dos窗口,输入:"echo %PATH%" ,可以发现“我的电脑”->“属性”->“高级”->“环境变量”中设置的 PATH 值已经生效。

不用担心DOS窗口中的修改会影响环境变量的值,dos窗口中的环境变量只是Windows环境变量的一个副本而已。但是对副本的修改却会引发Windows环境变量的刷新,这正是我们想要的。

其他的环境变量也可以参用类似的方法更新,确实很方便。

说明:该主题及内容可以随意免费转发,但转发时请注明来源于“哈喽吧”哦^_^。

回复主题

上一篇:解决win7不能打开gif动画图片问题

下一篇:windows下查看端口是否被占用

最新回复(0)

暂无回复
回复主题
提示:请先登录后再回复主题。
  • 站内搜索
  • 百度搜索
  • 搜狗搜索