javaを使用してHermit Reasonerでコマンドラインでエラーをコンパイルして実行する

Question

Hermit Reasonerをコンパイルして実行する方法は、ファイルHermit.zipをダウンロードし、Demo.javaのソースコードをダウンロードして、 Hermit Webサイトでこの指示に従おうとすると、このエラーが発生します。 javac -cp HermiT.jar Demo.java

javac -cp .;Hermit.jar Demo 
error: Class names, 'Demo', are only accepted if annotation processing is explicitly requested 
1 error 

私はそれを解決するために援助が必要です。

Answer 1

javacへのコマンドです.javaファイルを.classにコンパイルします。

.jarファイルはすでに.class個のファイルを含むアーカイブなので、コンパイルする必要はなく、実行するだけです。

を実行するコマンドは、javaではなく、javacです。

また、実際にをコンパイルする場合はとなりますが、ファイル名の一部として.javaを指定する必要があります。