現在の位置
backup プラグインを使用中
- List of Backups
- View the diff.
- View the diff current.
- View the source.
- 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)
1.javaのインストール †
Java SE Runtime Environment (JRE) または Java SE Development Kit (JDK) の version 6 以上をインストールしてください。
http://java.sun.com/javase/ja/6/download.html
2.本体ダウンロード †
ダウンロードからLMNtalEditor?のzipファイルをダウンロードし、展開して下さい。
3.LTL2BAダウンロード †
LTL2BAはLTLモデル検査を行うときに必要となります。
ここからダウンロードし展開して下さい。
展開して出来たディレクトリを
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は必要ありません。)
4.起動 †
展開したディレクトリ内で
java -jar LMNtalEditor.jar
とコマンドを実行してください。
(補足)SLIMのインストール †
同封されたslim.exeは動きません。
LMNtalEditor?のGUIに従ってslimのインストールを行ってください。
もしgccがインストールされていないようでしたらgccのインストールも行ってください。
gccをインストールしたのに(error: C compiler cannot create executables)と出る場合は
libc-develかlibc6-devのインストールも行ってください。