JavaCard Converterツールを使用すると、次のようなエラーが発生し続けました
error: export file rmi.exp of package java.rmi not found.
と
error: export file framework.exp of package javacard.framework not found.
下のディレクトリをコピーした後、エラーは徐々に消えました
/usr/local/javacard/java_card_kit-2_2_2/api_export_files
ローカル ディレクトリに。これは明らかにハックです。いいえ、これを「ハック」と呼ぶことは、他のほぼすべての実際のハックに対する侮辱になります。これは明らかに物事がうまくいくはずの方法ではありませんよね?
では、変換ツールに .exp ファイルを探す場所を指定するにはどうすればよいでしょうか?
そして、はい、私も設定JC_HOME=/usr/local/javacard/java_card_kit-2_2_2
しました。