1

私のコード「モジュールのタイトル」の一番上の行は、「検索ディレクトリ 'C:\z3-4.3.0-x64\bin\' が見つかりませんでした」という二重の警告を出しています。1 つは私の .fs (f#) ファイル用で、もう 1 つは FSC ファイル用です。私は、FSC がメイン プロジェクト ファイルと関係があるか、何らかの関係があると考えています。

その特定の場所に z3 ライブラリ フォルダーを配置することもできると思いますが、実際にはそうしたくありません。移植性のために、このプロジェクトをローカライズする必要があります。そのファイル パス文字列がハードコードされているのか、システムにそのようなものがインストールされている場所を尋ねて生成されたのかはわかりません。

「検索ディレクトリ」+「見つかりませんでした」+ビジュアル+スタジオなどを検索しても、興味深い結果は得られません。

4

1 に答える 1

1

このパスは、Z3 または F# ではハードコーディングされていません。誰かがそれをシステム設定 (たとえば、PATH 変数) に追加した可能性がありますが、この警告は生成されません。フォルダ名から、誰かが Z3 ディストリビューション (.zip) をダウンロードし、C: で解凍したと推測できます。

これは、プロジェクト設定またはグローバル Visual Studio 設定など、以前のプロジェクトから残されたものにすぎません。F# はモジュールを検索しているようですが、その途中でディレクトリが存在しないことがわかりました。最終的にはすべてのモジュールが他の場所で見つかるため、これは単なる警告です。

「FSC」に関しては、それは F# コンパイラの名前です。この名前がいくつかのエラー メッセージなどに表示される可能性は十分にあります。

于 2014-07-22T20:22:36.637 に答える