<!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.14' />
<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/13678.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 ビルド
<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> 2.8.1 'PATH'の設定
<a id='L14' name='L14'></a> 2.8.2 'INFOPATH'の設定
<a id='L15' name='L15'></a>
<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>かじめ'tar.gz'または'tar.xz'ファイルと、対応する検証用ファイル
<a id='L49' name='L49'></a>'tar.gz.asc'または'tar.xz.asc'ファイルを同じディレクトリーに保存し、その
<a id='L50' name='L50'></a>ディレクトリーに移動しておきます。
<a id='L51' name='L51'></a>
<a id='L52' name='L52'></a> 次の手順では'gpg --verify'による検証を2回実行させています。1回目では検
<a id='L53' name='L53'></a>証に失敗する一方で、必要な鍵などの情報を得ています。その鍵を'gpg
<a id='L54' name='L54'></a>--recv-keys'で取得し、'gpg --lsign-key'でローカル署名した後、再度'gpg
<a id='L55' name='L55'></a>--verify'による検証を行い、成功させています。
<a id='L56' name='L56'></a>
<a id='L57' name='L57'></a> $ ls yacasl2.tar.gz*
<a id='L58' name='L58'></a> yacasl2.tar.gz yacasl2.tar.gz.asc
<a id='L59' name='L59'></a> $ gpg --verify yacasl2.tar.xz.asc
<a id='L60' name='L60'></a> gpg: assuming signed data in 'yacasl2.tar.gz'
<a id='L61' name='L61'></a> gpg: Signature made Tue 02 Jun 2026 01:14:17 AM JST
<a id='L62' name='L62'></a> gpg: using EDDSA key 77EC282A2F7317EBFF7BFD067F593ED86D88E1D5
<a id='L63' name='L63'></a> gpg: Can't check signature: No public key
<a id='L64' name='L64'></a> $ gpg --recv-keys 77EC282A2F7317EBFF7BFD067F593ED86D88E1D5
<a id='L65' name='L65'></a> gpg: key 7F593ED86D88E1D5: public key "j8takagi <j8takagi@nifty.com>" imported
<a id='L66' name='L66'></a> gpg: marginals needed: 3 completes needed: 1 trust model: pgp
<a id='L67' name='L67'></a> gpg: depth: 0 valid: 1 signed: 0 trust: 0-, 0q, 0n, 0m, 0f, 1u
<a id='L68' name='L68'></a> gpg: next trustdb check due at 2029-06-01
<a id='L69' name='L69'></a> gpg: Total number processed: 1
<a id='L70' name='L70'></a> gpg: imported: 1
<a id='L71' name='L71'></a> $ gpg --lsign-key 77EC282A2F7317EBFF7BFD067F593ED86D88E1D5
<a id='L72' name='L72'></a>
<a id='L73' name='L73'></a> pub ed25519/7F593ED86D88E1D5
<a id='L74' name='L74'></a> created: 2026-04-23 expires: 2031-04-30 usage: SC
<a id='L75' name='L75'></a> trust: unknown validity: unknown
<a id='L76' name='L76'></a> sub cv25519/B3433115DBD37726
<a id='L77' name='L77'></a> created: 2026-04-23 expires: never usage: E
<a id='L78' name='L78'></a> [ unknown] (1). j8takagi <j8takagi@nifty.com>
<a id='L79' name='L79'></a>
<a id='L80' name='L80'></a>
<a id='L81' name='L81'></a> pub ed25519/7F593ED86D88E1D5
<a id='L82' name='L82'></a> created: 2026-04-23 expires: 2031-04-30 usage: SC
<a id='L83' name='L83'></a> trust: unknown validity: unknown
<a id='L84' name='L84'></a> Primary key fingerprint: 77EC 282A 2F73 17EB FF7B FD06 7F59 3ED8 6D88 E1D5
<a id='L85' name='L85'></a>
<a id='L86' name='L86'></a> j8takagi <j8takagi@nifty.com>
<a id='L87' name='L87'></a>
<a id='L88' name='L88'></a> This key is due to expire on 2031-04-30.
<a id='L89' name='L89'></a> Are you sure that you want to sign this key with your
<a id='L90' name='L90'></a> key "j8takagi <j8takagi@nifty.com>" (4223493EBCB683A9)
<a id='L91' name='L91'></a>
<a id='L92' name='L92'></a> The signature will be marked as non-exportable.
<a id='L93' name='L93'></a>
<a id='L94' name='L94'></a> Really sign? (y/N) y
<a id='L95' name='L95'></a>
<a id='L96' name='L96'></a> $ gpg --verify yacasl2.tar.gz.asc
<a id='L97' name='L97'></a> gpg: assuming signed data in 'yacasl2.tar.gz'
<a id='L98' name='L98'></a> gpg: Signature made Tue 02 Jun 2026 01:14:17 AM JST
<a id='L99' name='L99'></a> gpg: using EDDSA key 77EC282A2F7317EBFF7BFD067F593ED86D88E1D5
<a id='L100' name='L100'></a> gpg: checking the trustdb
<a id='L101' name='L101'></a> gpg: marginals needed: 3 completes needed: 1 trust model: pgp
<a id='L102' name='L102'></a> gpg: depth: 0 valid: 1 signed: 1 trust: 0-, 0q, 0n, 0m, 0f, 1u
<a id='L103' name='L103'></a> gpg: depth: 1 valid: 1 signed: 0 trust: 1-, 0q, 0n, 0m, 0f, 0u
<a id='L104' name='L104'></a> gpg: next trustdb check due at 2029-06-01
<a id='L105' name='L105'></a> gpg: Good signature from "j8takagi <j8takagi@nifty.com>" [full]
<a id='L106' name='L106'></a> gpg: Signature notation: manu=2,2.5+1.12,0,3
<a id='L107' name='L107'></a>
<a id='L108' name='L108'></a>2.2.2 MD5ハッシュ値での検証
<a id='L109' name='L109'></a>---------------------------
<a id='L110' name='L110'></a>
<a id='L111' name='L111'></a> 'openssl'で圧縮ファイルから生成したMD5ハッシュ値が、ダウンロードした
<a id='L112' name='L112'></a>'yacasl2.tar.gz.md5sum'ファイルの内容と同じかどうか'diff'で検証します。
<a id='L113' name='L113'></a>
<a id='L114' name='L114'></a> $ openssl md5 yacasl2.tar.gz | diff -s yacasl2.tar.gz.md5sum -
<a id='L115' name='L115'></a> Files yacasl2.tar.gz.md5sum and - are identical
<a id='L116' name='L116'></a>
<a id='L117' name='L117'></a>2.3 YACASL2ファイルの展開
<a id='L118' name='L118'></a>=========================
<a id='L119' name='L119'></a>
<a id='L120' name='L120'></a> YACASL2ファイルをダウンロードしたら、'tar'コマンドで展開します。
<a id='L121' name='L121'></a>
<a id='L122' name='L122'></a> $ tar xvzf yacasl2.tar.gz
<a id='L123' name='L123'></a>
<a id='L124' name='L124'></a>2.4 ビルド
<a id='L125' name='L125'></a>==========
<a id='L126' name='L126'></a>
<a id='L127' name='L127'></a> 展開したら、'make'コマンドを実行してビルドします。 YACASL2のコマンド実
<a id='L128' name='L128'></a>行ファイルである'casl2' 'comet2' 'dumpword' 'casl2rev' 'comet2monitor'が
<a id='L129' name='L129'></a>生成されます。
<a id='L130' name='L130'></a>
<a id='L131' name='L131'></a> $ cd yacasl2
<a id='L132' name='L132'></a> $ make
<a id='L133' name='L133'></a> make -C src
<a id='L134' name='L134'></a> make[1]: Entering directory ‘/home/username/yacasl2/src’
<a id='L135' name='L135'></a> gcc -c -g -Wall -I ../include casl2.c
<a id='L136' name='L136'></a> gcc -c -g -Wall -I ../include word.c
<a id='L137' name='L137'></a> gcc -c -g -Wall -I ../include hash.c
<a id='L138' name='L138'></a> gcc -c -g -Wall -I ../include cerr.c
<a id='L139' name='L139'></a> gcc -c -g -Wall -I ../include struct.c
<a id='L140' name='L140'></a> gcc -c -g -Wall -I ../include cmd.c
<a id='L141' name='L141'></a> gcc -c -g -Wall -I ../include assemble.c
<a id='L142' name='L142'></a> gcc -c -g -Wall -I ../include token.c
<a id='L143' name='L143'></a> gcc -c -g -Wall -I ../include label.c
<a id='L144' name='L144'></a> gcc -c -g -Wall -I ../include macro.c
<a id='L145' name='L145'></a> gcc -c -g -Wall -I ../include exec.c
<a id='L146' name='L146'></a> gcc -c -g -Wall -I ../include dump.c
<a id='L147' name='L147'></a> gcc -g -Wall -I ../include -o ../casl2 casl2.o word.o hash.o cerr.o st
<a id='L148' name='L148'></a> ruct.o cmd.o assemble.o token.o label.o macro.o exec.o dump.o
<a id='L149' name='L149'></a> gcc -c -g -Wall -I ../include comet2.c
<a id='L150' name='L150'></a> gcc -g -Wall -I ../include -o ../comet2 comet2.o word.o hash.o cerr.o
<a id='L151' name='L151'></a> struct.o cmd.o exec.o dump.o
<a id='L152' name='L152'></a> gcc -c -g -Wall -I ../include dumpword.c
<a id='L153' name='L153'></a> gcc -g -Wall -I ../include -o ../dumpword dumpword.o word.o cerr.o
<a id='L154' name='L154'></a> make[1]: Leaving directory ‘/home/username/yacasl2/src’
<a id='L155' name='L155'></a>
<a id='L156' name='L156'></a>2.5 'casl2'の実行テスト
<a id='L157' name='L157'></a>=======================
<a id='L158' name='L158'></a>
<a id='L159' name='L159'></a> ビルドしたら、次のコマンドが正常に実行できるかを確認します。 正常に実行
<a id='L160' name='L160'></a>された場合は、「Hello, World!」と表示されます。
<a id='L161' name='L161'></a>
<a id='L162' name='L162'></a> $ ./casl2 as/hello.casl
<a id='L163' name='L163'></a> Hello, World!
<a id='L164' name='L164'></a>
<a id='L165' name='L165'></a>2.6 詳細なテスト
<a id='L166' name='L166'></a>================
<a id='L167' name='L167'></a>
<a id='L168' name='L168'></a> 'make check'コマンドを実行すると、正常にビルドできているかどうかを詳細
<a id='L169' name='L169'></a>にテストできます。 テストには、しばらく時間がかかります。
<a id='L170' name='L170'></a>
<a id='L171' name='L171'></a> $ make check
<a id='L172' name='L172'></a> 195 / 195 tests passed. Details in /home/username/yacasl2/test/integra
<a id='L173' name='L173'></a> tion/casl2/Test.log
<a id='L174' name='L174'></a> All tests are succeeded.
<a id='L175' name='L175'></a> 149 / 149 tests passed. Details in /home/username/yacasl2/test/integra
<a id='L176' name='L176'></a> tion/comet2/Test.log
<a id='L177' name='L177'></a> All tests are succeeded.
<a id='L178' name='L178'></a> 4 / 4 tests passed. Details in /home/username/yacasl2/test/integration
<a id='L179' name='L179'></a> /dumpword/Test.log
<a id='L180' name='L180'></a> All tests are succeeded.
<a id='L181' name='L181'></a>
<a id='L182' name='L182'></a>2.7 インストール
<a id='L183' name='L183'></a>================
<a id='L184' name='L184'></a>
<a id='L185' name='L185'></a> YACASL2のコマンド実行ファイルはビルド後、'make install'コマンドでインス
<a id='L186' name='L186'></a>トールできます。インストール先は初期設定では、'~/bin'ディレクトリーです
<a id='L187' name='L187'></a>。
<a id='L188' name='L188'></a>
<a id='L189' name='L189'></a> $ make install
<a id='L190' name='L190'></a>
<a id='L191' name='L191'></a> インストール先を変更するには、'prefix'などのオプションを指定します。 例
<a id='L192' name='L192'></a>えば'/usr/local'ディレクトリーにインストールするには、次のようにコマンド
<a id='L193' name='L193'></a>を実行します。
<a id='L194' name='L194'></a>
<a id='L195' name='L195'></a> $ sudo make install prefix=/usr/local
<a id='L196' name='L196'></a>
<a id='L197' name='L197'></a> オプションの詳細は次のとおりです。
<a id='L198' name='L198'></a>
<a id='L199' name='L199'></a>オプション 説明 初期設定
<a id='L200' name='L200'></a>---------------------------------------------------------------------------
<a id='L201' name='L201'></a>PREFIX インストール時のルートファイル '~'
<a id='L202' name='L202'></a>BINDIR 実行ファイルのインストール先 '$prefix/bin'
<a id='L203' name='L203'></a>INFODIR infoファイルのインストール先 '$prefix/share/info'
<a id='L204' name='L204'></a>
<a id='L205' name='L205'></a>2.8 環境変数の設定
<a id='L206' name='L206'></a>==================
<a id='L207' name='L207'></a>
<a id='L208' name='L208'></a> 環境変数'PATH'や'INFOPATH'を設定することで、YACASL2が使いやすくなります
<a id='L209' name='L209'></a>。
<a id='L210' name='L210'></a>
<a id='L211' name='L211'></a>2.8.1 'PATH'の設定
<a id='L212' name='L212'></a>------------------
<a id='L213' name='L213'></a>
<a id='L214' name='L214'></a> 'PATH'にYACASL2の実行ファイルのインストール先が含まれている場合は、ディ
<a id='L215' name='L215'></a>レクトリーの指定を省略して'casl2'などの実行ファイル名を指定できます。
<a id='L216' name='L216'></a>'PATH'は、次のコマンドで確認できます。
<a id='L217' name='L217'></a>
<a id='L218' name='L218'></a> $ echo $PATH
<a id='L219' name='L219'></a>
<a id='L220' name='L220'></a> YACASL2のインストール先の初期設定である'~/bin'ディレクトリーは、OSイン
<a id='L221' name='L221'></a>ストール時に'PATH'に含まれている場合もあります。含まれていない場合は、次
<a id='L222' name='L222'></a>のコマンドで'PATH'に追加できます。
<a id='L223' name='L223'></a>
<a id='L224' name='L224'></a> $ PATH=$HOME/bin:$PATH; export PATH
<a id='L225' name='L225'></a>
<a id='L226' name='L226'></a> '~/.profile'や'~/.bashrc'などの初期化ファイルに'PATH'への追加を設定して
<a id='L227' name='L227'></a>おけば、YACASL2のコマンド実行時に常にディレクトリーの指定を省略できます
<a id='L228' name='L228'></a>。 次は、'PATH'に'~/bin'が二重に追加されることを防ぐ書き方です。
<a id='L229' name='L229'></a>
<a id='L230' name='L230'></a> case ":${PATH}:" in
<a id='L231' name='L231'></a> *":${HOME}/bin:"*) ;;
<a id='L232' name='L232'></a> *) export PATH="${HOME}/bin:${PATH}" ;;
<a id='L233' name='L233'></a> esac
<a id='L234' name='L234'></a>
<a id='L235' name='L235'></a>2.8.2 'INFOPATH'の設定
<a id='L236' name='L236'></a>----------------------
<a id='L237' name='L237'></a>
<a id='L238' name='L238'></a> 環境変数'INFOPATH'とInfoが適切に設定されていれば、次のコマンドで
<a id='L239' name='L239'></a>YACASL2のInfoを表示できます。
<a id='L240' name='L240'></a>
<a id='L241' name='L241'></a> $ info yacasl2
<a id='L242' name='L242'></a>
<a id='L243' name='L243'></a> 'INFOPATH'にYACASL2のInfoファイルをインストールしたディレクトリーの追加
<a id='L244' name='L244'></a>は、次のコマンドでできます。なお、YACASL2のInfoファイルインストール先の
<a id='L245' name='L245'></a>初期設定は、'~/share/info'です。
<a id='L246' name='L246'></a>
<a id='L247' name='L247'></a> $ INFOPATH=$HOME/share/info:$INFOPATH; export INFOPATH
<a id='L248' name='L248'></a>
<a id='L249' name='L249'></a> '~/.profile'や'~/.bashrc'などの初期化ファイルに'INFOPATH'への追加を設定
<a id='L250' name='L250'></a>しておけば、常にYACASL2のInfoを表示できます。 次は、'INFOPATH'に
<a id='L251' name='L251'></a>'~/share/info'が二重に追加されることを防ぐ書き方です。
<a id='L252' name='L252'></a>
<a id='L253' name='L253'></a> case ":${INFOPATH}:" in
<a id='L254' name='L254'></a> *":${HOME}/share/info:"*) ;;
<a id='L255' name='L255'></a> *) export INFOPATH="${HOME}/share/info:${INFOPATH}" ;;
<a id='L256' name='L256'></a> esac
<a id='L257' name='L257'></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>