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

今天学习了一下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环境变量的刷新，这正是我们想要的。

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