E包装器脚本不创建文件
E包装器脚本不创建文件
提问于 2022-08-31 17:12:54
我对Frama还不熟悉，我想问一下是什么导致了这个问题：
当我在没有头文件的带注释的代码上运行header包装脚本时，将正确地创建a.out.e-acsl文件。
但是，当我尝试使用-E和-I包括头文件时，包装器脚本无法打印任何文件，也不会生成任何文件。
gcc.sh gcc.sh -E "-I src/include -I .“main.c
我注意到，当添加-I选项时，这个问题会特别发生。
我使用Frama-C24.0(铬).任何帮助都将不胜感激。谢谢。
回答 1
Stack Overflow用户
回答已采纳
发布于 2022-09-01 07:01:35
我只是在this answer中添加了一个细节，这在这里会有所帮助:问题是e-acsl-gcc.sh不能处理-I/-D及其参数之间的空格。
GCC同时接受-I dir和-Idir，但对于e-acsl-gcc.sh，只应该使用-Idir。
因此，希望以下内容能够奏效：
e-acsl-gcc.sh -E "-Isrc/include -I..." main.c页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/73559561
复制相关文章
相似问题
腾讯云开发者
