現在の位置
backup プラグインを使用中
- List of Backups
- View the diff current.
- View the source.
- View the backup.
- Go to インストール(Linux).
- 1 (2009-11-24 (Tue) 07:06:07)
- 2 (2009-11-24 (Tue) 09:14:08)
- 3 (2009-12-23 (Wed) 17:19:05)
- 4 (2009-12-28 (Mon) 09:40:09)
- 5 (2010-05-25 (Tue) 10:09:33)
- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
* 1.javaのインストール [#xf0fa5be] Java SE Runtime Environment (JRE) または Java SE Development Kit (JDK) の version 6 以上をインストールしてください。~ http://java.sun.com/javase/ja/6/download.html * 2.本体ダウンロード [#g4ba1f68] [[ダウンロード]]からLMNtalEditorのzipファイルをダウンロードし、展開して下さい。~ * 3.LTL2BAダウンロード [#ie417f46] LTL2BAはLTLモデル検査を行うときに必要となります。~ [[ここ>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]]からダウンロードし展開して下さい。~ 展開して出来たディレクトリを [[ここ>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]]からダウンロードしたltl2ba-1.1.tar.gzを LMNtalEditorX_Y_Z/lmntal/ 内において下さい。(LMNtalEditorX_Y_Z/lmntal/ltl2ba-1.1/main.cとなるようにして下さい。)~ コマンドとしては以下のようになると思います。~ > gunzip ltl2ba-1.1.tar.gz > tar xf ltl2ba-1.1.tar > mv ltl2ba-1.1/ LMNtalEditorX_Y_Z/lmntal/ (LTLモデル検査をしない場合はLTL2BAは必要ありません。) に配置して下さい。(解凍は自動で行われます。)~ LTLモデル検査をしない場合はLTL2BAは必要ありません。 * 4.起動 [#gfd78a40] 展開したディレクトリ内で java -jar LMNtalEditor.jar とコマンドを実行してください。 ** (補足)SLIMのインストール [#ede97487] 同封されたslim.exeは動きません。~ LMNtalEditorのGUIに従ってslimのインストールを行ってください。~ もしgccがインストールされていないようでしたらgccのインストールも行ってください。~ gccをインストールしたのに(error: C compiler cannot create executables)と出る場合は~ libc-develかlibc6-devのインストールも行ってください。