Windows系统不重启而使环境变量生效的方法
来源:互联网 发布:淘宝安装师傅接单平台 编辑:程序博客网 时间:2024/05/21 06:59
今天学习了一下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环境变量的刷新,这正是我们想要的。
其他的环境变量也可以参用类似的方法更新,确实很方便。
- Windows系统不重启而使环境变量生效的方法
- 如何使windows系统环境变量的改变即时生效
- Windows环境变量的生效
- windows下更新环境变量不需要重启系统快速生效的方法(原理篇)
- 如何使windows的环境变量立即生效
- Win7不重启系统 使修改后的环境变量生效
- windows 下使环境变量生效
- 修改Windows环境变量后不重新启动使之立即生效的方法
- 修改Windows环境变量后不重新启动使之立即生效的方法
- Linux/Unix命令:partprobe 系统不重启而使新的磁盘分区生效
- Windows系统设置环境变量后无需重启系统即可让变量生效的解决办法
- Windows系统设置环境变量后无需重启系统即可让变量生效的解决办法
- windows环境变量修改立刻生效的办法
- windows 环境变量设置立即生效的办法
- Windows下配置的环境变量未生效
- windows 环境变量设置立即生效的办法
- 电脑上使环境变量立即生效的方法
- 系统环境变量何时生效的 分析调查报告
- [经验]在Windows Server上安装Metasploit Framework 3.7.1出现问题及解决方法
- [Java Path Finder][JPF学习笔记][1]在Windows Server上安装JPF
- [Java Path Finder][JPF学习笔记][2]在Windows Server上安装JPF
- Soot为什么经常被用作Instrumentation的Framework?
- 基于Soot和temiflex对Dacapo数据集进行静态分析
- Windows系统不重启而使环境变量生效的方法
- 静态分析实验数据集总结[1]
- Windows Server 2008运行Delphi程序报xxxxx.bpl错误
- Java Grande benchmark suite总结
- 搜索、查询及下载LNCS论文的快捷方法
- Satisfiability Modulo Theories Competition (SMT-COMP)
- Windows下用eclipse和mingw开发C/C++的开发环境搭建(转载)
- [CBMC学习笔记][3]正确Eclipse版本的下载和配置
- [Java Path Finder][JPF学习笔记][3]使用jpf-shell