jjzjj

c - Frama-C:在 Cygwin/Windows 8.1 上编译

coder 2024-06-13 原文

对于那些在windows上编译C的人来说一个简单的问题!

我想使用最新版本的Frama-C Windows 8 上的 C 静态分析器及其 GUI。据我所知，具有 Windows 安装程序的最新版本是 Boron，它已有 3-4 年的历史。所以看起来我需要自己编译它(版本 Fluorine 3)。然而，我在前几步绊倒了。

Frama-C Fluorine 3 的快速编译说明是 here .

  • 第 1 步:安装 OCaml。我已经从 here 安装了 Windows 版本.

  • 第 1b 步:我相信第 1 步安装了 Gtk 等。

  • 第 2b 步:运行:

    ./configure --prefix C:/windows/path/with/direct/slash && make && make install

关于这些说明的 4 件事让我感到困惑:

  1. 这应该是哪个configure 文件？如果我打开 Cygwin 终端，它会将我带到用户的主目录，如果我运行 ./configure，它会说没有这样的文件或目录。我认为它是指源代码中的配置文件之一，但有 10 多个。

  2. C:/windows/path/with/direct/slash 到底指向什么？请有人能给我一个真实的例子并给出一个很好的解释吗？

  3. 我应该在哪个目录中运行上述命令(步骤 2b)？

  4. 我应该将提取的 Frama-C 源代码分发放在哪个目录中？ (我应该只从存档中提取 src 目录，还是需要所有内容？)

我想做的就是在 Windows 8.1 上使用最新版本，按照他们主页上的“Short example”链接，我需要一个“绝对傻瓜”指南!

非常感谢

最佳答案

我遇到了你的问题，因为我也对“with/direct/slash”指令感到困惑。至少我可以帮助您解决其他问题:

  1. 按照惯例，它始终是 tarball 根目录中的配置文件。因此，提取 tar.gz 文件，然后 cd 进入创建的目录并从那里运行 ./configure。

  2. --prefix 定义了安装路径，所以我假设这个选项应该将可执行文件放在某个目录中，可以从 Windows 轻松访问(例如 Program Files 目录)。不过，我不确定“直接斜杠”位是什么意思。通常 Cygwin 的根目录实际上是 C: 驱动器上的某个目录(例如 C:\cygwin)，因此要访问文件层次结构的其余部分，通常在 Cygwin 根目录中有一个名为“cygdrive”的映射挂载。这样您就可以使用“/cygdrive/c/path/to/windows/directory”之类的内容从 Cygwin 中导航到广泛的层次结构。在 Cygwin 中使用“C:/”有点奇怪。对于它的值(value)，我只接受默认值(没有 --prefix 标志)或在 Cygwin 层次结构中指定一些东西，例如“/usr/local/bin”，然后从那里运行它。

  3. 从您指定的“--prefix”目录，因为那是可执行文件所在的位置。如果将其保留为默认值之一，则可以从任何地方运行可执行文件，因为它将位于您的 PATH 中的某个位置。

  4. 将全部提取到您的主文件夹中的某个工作目录中。安装后(这是“./configure && make && make install”所做的)，您可以丢弃提取的存档。

关于c - Frama-C:在 Cygwin/Windows 8.1 上编译，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/21877928/

上编Frama-Csectionlicodecwindowscompilationwindows-8.1

