2016-05-13 15 views
0

私はopam(Ubuntu 16.04上)を使ってframa-cをインストールしました。私はこのエラーを解決するにはどうすればよいubuntuにhello_worldプラグインをインストール中にエラーが発生しました16.04

 /home/amira/.opam/system/share/frama-c/Makefile.dynamic:295: .depend: Aucun fichier ou dossier de ce type 
    /home/amira/.opam/system/share/frama-c/Makefile.plugin:204: *** "The file 'Hello.mli' must be provided. The simplest workaround is 'touch Hello.mli'.". Arrêt. 

: は、私はこれを取得、

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 

は、makeを実行するMakefileを使用して(プラグイン開発ガイドの)プラグインとして「hello_world.ml」をインストールしよう?

+0

あなたは2番目の警告( 'Hello.mli'に触れる)の指示をしてみてくださいましたか? – byako

+0

'Hello.mli'は作成されません。しかし、 'make 'を実行した後、私はこれを手に入れます ' Ocamldep ./.depend META.frama-c-helloを生成します。 make:*** Aucunerèglepour fabriquer la cible«hello_word.cmo»、«前のページ。 Arrêt。 – Amiramet

答えて

0

あなたはアドバイスに従うことを試してみてください:

"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はそれを考慮して自動的に再起動します。

0

私は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. 
+0

答えの代わりに、現在の問題を反映するために質問を編集してください。また、あなたのディレクトリに存在するファイルのリストも提供してください。セクション2.2.4に従っていれば、 'Makefile'とともに' hello_world.ml'ファイルがあるはずです。さらに、2.2.5節では、明示的に 'Hello.mli'が必要であると述べています。 – Virgile

+0

私のディレクトリにはHello.cmi Hello_DEP Hello.mli hello_world.ml Makefile META.frama-c-hello – Amiramet

+0

があります。あなたの 'Makefile'の内容は何ですか?マグネシウムをインストールしたマシンのマニュアルのp17と18の 'Makefile'、' Hello.mli'と 'hello_world.ml'を含むディレクトリに' make'を実行すると、すべて正常です。 – Virgile

関連する問題