Question

我已经使用opam安装了frama-c（在Ubuntu 16.04上）。我尝试安装＆＃34; hello_world.ml＆＃34;作为插件（插件开发指南）使用Makefile

If ShiftName Like CashName Then
    CashName.Font.Strikethrough = True

运行make，我明白了：

    FRAMAC_SHARE :=$(shell frama-c.byte -print-path)
    FRAMAC_LIBDIR :=$(shell frama-c.byte -print-libpath)
    PLUGIN_NAME = Hello
    PLUGIN_CMO = hello_word
    include $(FRAMAC_SHARE)/Makefile.dynamic

如何解决此错误？

Answer 1

您应该尝试遵循以下建议：

"The file 'Hello.mli' must be provided. The simplest workaround is 'touch Hello.mli'

消息.depend: Aucun fichier ou dossier de ce type不是错误。它是自动生成的include .depend的人工制品。 Gnu make会在构建之后自动重启以考虑它。

Answer 2

我运行touch Hello.mli，然后运行make，我得到了这个：

Ocamldep     ./.depend
Generating   META.frama-c-hello
make: ***  Aucune règle pour fabriquer la cible « hello_word.cmo », nécessaire pour « Hello.cmi ». Arrêt.

在ubuntu 16.04上安装hello_world插件时出错

2 个答案: