☰

一般信息，了解什么make是：

tag-icon • tag-icon emacs
一般信息，了解什么make是：

警告（emacs）：Proof General 为 GNU Emacs 26.1 编译但在 GNU Emacs 26.2 上运行：建议使用“make clean; make”。

我应该把哪里清理干净？

答案1

文本解释：
由于当前的 Emacs 比“Proof General”创建时的新，因此“Proof general”中的“内容”可能无法与新 Emacs 一起使用。请重新构建“Proof General”。

一般信息，了解什么make是：

make- 是一个实用程序，程序员可以使用它来设置软件项目的“自动化”compilation并linking生成最终的可执行文件。

compilation使用（通用术语）compiler（例如gcc）将（文本文件、编程语言中的代码等）
转换为（可以是的中间格式文件）。source codeCobject fileslinked

linking类似地使用linker（例如 gnu ld）
将标准例程库中的用户对象和链接器模块（例如printf和c.o启动模块）组合成最终的可执行文件。

通常make读取Makefile（文本、程序员对如何构建项目最终结果的定义）并解释其必要部分以（重新）创建可执行文件。

通常，makefile 包含一组指令，用于将设置“清理”到“初始化”状态 - 为一般的启动做准备make- 通常尝试创建最终的可执行文件。同样常见的是一组类似的“安装”指令；即将所需文件移动到系统位置，允许简单的program（项目名称）启动最终的可执行文件。

如何使用：

  1. 通过安装编译器及其依赖项（可能很大）进行准备。
  2. 为项目创建一个目录，然后进入该目录。
  3. 下载并提取源代码档案或者使用例如git从 github 获取。
  4. 执行make clean && ./configure——清理并检测操作系统设置和编译器参数。
  5. 执行make以尝试创建最终的可执行文件。
  6. 执行make install以安装可执行文件；假设以上没有任何失败。

最后注意：以上假设该项目是一个用 C 编写的通用程序，可生成可执行文件。情况可能并非如此，make可用于具有类似需求的其他项目。

不保证以上内容 100% 正确。;-)

相关内容