【问题标题】:Splint : Cannot open file夹板:无法打开文件
【发布时间】:2015-07-07 12:14:09
【问题描述】:

当尝试通过 makefile 使用 Splint 对我的项目进行分析时,我收到了以下错误消息:

Cannot open file: ../splint_evaluationa/my_project/source/*.c

Finished checking --- no code processed

这是我的生成文件:

SPLINT_FLAGS =-preproc  \
              -warnposixheaders       \
SRCS=/home/user/splint_evaluationa/my_project/source/*.c
INC_FLAGS=-I/home/user/splint_evaluation/my_project/include

do_splint:
      splint $(SPLINT_FLAGS) $(INC_FLAGS) $(SRCS)

【问题讨论】:

  • -warnposixheaders 行后面的反斜杠不正确。
  • 没有反斜杠我得到了同样的错误

标签: makefile splint


【解决方案1】:

你有一个额外的a,试试吧:

SRCS=/home/user/splint_evaluation/my_project/source/*.c 

【讨论】:

  • 你说得对,我没有注意到这一点……很抱歉,它不值得作为分析问题发布……
猜你喜欢
  • 2017-03-12
  • 1970-01-01
  • 1970-01-01
  • 2019-05-23
  • 2019-01-06
  • 1970-01-01
  • 1970-01-01
  • 2018-12-31
  • 2015-11-09
相关资源
最近更新 更多