开源程序提供源码和CMakeCache.txt后开始编译获得Makefile

1.本机上windows系统，且已经按照有Cygwin64 Terminal；

2.启动Cygwin64 Terminal并目录切换到CMakeCache.txt所在的文件夹目录；

3.运行命令cmake+完整上述文件夹目录

4.会在上述文件夹目录内与并列看到Makefile文件和其它辅助文件。

下面以蔡少伟教授团队新发布的X-SAT演示相关过程：

---

 

	相关链接 约束求解研究室网站：  http://solver.ios.ac.cn/   X-SAT代码地址： https://github.com/shaowei-cai-group/X-SAT
	下载并解压到自己设定的 /cygdrive/d/SAT_study2024/X-SAT-main/文件夹下。
	已经安装有Cygwin64 Terminal并双击运行：  进入相应路径  运行命令行：
	运行前：
	运行：
	运行后