<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'> <html xmlns='http://www.w3.org/1999/xhtml'> <head> <title>doc/install.txt</title> <meta name='robots' content='noindex,nofollow' /> <meta name='generator' content='GLOBAL-6.6.5' /> <meta http-equiv='Content-Style-Type' content='text/css' /> <link rel='stylesheet' type='text/css' href='../style.css' /> </head> <body> <a id='TOP' name='TOP'></a><h2 class='header'><a href='../mains.html'>root</a>/<a href='../files/2921.html'>doc</a>/install.txt</h2> <em class='comment'>/* [<][>][^][v][top]<a href='#BOTTOM'>[bottom]</a><a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em> <hr /> <pre> <a id='L1' name='L1'></a>1 要件 <a id='L2' name='L2'></a>2 インストールの手順 <a id='L3' name='L3'></a>2.1 YACASL2ファイルのダウンロード <a id='L4' name='L4'></a>2.2 YACASL2ファイルの検証 <a id='L5' name='L5'></a> 2.2.1 GnuPG分離署名での検証 <a id='L6' name='L6'></a> 2.2.2 MD5ハッシュ値での検証 <a id='L7' name='L7'></a>2.3 YACASL2ファイルの展開 <a id='L8' name='L8'></a>2.4 'casl2' 'comet2' 'dumpword'のビルド <a id='L9' name='L9'></a>2.5 'casl2'の実行テスト <a id='L10' name='L10'></a>2.6 詳細なテスト <a id='L11' name='L11'></a>2.7 インストール <a id='L12' name='L12'></a>2.8 環境変数の設定 <a id='L13' name='L13'></a> シェルの確認 <a id='L14' name='L14'></a> 2.8.1 'PATH'の設定 <a id='L15' name='L15'></a> 2.8.2 'INFOPATH'の設定 <a id='L16' name='L16'></a>1 要件 <a id='L17' name='L17'></a>****** <a id='L18' name='L18'></a> <a id='L19' name='L19'></a> YACASL2は、LinuxやMac OS Xなど、UNIX系のOS上で動作します。現在動作を確 <a id='L20' name='L20'></a>認しているのは、Arch LinuxとUbuntu Linux、Mac OS Xです。 <a id='L21' name='L21'></a> <a id='L22' name='L22'></a> インストール時に、'tar' 'gcc' 'make'が必要です。Linuxでは多くの場合、標 <a id='L23' name='L23'></a>準でインストールされています。Mac OS Xの場合、Xcodeの「Command Line <a id='L24' name='L24'></a>Tools」に含まれます。 <a id='L25' name='L25'></a> <a id='L26' name='L26'></a>2 インストールの手順 <a id='L27' name='L27'></a>******************** <a id='L28' name='L28'></a> <a id='L29' name='L29'></a>2.1 YACASL2ファイルのダウンロード <a id='L30' name='L30'></a>================================= <a id='L31' name='L31'></a> <a id='L32' name='L32'></a> YACASL2のサイト (http://www.j8takagi.net/yacasl2/)から、'tar.gz'または <a id='L33' name='L33'></a>'tar.xz'ファイルと、対応する検証用ファイルをダウンロードします。githubの <a id='L34' name='L34'></a>ダウンロードページ (http://github.com/j8takagi/YACASL2/downloads/)から <a id='L35' name='L35'></a>'tar.gz'などのファイルをダウンロードすることもできます。 <a id='L36' name='L36'></a> <a id='L37' name='L37'></a>2.2 YACASL2ファイルの検証 <a id='L38' name='L38'></a>========================= <a id='L39' name='L39'></a> <a id='L40' name='L40'></a> ダウンロードが完了したら、圧縮ファイルが改竄されていないか検証します。 <a id='L41' name='L41'></a>検証には、GnuPG分離署名か、MD5ハッシュ値を使います。 <a id='L42' name='L42'></a> <a id='L43' name='L43'></a>2.2.1 GnuPG分離署名での検証 <a id='L44' name='L44'></a>--------------------------- <a id='L45' name='L45'></a> <a id='L46' name='L46'></a> GnuPGの'gpg'で圧縮ファイルを検証します。この検証を行うには、GnuPGがイン <a id='L47' name='L47'></a>ストールされ、自分の秘密鍵と公開鍵のペアが作成されている必要があります。 <a id='L48' name='L48'></a> <a id='L49' name='L49'></a> $ gpg --verify yacasl2.tar.xz.asc <a id='L50' name='L50'></a> gpg: Signature made Sat Oct 27 02:17:16 2012 JST using RSA key ID 25B62DD1 <a id='L51' name='L51'></a> gpg: Can't check signature: public key not found <a id='L52' name='L52'></a> $ gpg --recv-keys 25B62DD1 <a id='L53' name='L53'></a> gpg: requesting key 25B62DD1 from hkp server keys.gnupg.net <a id='L54' name='L54'></a> gpg: key 25B62DD1: public key "j8takagi <j8takagi@nifty.com>" imported <a id='L55' name='L55'></a> gpg: Total number processed: 1 <a id='L56' name='L56'></a> gpg: imported: 1 (RSA: 1) <a id='L57' name='L57'></a> <a id='L58' name='L58'></a> $ gpg --lsign-key 25B62DD1 <a id='L59' name='L59'></a> <a id='L60' name='L60'></a> pub 2048R/25B62DD1 created: 2012-09-29 expires: never usage: SC <a id='L61' name='L61'></a> trust: unknown validity: full <a id='L62' name='L62'></a> sub 2048R/92E25C29 created: 2012-09-29 expires: never usage: E <a id='L63' name='L63'></a> [ full ] (1). j8takagi <j8takagi@nifty.com> <a id='L64' name='L64'></a> <a id='L65' name='L65'></a> <a id='L66' name='L66'></a> pub 2048R/25B62DD1 created: 2012-09-29 expires: never usage: SC <a id='L67' name='L67'></a> trust: unknown validity: full <a id='L68' name='L68'></a> Primary key fingerprint: ... <a id='L69' name='L69'></a> <a id='L70' name='L70'></a> .* <.*@.*> <a id='L71' name='L71'></a> <a id='L72' name='L72'></a> Are you sure that you want to sign this key with your <a id='L73' name='L73'></a> key ".* <.*@.*>" <a id='L74' name='L74'></a> <a id='L75' name='L75'></a> The signature will be marked as non-exportable. <a id='L76' name='L76'></a> <a id='L77' name='L77'></a> Really sign? (y/N) y <a id='L78' name='L78'></a> <a id='L79' name='L79'></a> You need a passphrase to unlock the secret key for <a id='L80' name='L80'></a> user: ".* <.*@.*>" <a id='L81' name='L81'></a> 2048-bit RSA key, ID ........, created 20..-..-.. <a id='L82' name='L82'></a> <a id='L83' name='L83'></a> <input password> password <a id='L84' name='L84'></a> <a id='L85' name='L85'></a> $ gpg --verify yacasl2.tar.xz.asc <a id='L86' name='L86'></a> gpg: Signature made Sat Oct 27 02:17:16 2012 JST using RSA key ID 25B62DD1 <a id='L87' name='L87'></a> gpg: checking the trustdb <a id='L88' name='L88'></a> gpg: 3 marginal(s) needed, 1 complete(s) needed, PGP trust model <a id='L89' name='L89'></a> gpg: depth: 0 valid: 1 signed: 4 trust: 0-, 0q, 0n, 0m, 0f, 1u <a id='L90' name='L90'></a> gpg: depth: 1 valid: 4 signed: 0 trust: 4-, 0q, 0n, 0m, 0f, 0u <a id='L91' name='L91'></a> gpg: Good signature from "j8takagi <j8takagi@nifty.com>" <a id='L92' name='L92'></a> <a id='L93' name='L93'></a>2.2.2 MD5ハッシュ値での検証 <a id='L94' name='L94'></a>--------------------------- <a id='L95' name='L95'></a> <a id='L96' name='L96'></a> 'openssl'と'diff'で圧縮ファイルを検証します。 <a id='L97' name='L97'></a> <a id='L98' name='L98'></a> $ openssl md5 yacasl2.tar.gz | diff -s yacasl2.tar.gz.md5sum - <a id='L99' name='L99'></a> Files yacasl2.tar.gz.md5sum and - are identical <a id='L100' name='L100'></a> <a id='L101' name='L101'></a>2.3 YACASL2ファイルの展開 <a id='L102' name='L102'></a>========================= <a id='L103' name='L103'></a> <a id='L104' name='L104'></a> YACASL2ファイルをダウンロードしたら、'tar'コマンドで展開します。 <a id='L105' name='L105'></a> <a id='L106' name='L106'></a> $ tar xvzf yacasl2.tar.gz <a id='L107' name='L107'></a> <a id='L108' name='L108'></a>2.4 'casl2' 'comet2' 'dumpword'のビルド <a id='L109' name='L109'></a>======================================= <a id='L110' name='L110'></a> <a id='L111' name='L111'></a> 展開したら、'make'コマンドで'casl2' 'comet2' 'dumpword'をビルドします。 <a id='L112' name='L112'></a> <a id='L113' name='L113'></a> $ cd yacasl2 <a id='L114' name='L114'></a> $ make <a id='L115' name='L115'></a> make -C src <a id='L116' name='L116'></a> make[1]: Entering directory ‘/home/kazubito/yacasl2/src’ <a id='L117' name='L117'></a> gcc -c -g -Wall -I ../include casl2.c <a id='L118' name='L118'></a> gcc -c -g -Wall -I ../include word.c <a id='L119' name='L119'></a> gcc -c -g -Wall -I ../include hash.c <a id='L120' name='L120'></a> gcc -c -g -Wall -I ../include cerr.c <a id='L121' name='L121'></a> gcc -c -g -Wall -I ../include struct.c <a id='L122' name='L122'></a> gcc -c -g -Wall -I ../include cmd.c <a id='L123' name='L123'></a> gcc -c -g -Wall -I ../include assemble.c <a id='L124' name='L124'></a> gcc -c -g -Wall -I ../include token.c <a id='L125' name='L125'></a> gcc -c -g -Wall -I ../include label.c <a id='L126' name='L126'></a> gcc -c -g -Wall -I ../include macro.c <a id='L127' name='L127'></a> gcc -c -g -Wall -I ../include exec.c <a id='L128' name='L128'></a> gcc -c -g -Wall -I ../include dump.c <a id='L129' name='L129'></a> gcc -g -Wall -I ../include -o ../casl2 casl2.o word.o hash.o cerr.o st <a id='L130' name='L130'></a> ruct.o cmd.o assemble.o token.o label.o macro.o exec.o dump.o <a id='L131' name='L131'></a> gcc -c -g -Wall -I ../include comet2.c <a id='L132' name='L132'></a> gcc -g -Wall -I ../include -o ../comet2 comet2.o word.o hash.o cerr.o <a id='L133' name='L133'></a> struct.o cmd.o exec.o dump.o <a id='L134' name='L134'></a> gcc -c -g -Wall -I ../include dumpword.c <a id='L135' name='L135'></a> gcc -g -Wall -I ../include -o ../dumpword dumpword.o word.o cerr.o <a id='L136' name='L136'></a> make[1]: Leaving directory ‘/home/kazubito/yacasl2/src’ <a id='L137' name='L137'></a> <a id='L138' name='L138'></a>2.5 'casl2'の実行テスト <a id='L139' name='L139'></a>======================= <a id='L140' name='L140'></a> <a id='L141' name='L141'></a> ビルドしたら、次のコマンドが正常に実行できるかを確認します。 正常に実行 <a id='L142' name='L142'></a>された場合は、「Hello, World!」と表示されます。 <a id='L143' name='L143'></a> <a id='L144' name='L144'></a> $ ./casl2 as/hello.casl <a id='L145' name='L145'></a> Hello, World! <a id='L146' name='L146'></a> <a id='L147' name='L147'></a>2.6 詳細なテスト <a id='L148' name='L148'></a>================ <a id='L149' name='L149'></a> <a id='L150' name='L150'></a> 'make check'コマンドを実行すると、正常にビルドできているかどうかを詳細 <a id='L151' name='L151'></a>にテストできます。 テストには、しばらく時間がかかります。 <a id='L152' name='L152'></a> <a id='L153' name='L153'></a> $ make check <a id='L154' name='L154'></a> 195 / 195 tests passed. Details in /home/username/yacasl2/test/integra <a id='L155' name='L155'></a> tion/casl2/Test.log <a id='L156' name='L156'></a> All tests are succeded. <a id='L157' name='L157'></a> 149 / 149 tests passed. Details in /home/username/yacasl2/test/integra <a id='L158' name='L158'></a> tion/comet2/Test.log <a id='L159' name='L159'></a> All tests are succeded. <a id='L160' name='L160'></a> 4 / 4 tests passed. Details in /home/username/yacasl2/test/integration <a id='L161' name='L161'></a> /dumpword/Test.log <a id='L162' name='L162'></a> All tests are succeded. <a id='L163' name='L163'></a> <a id='L164' name='L164'></a>2.7 インストール <a id='L165' name='L165'></a>================ <a id='L166' name='L166'></a> <a id='L167' name='L167'></a> ビルドが成功したら、'make install'コマンドで必要なファイルをインストー <a id='L168' name='L168'></a>ルできます。 初期設定では、ホームディレクトリー以下にYACASL2のファイルが <a id='L169' name='L169'></a>インストールされます。 <a id='L170' name='L170'></a> <a id='L171' name='L171'></a> $ make install <a id='L172' name='L172'></a> <a id='L173' name='L173'></a> コマンド実行時にオプションを指定することで、インストール先のディレクト <a id='L174' name='L174'></a>リーを変更できます。 例えば、'/usr/local'以下にファイルをインストールす <a id='L175' name='L175'></a>るには、 次のようにコマンドを実行します。 <a id='L176' name='L176'></a> <a id='L177' name='L177'></a> $ sudo make install prefix=/usr/local <a id='L178' name='L178'></a> <a id='L179' name='L179'></a> オプションの詳細は次のとおりです。 <a id='L180' name='L180'></a> <a id='L181' name='L181'></a>オプション 説明 初期設定 <a id='L182' name='L182'></a>--------------------------------------------------------------------------- <a id='L183' name='L183'></a>PREFIX インストール時のルートファイル '~' <a id='L184' name='L184'></a>BINDIR 実行ファイルのインストール先 '$prefix/bin' <a id='L185' name='L185'></a>INFODIR infoファイルのインストール先 '$prefix/share/info' <a id='L186' name='L186'></a> <a id='L187' name='L187'></a>2.8 環境変数の設定 <a id='L188' name='L188'></a>================== <a id='L189' name='L189'></a> <a id='L190' name='L190'></a> 環境変数'PATH'や'CASL2LIB'を設定することで、YACASL2が使いやすくなります <a id='L191' name='L191'></a>。環境変数は、使っているシェルを確認してから設定します。 <a id='L192' name='L192'></a> <a id='L193' name='L193'></a>シェルの確認 <a id='L194' name='L194'></a>------------ <a id='L195' name='L195'></a> <a id='L196' name='L196'></a> 環境変数の設定方法は使っているシェルによって異なります。シェルは、次の <a id='L197' name='L197'></a>コマンドで確認できます。 <a id='L198' name='L198'></a> <a id='L199' name='L199'></a> $ echo $SHELL <a id='L200' name='L200'></a> /bin/bash <a id='L201' name='L201'></a> <a id='L202' name='L202'></a> 現在もっとも多く使われているシェルは、Bashでしょう。以下、Bashでの設定 <a id='L203' name='L203'></a>方法を説明します。 <a id='L204' name='L204'></a> <a id='L205' name='L205'></a>2.8.1 'PATH'の設定 <a id='L206' name='L206'></a>------------------ <a id='L207' name='L207'></a> <a id='L208' name='L208'></a> 'PATH'にYACASL2の実行ファイルのインストール先を追加すると、ディレクトリ <a id='L209' name='L209'></a>ーの指定を省略して'casl2' 'comet2' 'dumpword'を実行できます。例えば、初 <a id='L210' name='L210'></a>期設定のまま実行ファイルを'~/bin'にインストールしたときは、次のコマンド <a id='L211' name='L211'></a>で設定できます。 <a id='L212' name='L212'></a> <a id='L213' name='L213'></a> $ PATH=$PATH:~/bin && export PATH <a id='L214' name='L214'></a> <a id='L215' name='L215'></a> 環境変数の設定は、シェルの初期設定ファイルに追加することでログインした <a id='L216' name='L216'></a>あと自動的に反映されるようになります。Bashでは'~/.bashrc'が初期設定ファ <a id='L217' name='L217'></a>イルです。次のコマンドで追加できます。 <a id='L218' name='L218'></a> <a id='L219' name='L219'></a> $ echo ’PATH=$PATH:~/bin && export PATH’ >>~/.bashrc <a id='L220' name='L220'></a> <a id='L221' name='L221'></a>2.8.2 'INFOPATH'の設定 <a id='L222' name='L222'></a>---------------------- <a id='L223' name='L223'></a> <a id='L224' name='L224'></a> 'INFOPATH'にYACASL2のInfoファイルをインストールしたディレクトリーを追加 <a id='L225' name='L225'></a>すると、ディレクトリーの指定を省略して'casl2' 'comet2' 'dumpword'を実行 <a id='L226' name='L226'></a>できます。例えば、初期設定のままInfoファイルを'~/share/info'にインストー <a id='L227' name='L227'></a>ルしたときは、次のコマンドで設定できます。 <a id='L228' name='L228'></a> <a id='L229' name='L229'></a> $ INFOPATH=$INFOPATH:~/share/info && export INFOPATH <a id='L230' name='L230'></a> <a id='L231' name='L231'></a> '~/.bashrc'には次のコマンドで追加できます。 <a id='L232' name='L232'></a> <a id='L233' name='L233'></a> $ echo 'INFOPATH=$INFOPATH:~/share/info && export INFOPATH' >>~/.bashrc <a id='L234' name='L234'></a> </pre> <hr /> <a id='BOTTOM' name='BOTTOM'></a> <em class='comment'>/* [<][>][^][v]<a href='#TOP'>[top]</a>[bottom]<a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em> </body> </html>