CADP toolbox のインストール(参考) | |||
■CADP toolboxのインストール
2015年4月22日 12:04 更新
|
●インストールの概要1.1 インストールガイド 1.1 インストールガイドCADP toolbox 全般に関する情報はここからどうぞ。 インストールに関する全ての情報はここからどうぞ。 1.2 ダウンロード用パスワードの取得【重要】信州大学工学部情報工学科、大学院工学系研究科情報工学専攻は、CADP software agreement を申請、使用許諾ライセンス取得済みです。 ダウンロードに必要なパスワードは、受講登録を行った学生に限り、個々に、以下の手順で通知します。 ダウンロード用パスワードは,担当教員まで問い合わせてください(受講登録を行った学生に限る). 1.3 プラットフォームCADP toolbox が稼働可能な環境には、以下の3種類のプラットフォームがあります。 (1) Linux (iX86) ここでは、(1)Linux環境へのセットアップ手順について説明します(MacOSXについても、XCode +X11(XQuarts)+MacPorts package が インストールされておれば、手順は殆ど同一です。)。 ここでは、Linux環境へのセットアップについてのみ説明します。Cygwinへのセットアップに「挑戦」するのは構いませんが、当方ではサポート致しかねますので、予め了承下さい。 1.4 必要環境CADP toolbox (for Linux iX86)の、セットアップするマシンへの必要環境は以下の通り。 【ハードウェア】 【ソフトウェア】 【セットアップ&稼動確認済みのLinux distribution】 注意点:Linuxのdistributionによっては、gccならびにlibcのバージョンが古いために、CADPの各種プログラムが生成したCプログラムを正常にビルド出来ない場合があります。(例:TurboLinux 8 workstation など) 1.5 セットアップの流れCADP toolbox の、開発マシンへのセットアップの流れは、概して以下の通り。 [Step 1] CADP toolbox セットアップ用パスワードの取得(登録制)
1.6 自動インストール or 手動インストール(a) Tcl/Tkベースのinstallator(..shar)を使った自動インストール ←お勧めX-WindowなどのGUI環境が整っているワークステーション(PC)で、Tcl/Tkによって作成されたインストール支援アプリケーション(installator)を用いて、CADPの各パッケージをダウンロード、ローカルHDD上へ展開する方法が一番簡単です。 (b) FTPとtarによる手動インストール上記(a)のような環境が無い場合、あるいは離れた場所に設置してあるLinuxマシン上へ遠隔ログインしてからセットアップを行う場合など、installatorを使わないで、FTPとtarコマンドを用いて手動インストールを行うことができます。相応のUnixファイルシステム、操作に関する基礎知識が必要となります。 installatorを使わない、手動インストールについては、こちらを参考にしてください。 ●Linux環境へのセットアップ【当方での稼動確認環境(下記2.1からのセットアップ時スクリーンショットとは異なります)】 ※以下、/usr/local/cadp へインストールすることを仮定している。このlocationへの書き込みは、通常、rootユーザ権限が必要である。スーパーユーザになれない場合には、個人のホームディレクトリ下(例:~/cadp)などへインストールすること。 2.1 インストールガイド 2.1 インストールガイドインストールに関する全ての情報はここからどうぞ。 2.2 installator.sharをダウンロード(a) このページから、FireFoxなどのwebブラウザを用いて、以下のセットアップ実行ファイル(installator.shar)をダウンロードする。 For a PC computer running Linux (Debian 2.2, RedHat 7.2... or higher):
ftp://ftp.inrialpes.fr/pub/vasy/cadp/installator.iX86/installator.shar (b) あるいは、wgetコマンドを使って、ダウンロードする。 例: /tmpディレクトリへダウンロード $ cd /tmp 2.3 セットアップ開始以下のセットアップ例:/tmp/installator.sharを用いて、rootユーザ権限でセットアップ $ su - 【Step1】〜【Step15】までの15ステップがあります。順次、確実に項目へ入力・設定していって下さい。それでは始めましょう。(以下のスクリーンショットは、Turbolinux 10 Desktop (一部 RedHat 9)へver.2005-c(beta) をセットアップした時のものです。受講生は、2006-a stableをセットアップしてください。スクリーンショット中 beta version の記述がありますが、無視してください) 【Step1】
【Step2】
【Step3】 【Step4】 【Step5】 【Step6】 【Step7】 【Step8】 【Step9】 【Step10】 重要:Name, Organization and address を以下の例を参考にして、正確に入れておく。Name には、管理者名(Katsumi WASAKI)に引き続き、( )付きで、使用者の学籍番号( or 事前受講ID)と、名前をコロン区切りで含めておくこと。(必ず、半角英数字で記述する)また、ライセンスファイルを受け取るための電子メールアドレスも入力する(信大ACSUアカウントのみ申請が受付られる。プライベートメルアドは使用しないこと。)。 例:学籍番号 : 02TA500X, 氏名 : Nagano TARO の場合 【Step11】 【Step12】 例: rootユーザ権限でセットアップ中の場合 /root/CADP_LICENSE というファイルに、プロトタイプ・ライセンスが生成される。 ※これは、後で、自動的にFTP経由でCADPプロジェクトチーム宛、送信される。 【Step13】 【Step14】 【Step15】 【終了処理】 ●bashシェル環境変数の設定(1)ホームディレクトリの ~/.bash_profile を編集し、以下の6行を追加する。なければ作成する。 Fedora Core 8 :~/.bash_profileへの追加例(/usr/local/cadp下へインストールした場合):CADP, CADP_LANGUAGE環境変数と、PATHへのパス追加は必須。EDITORとNAVIGATOR環境変数は任意です。各自の環境に合わせて調整してください。
※CentOS5の場合、ghostscript(gs)利用のGhostviewは、GNOME上の /usr/bin/kghostview であるので注意。 (2) source ~/.bash_profile とやって、上記の環境変数値を、現在のシェルへ反映しておく。あるいは、一旦ログアウトして、再度ログインしておく。 ●ライセンスファイルの取得と設置セットアップ後、2〜3日以内には、入力したメールアドレス宛へ、正式に発行されたライセンスファイルを添付したメールが届きます。 4.1 正式ライセンスファイルの設置 4.1 正式ライセンスファイルの設置メール受信した正式ライセンスファイルを、$CADPディレクトリの下へ LICENSE という名前で設置する。 例:受信した正式ライセンスファイル SHINSHU.14 をカレントディレクトリに保存してある場合 # cp SHINSHU.14 $CADP/LICENSE 4.2 有効なライセンスファイルかどうかの検査以下のCADP環境チェック用コマンドを実行して、当該マシン用の有効なライセンスファイルが設置されているか確認する。 CADP環境検査用コマンド: $CADP/com/tst 実行結果の例(詳細は環境によって異なります) <ライセンス有効>※正しければ、このような結果になるはず License file ``$CADP/LICENSE'' exists <ライセンスファイル未設置状態> *** License file ``$CADP/LICENSE'' does not exist <ライセンスファイルが雛形のまま> *** File ``$CADP/LICENSE'' exists, but is just a prototype license file ※当該ホスト用のライセンスが見当たらない旨の表示について localhost というホスト名で登録して、LICENSEファイル内に localhost.localdomain というエントリが存在していて、各アプリケーションはキチンと認証できているにも関わらず、tstコマンドの出力では、以下のような表示が出る場合がある。 License file ``$CADP/LICENSE'' exists tstコマンドは、以下の license entriesの行について、canonical hostnameが与えられているものと仮定しているようである。この問題は放置しておいても構わないが、気になる場合には、LICENSEファイル内の以下の1行を修正することによって、<ライセンス有効>の場合と同様の表示を得ることができる。 # license entries for host "localhost"
※注意1 ライセンスファイルは、CADPバージョン・ホスト名・IPアドレス情報の組みで、ライセンス情報が生成・暗号化されています。ホスト名やIPアドレスが変更されたら、原則として再度ライセンスの申請を行う必要があります。(別の手段として、/etc/hostsファイルを"調整"してしまう手もある。) ※注意2 ライセンスファイルの有効期限は、1年間。有効期限が切れたら、再申請する。 ●アプリケーション起動確認5.1 CADP統合環境(IDE) の起動試験 5.1 CADP統合環境(IDE) の起動試験以下の要領で、サンプルファイル demo_02 を用いて、CADP環境(LOTOSコンパイラ、LTS生成など)の実行試験を行う。 (1)例:/tmpディレクトリへdemo_02一式をコピーして実行テスト $ cp -r $CADP/demos/demo_02 /tmp (2)CADP統合環境(IDE)である EUCALYPTUS を起動して動作確認してみる。 EUCALYPTUSの起動 $ xeuca & (3)以下のようなIDEのウィンドウがWishによって表示されることを確認する。 図: EUCALYPTUS の起動画面 5.2 サンプルファイルを用いたLTS生成の動作試験※上記(3)のつづきから (4)bitalt_protocol.lotos ファイルアイコン の上にマウスカーソルを持っていき、左ボタンを押した状態にすると、LOTOSファイルに対する操作メニューが出てくる。 ここから、"Generate labelled transition system" を選択し、BCG形式の生成を行うオプション設定の画面で[OK]をクリックすると、このLOTOSスペックからBCGファイル形式のLTS生成が開始される。 図: LTS生成のBCG monitor画面(RH9での表示例) 途中で BCG monitorが出てきたら、 [done] ボタンを押して閉じる。 正常に生成が終了すると、カレントディレクトリに bitalt_protocol.bcg という名前の BCGファイル形式の LTS が生成されている。 実行時にERRORが発生せず、最後まで生成が検証が終了したならば、 CADPのセットアップは正常に行われている。おめでとう! 【参考】
5.3 正式ライセンスファイルの報告【重要】信州大学工学部情報工学科、大学院工学系研究科情報工学専攻は、CADP software agreement を申請、使用許諾ライセンス取得済みです。受講生がセットアップを行ったCADPのバージョン、ならびに発行を受けた正式ライセンスを管理するために、正常に認識された正式ライセンスファイルを報告してください。 正式ライセンスの報告は、担当教員まで,直接メールでお願いします.
5.4 各アプリケーションの詳細について以下のxeuca tutorial(ABP)、あるいは Online manual のページなどを参照のこと。 A Guided Tour of EUCALYPTUS CADP On-Line Manual Pages ●付録A:その他のセットアップ時の参考資料(既に古くなった情報です)A.1. Ghostscript & GhostView のインストール A.1 Ghostscript & GhostView のインストール(1)Ghostscript(gs) のインストールRH9などの場合で、OSインストール時にGhostscriptを設定していない場合、以下のRPMを取得してgsを導入して下さい。インストール先は /usr/bin/gs です。 ghostscript-7.05-32.1.i386.rpm (2)Ghostview(gv)のインストールRH9などの場合で、OSインストール時にGhostviewを設定していない場合、以下のRPMを取得してgvを導入して下さい。インストール先は /usr/bin/gv です。 A X front-end for the Ghostscript PostScript(TM) interpreter (3)GNOME版 Ghostview (ggv)のインストールRH9などの場合で、OSインストール時にGNOME版 Ghostview (ggv)を設定していない場合、以下のRPMを取得してggvを導入して下さい。インストール先は /usr/bin/ggv です。(gv あるいは ggvのどちらか一方でよい) GNOME Ghostview (ggv) is a frontend for Ghostscript
A.2 VMware4上でRedHat9をDHCP設定で運用する時の注意点VMware4.0 workstation上へ、RedHat9.0 を導入する場合、VM側仮想NICのAMD pcnet32 が DHCPで接続時、link down で認識されない不具合が報告されています(当方でも確認済み)。 以下のページにあるように、ifcfg-eth0 のスクリプトに、check_link_down()が常に 1 を返すように細工しておく必要があります。詳細は以下のVMwareサポートページからどうぞ。 Getting a DHCP Address in a Red Hat Linux 9.0 Virtual Machine A.3 gcc/libcのバージョンアップ(TurboLinux 8 workstationの場合)Linuxのdistributionによっては、gccならびにlibcのバージョンが古いために、CADPの各種プログラムが生成したCプログラムを正常にビルド出来ない場合があります。 代表的な例として、TurboLinux 8 workstation などがあります。TL8Wは、gcc-2.9.5 + libc-2.2.5であるために、例えばcaesarによるLTS生成時、BCG.aなどのライブラリが libc-2.3.2を仮定した ctypeライブラリのシンボル解決("__ctype_b_loc", "__ctype_upper_loc")ができないために、リンクが不調に終ります。 このために、gcc-3.2 + libc-2.3.2 へアップデートする必要があります。特にlibcのアップデートは、Linux-OSの"心臓移植"を行うようなものですので、慎重に行って下さい。 以下の手順は、TurboLinux 8 workstationの場合を例にしています。他のdistributionでは、若干手順が異なる場合がありますから、適宜読み替えて対応してください。 (1)gcc更新の準備gcc更新に先立って、GNU ld と texinfo をアップデートする必要があります。 (a) install binutils-2.14 (for new GNU ld-2.14) Binutils - Collection of binary utilities (b) install texinfo-4.6 Texinfo - The GNU Documentation System (2)gcc-3.2へのアップデートgcc-3.2.x系へ更新します。現在の最新の3.2系gccは、gcc-3.2.3のようです。 ここから、gcc-3.2.3のソースファイルをダウンロードしてきて、 ./configure --enable-languages=c++,f77 で、/usr/local/bin/gcc などと入ります。TL8Wの場合、/usr/bin/gcc --> /etc/default/.../gcc-2.9.5 などというシンボリックリンクが張られているので、これの調整が必要です。 CADP環境変数のうち、CADP_CC=/usr/local/bin/gcc としても良いでしょう。 もう一つの方法としては、RedHat用などにbuild済みのRPMを使って導入する方法がありますが、TurboLinuxにRPMを当てると予期しない結果をもたらしますので止めたほうがいいと思います。 (3)libc-2.3.2へのアップデート最後に、libc-2.3.x系へ更新します。現在の最新の2.3系libcは、libc-2.3.2のようです。 GNU C Library ここから、libc-2.3.2のソースファイルをダウンロードしてきて、 ./configure --enable-add-ons=linuxthreads --prefix=/usr で、/lib/libc.so.2 --> /lib/libc-2.3.2.so などと入ります。 スグに再起動して、新しいlibcで正常に動作することを確かめて下さい。 上記の(1)〜(3)の作業以降、gccによってbuildした実行可能モジュール(a.out)は、lddで調べると、libc-2.3.2.soへダイナミックリンクされていることが判ります。それ以前のダイナミックリンクとしては、従来のlibc-2.2.5を指していますので、これは削除しないように十分に気をつけてください。 |
||
wasaki _AT_ cs.shinshu-u.ac.jp |