有关c - Frama-C:在 Cygwin/Windows 8.1 上编译的更多相关文章

  1. ruby - 在 Ruby 程序执行时阻止 Windows 7 PC 进入休眠状态 - 2

    我需要在客户计算机上运行Ruby应用程序。通常需要几天才能完成(复制大备份文件)。问题是如果启用sleep，它会中断应用程序。否则，计算机将持续运行数周，直到我下次访问为止。有什么方法可以防止执行期间休眠并让Windows在执行后休眠吗？欢迎任何疯狂的想法;-) 最佳答案 Here建议使用SetThreadExecutionStateWinAPI函数，使应用程序能够通知系统它正在使用中，从而防止系统在应用程序运行时进入休眠状态或关闭显示。像这样的东西:require'Win32API'ES_AWAYMODE_REQUIRED=0x0

  2. ruby - 在 Windows 机器上使用 Ruby 进行开发是否会适得其反？ - 2

    这似乎非常适得其反，因为太多的gem会在window上破裂。我一直在处理很多mysql和ruby​​-mysqlgem问题(gem本身发生段错误，一个名为UnixSocket的类显然在Windows机器上不能正常工作，等等)。我只是在浪费时间吗？我应该转向不同的脚本语言吗？ 最佳答案 我在Windows上使用Ruby的经验很少，但是当我开始使用Ruby时，我是在Windows上，我的总体印象是它不是Windows原生系统。因此，在主要使用Windows多年之后，开始使用Ruby促使我切换回原来的系统Unix，这次是Linux。Rub

  3. Vscode+Cmake配置并运行opencv环境(Windows和Ubuntu大同小异) - 2

    之前在培训新生的时候，windows环境下配置opencv环境一直教的都是网上主流的vsstudio配置属性表，但是这个似乎对新生来说难度略高(虽然个人觉得完全是他们自己的问题)，加之暑假之后对cmake实在是爱不释手，且这样配置确实十分简单(其实都不需要配置)，故斗胆妄言vscode下配置CV之法。其实极为简单，图比较多所以很长。如果你看此文还配不好，你应该思考一下是不是自己的问题。闲话少说，直接开始。0.CMkae简介有的人到大二了都不知道cmake是什么，我不说是谁。CMake是一个开源免费并且跨平台的构建工具，可以用简单的语句来描述所有平台的编译过程。它能够根据当前所在平台输出对应的m

  4. 深度学习部署：Windows安装pycocotools报错解决方法 - 2

    深度学习部署：Windows安装pycocotools报错解决方法1.pycocotools库的简介2.pycocotools安装的坑3.解决办法更多Ai资讯：公主号AiCharm本系列是作者在跑一些深度学习实例时，遇到的各种各样的问题及解决办法，希望能够帮助到大家。ERROR:Commanderroredoutwithexitstatus1:'D:\Anaconda3\python.exe'-u-c'importsys,setuptools,tokenize;sys.argv[0]='"'"'C:\\Users\\46653\\AppData\\Local\\Temp\\pip-instal

  5. ruby - 如何在 Ruby 中执行 Windows CLI 命令？ - 2

    我在目录“C:\DocumentsandSettings\test.exe”中有一个文件，但是当我用单引号编写命令时`C:\DocumentsandSettings\test.exe(我无法在此框中显示)，用于在Ruby中执行命令，我无法这样做，我收到的错误是找不到文件或目录。我尝试用“//”和“\”替换“\”，但似乎没有任何效果。我也使用过系统、IO.popen和exec命令，但所有的努力都是徒劳的。exec命令还使程序退出，这是我不想发生的。提前致谢。 最佳答案 反引号环境就像双引号，所以反斜杠用于转义。此外，Ruby会将空格解

  6. ruby - 如何使用 fog 在 s3 上编辑文件？ - 2

    我在s3上有一堆文件。我使用.fog配置文件设置了雾，这样我就可以启动fog并获得提示。如果我知道文件的路径，现在如何访问和编辑s3上的文件？ 最佳答案 最简单的方法可能是使用IRB或PRY获取文件的本地副本，或者编写一个简单的脚本来下载、编辑然后重新上传。假设您有一个名为data.txt的文件。您可以使用以下脚本初始化与S3的连接。require'fog'connection=Fog::Storage.new({:provider=>'AWS',:aws_secret_access_key=>YOUR_SECRET_ACCESS_

  7. ruby-on-rails - 如何使用 Xcode 4.5.1 在 OSX Lion 10.8.2 上编译 EventMachine gem - 2

    我找遍了所有我能找到的地方，但似乎找不到解决这个问题的办法。我在Lion10.8.2上使用Xcode4.5.1，并尝试为Rails项目运行bundle，但它一直卡在这上面。我正在为Heroku使用Thingem。Bolanos@Jeremys-Mac-mini⦿-1.9.3fishfarm$sudogeminstalleventmachinePassword:Buildingnativeextensions.Thiscouldtakeawhile...ERROR:Errorinstallingeventmachine:ERROR:Failedtobuildgemnativeextens

  8. ruby - 在 Linux 上编译 Ruby 1.9.2 所需的先决条件？ - 2

    我是Ruby和RoR的新手。我有一个带有Ubuntu镜像的干净Linode实例，我想从源代码编译Ruby而不是使用apt-get。我已经在谷歌上搜索了执行此操作的说明，但经过一些尝试后，当我尝试运行一些教程示例时，我不断收到有关缺少zlib和其他一些包的错误。任何人都可以给我详细的说明(或链接)，教我如何在从源代码编译Ruby之前安装必要的必备包吗？我的目的是编译Ruby的最新稳定版本，然后安装Rubygems和Rails。提前感谢您的帮助!!! 最佳答案 Thisblogpost涵盖从源代码编译ruby​​所需的包和安装过程；它引

  9. ruby - 错误 : Failed to build gem native extension on Windows - 2

    我在安装“redcarpet”gem时遇到以下错误。它在我friend的机器上安装没有问题。(我想安装它来运行yard)ruby版本:1.9.3命令输出:D:\Learning\Common_POM_FW\SampleProjects>yard[error]:Missing'redcarpet'gemforMarkdownformatting.Installitwith`geminstallredcarpet`D:\Learning\Common_POM_FW\SampleProjects>geminstallredcarpetTemporarilyenhancingPATHtoinc

  10. ruby - 从 Ruby 连接到适用于 Windows Phone 8 的 Microsoft 推送通知服务 - 2

    我们正在开发一个需要推送通知的WP8应用程序。为了测试它，我们使用CURL命令行运行推送通知POST请求，确保它实际连接，使用客户端SSL证书进行身份验证并发送正确的数据。我们确实知道，当我们收到对设备的推送时，这项工作是有效的。这是我们一直用于测试目的的CURL命令:curl--certclient_cert.pem-v-H"Content-Type:text/xml"-H"X-WindowsPhone-Target:Toast"-H"X-NotificationClass:2"-XPOST-d"MytitleMysubtitle"https://db3.notify.live.ne

随机推荐