root/doc_inner/gnu_global/S/13449.html

/* [<][>][^][v][top][bottom][index][help] */
<!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.html</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.html</h2>
<em class='comment'>/* [&lt;][&gt;][^][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>&lt;!DOCTYPE html&gt;
<a id='L2' name='L2'></a>&lt;html&gt;
<a id='L3' name='L3'></a>&lt;!-- Created by GNU Texinfo 7.3, https://www.gnu.org/software/texinfo/ --&gt;
<a id='L4' name='L4'></a>&lt;head&gt;
<a id='L5' name='L5'></a>&lt;meta http-equiv="Content-Type" content="text/html; charset=utf-8"&gt;
<a id='L6' name='L6'></a>&lt;!-- Copyright © 2010-2026 j8takagi --&gt;
<a id='L7' name='L7'></a>&lt;title&gt;YACASL2のインストール&lt;/title&gt;
<a id='L8' name='L8'></a>
<a id='L9' name='L9'></a>&lt;meta name="description" content="YACASL2のインストール"&gt;
<a id='L10' name='L10'></a>&lt;meta name="keywords" content="YACASL2のインストール"&gt;
<a id='L11' name='L11'></a>&lt;meta name="resource-type" content="document"&gt;
<a id='L12' name='L12'></a>&lt;meta name="distribution" content="global"&gt;
<a id='L13' name='L13'></a>&lt;meta name="Generator" content="makeinfo"&gt;
<a id='L14' name='L14'></a>&lt;meta name="viewport" content="width=device-width,initial-scale=1"&gt;
<a id='L15' name='L15'></a>
<a id='L16' name='L16'></a>&lt;link href="#Top" rel="start" title="Top"&gt;
<a id='L17' name='L17'></a>&lt;link href="#SEC_Contents" rel="contents" title="Table of Contents"&gt;
<a id='L18' name='L18'></a>&lt;link href="#Require" rel="next" title="Require"&gt;
<a id='L19' name='L19'></a>&lt;style type="text/css"&gt;
<a id='L20' name='L20'></a>a.copiable-link {visibility: hidden; text-decoration: none; line-height: 0em}
<a id='L21' name='L21'></a>div.example {margin-left: 3.2em}
<a id='L22' name='L22'></a>kbd.kbd {font-style: oblique}
<a id='L23' name='L23'></a>span:hover a.copiable-link {visibility: visible}
<a id='L24' name='L24'></a>ul.toc-numbered-mark {list-style: none}
<a id='L25' name='L25'></a>body {
<a id='L26' name='L26'></a>    margin-left: 6em;
<a id='L27' name='L27'></a>    margin-right: 12em;
<a id='L28' name='L28'></a>    color: black;
<a id='L29' name='L29'></a>    background-color: #EEE;
<a id='L30' name='L30'></a>    font-family: sans-serif;
<a id='L31' name='L31'></a>}
<a id='L32' name='L32'></a>
<a id='L33' name='L33'></a>h1, h2, h3, h4, h5, h6 {
<a id='L34' name='L34'></a>    color: navy;
<a id='L35' name='L35'></a>    background-color: inherit;
<a id='L36' name='L36'></a>}
<a id='L37' name='L37'></a>
<a id='L38' name='L38'></a>h1, h2 {
<a id='L39' name='L39'></a>    margin-left: -2em;
<a id='L40' name='L40'></a>}
<a id='L41' name='L41'></a>
<a id='L42' name='L42'></a>.breadcrumbs {
<a id='L43' name='L43'></a>    padding-bottom: 10px;
<a id='L44' name='L44'></a>    margin-bottom: 20px;
<a id='L45' name='L45'></a>    border-bottom: 1px solid #ccc;
<a id='L46' name='L46'></a>    font-size: 90%;
<a id='L47' name='L47'></a>}
<a id='L48' name='L48'></a>
<a id='L49' name='L49'></a>.node{
<a id='L50' name='L50'></a>    margin-left: -3em;
<a id='L51' name='L51'></a>    color: inherit;
<a id='L52' name='L52'></a>    background-color: #DDF;
<a id='L53' name='L53'></a>}
<a id='L54' name='L54'></a>
<a id='L55' name='L55'></a>.menu, .node {
<a id='L56' name='L56'></a>    color: inherit;
<a id='L57' name='L57'></a>    background-color: #DDF;
<a id='L58' name='L58'></a>}
<a id='L59' name='L59'></a>
<a id='L60' name='L60'></a>table.menu, table.menu th, table.menu td {
<a id='L61' name='L61'></a>    border-style: none;
<a id='L62' name='L62'></a>}
<a id='L63' name='L63'></a>
<a id='L64' name='L64'></a>h2 {
<a id='L65' name='L65'></a>    padding: 0.25em;
<a id='L66' name='L66'></a>    border: 2px solid navy;
<a id='L67' name='L67'></a>}
<a id='L68' name='L68'></a>
<a id='L69' name='L69'></a>.contents, .mini-toc {
<a id='L70' name='L70'></a>    border: 4px double #DDF;
<a id='L71' name='L71'></a>    padding: 0.5em 1em 0.5em 2em;
<a id='L72' name='L72'></a>}
<a id='L73' name='L73'></a>
<a id='L74' name='L74'></a>.contents h2 {
<a id='L75' name='L75'></a>    margin-left: 0;
<a id='L76' name='L76'></a>    color: black;
<a id='L77' name='L77'></a>    background-color: #DDF;
<a id='L78' name='L78'></a>}
<a id='L79' name='L79'></a>
<a id='L80' name='L80'></a>.contents li {
<a id='L81' name='L81'></a>    list-style-type: none;
<a id='L82' name='L82'></a>}
<a id='L83' name='L83'></a>
<a id='L84' name='L84'></a>.shortcontents {
<a id='L85' name='L85'></a>    background-color: #DDF;
<a id='L86' name='L86'></a>    border: 4px double #000;
<a id='L87' name='L87'></a> }
<a id='L88' name='L88'></a>
<a id='L89' name='L89'></a>.shortcontents h2{
<a id='L90' name='L90'></a>    display: none;
<a id='L91' name='L91'></a>}
<a id='L92' name='L92'></a>
<a id='L93' name='L93'></a>h1.node-heading {
<a id='L94' name='L94'></a>    display: none;
<a id='L95' name='L95'></a>}
<a id='L96' name='L96'></a>
<a id='L97' name='L97'></a>h2.contents-heading{
<a id='L98' name='L98'></a>    display: none;
<a id='L99' name='L99'></a>}
<a id='L100' name='L100'></a>
<a id='L101' name='L101'></a>h2.shortcontents-heading{
<a id='L102' name='L102'></a>    display: none;
<a id='L103' name='L103'></a>}
<a id='L104' name='L104'></a>
<a id='L105' name='L105'></a>.shortcontents a {
<a id='L106' name='L106'></a>   margin-right: 1em;
<a id='L107' name='L107'></a>}
<a id='L108' name='L108'></a>
<a id='L109' name='L109'></a>h3, h4, h5 {
<a id='L110' name='L110'></a>    margin-left: -1em;
<a id='L111' name='L111'></a>}
<a id='L112' name='L112'></a>
<a id='L113' name='L113'></a>h5 {
<a id='L114' name='L114'></a>    font-size: 100%;
<a id='L115' name='L115'></a>}
<a id='L116' name='L116'></a>
<a id='L117' name='L117'></a>p {
<a id='L118' name='L118'></a>    line-height: 1.25em;
<a id='L119' name='L119'></a>    margin-top: 0;
<a id='L120' name='L120'></a>    margin-bottom: 0.5em;
<a id='L121' name='L121'></a>}
<a id='L122' name='L122'></a>
<a id='L123' name='L123'></a>a:hover {
<a id='L124' name='L124'></a>    color: red;
<a id='L125' name='L125'></a>    text-decoration: underline;
<a id='L126' name='L126'></a>}
<a id='L127' name='L127'></a>
<a id='L128' name='L128'></a>.example, pre.verbatim {
<a id='L129' name='L129'></a>    margin: 0.5em 0 0.5em 0;
<a id='L130' name='L130'></a>    padding: 0 0 0 1em;
<a id='L131' name='L131'></a>    border: 1px solid #CCC;
<a id='L132' name='L132'></a>}
<a id='L133' name='L133'></a>
<a id='L134' name='L134'></a>a {
<a id='L135' name='L135'></a>    text-decoration: none;
<a id='L136' name='L136'></a>}
<a id='L137' name='L137'></a>
<a id='L138' name='L138'></a>blockquote {
<a id='L139' name='L139'></a>    line-height: 1.25em;
<a id='L140' name='L140'></a>    border: 1px solid #00F;
<a id='L141' name='L141'></a>}
<a id='L142' name='L142'></a>
<a id='L143' name='L143'></a>kbd, code, .file, var, kbd.kbd {
<a id='L144' name='L144'></a>    font-style: normal;
<a id='L145' name='L145'></a>    font-weight: normal;
<a id='L146' name='L146'></a>    font-family: monospace;
<a id='L147' name='L147'></a>    font-size: 110%;
<a id='L148' name='L148'></a>    margin-left:0.25em;
<a id='L149' name='L149'></a>    margin-right: 0.25em;
<a id='L150' name='L150'></a>}
<a id='L151' name='L151'></a>
<a id='L152' name='L152'></a>kbd.kbd {
<a id='L153' name='L153'></a>    font-style: normal;
<a id='L154' name='L154'></a>    font-weight: bold;
<a id='L155' name='L155'></a>    font-family: monospace;
<a id='L156' name='L156'></a>    font-size: 110%;
<a id='L157' name='L157'></a>    margin-left:0.25em;
<a id='L158' name='L158'></a>    margin-right: 0.25em;
<a id='L159' name='L159'></a>}
<a id='L160' name='L160'></a>
<a id='L161' name='L161'></a>table, th, td {
<a id='L162' name='L162'></a>    border: 1px solid black;
<a id='L163' name='L163'></a>    border-collapse: collapse; /* 枠線の表示方法 */
<a id='L164' name='L164'></a>    margin-bottom: 1em;
<a id='L165' name='L165'></a>}
<a id='L166' name='L166'></a>
<a id='L167' name='L167'></a>table.cartouche, table.cartouche th, table.cartouche td  {
<a id='L168' name='L168'></a>    border: none;
<a id='L169' name='L169'></a>}
<a id='L170' name='L170'></a>
<a id='L171' name='L171'></a>pre.example .command, pre.example .option, pre.example {
<a id='L172' name='L172'></a>    font-weight: bold;
<a id='L173' name='L173'></a>    font-family: monospace;
<a id='L174' name='L174'></a>    font-size: 110%;
<a id='L175' name='L175'></a>    background-color: inherit;
<a id='L176' name='L176'></a>    font-style: normal;
<a id='L177' name='L177'></a>    margin-left:0;
<a id='L178' name='L178'></a>    margin-right: 0;
<a id='L179' name='L179'></a>}
<a id='L180' name='L180'></a>
<a id='L181' name='L181'></a>pre.example strong {
<a id='L182' name='L182'></a>    font: inherit;
<a id='L183' name='L183'></a>    border: 2px solid green;
<a id='L184' name='L184'></a>}
<a id='L185' name='L185'></a>
<a id='L186' name='L186'></a>pre.example em {
<a id='L187' name='L187'></a>    font-size: 100%;
<a id='L188' name='L188'></a>    font-style: normal;
<a id='L189' name='L189'></a>    font-weight: bold;
<a id='L190' name='L190'></a>}
<a id='L191' name='L191'></a>
<a id='L192' name='L192'></a>th {
<a id='L193' name='L193'></a>    font-style: normal;
<a id='L194' name='L194'></a>    font-weight: bold;
<a id='L195' name='L195'></a>    font-family: sans-serif;
<a id='L196' name='L196'></a>    text-align: center;
<a id='L197' name='L197'></a>}
<a id='L198' name='L198'></a>
<a id='L199' name='L199'></a>dfn {
<a id='L200' name='L200'></a>    font-style: normal;
<a id='L201' name='L201'></a>}
<a id='L202' name='L202'></a>
<a id='L203' name='L203'></a>.header, .menu {
<a id='L204' name='L204'></a>    display: none;
<a id='L205' name='L205'></a>}
<a id='L206' name='L206'></a>
<a id='L207' name='L207'></a>em {
<a id='L208' name='L208'></a>    font-style: normal;
<a id='L209' name='L209'></a>    font-weight: bold;
<a id='L210' name='L210'></a>}
<a id='L211' name='L211'></a>
<a id='L212' name='L212'></a>hr {
<a id='L213' name='L213'></a>    display: none;
<a id='L214' name='L214'></a>}
<a id='L215' name='L215'></a>
<a id='L216' name='L216'></a>p.nav-panel {
<a id='L217' name='L217'></a>    border-top: 1px solid #ccc;
<a id='L218' name='L218'></a>    border-bottom: 1px solid #ccc;
<a id='L219' name='L219'></a>    margin-top: 0.5em;
<a id='L220' name='L220'></a>}
<a id='L221' name='L221'></a>
<a id='L222' name='L222'></a>&lt;/style&gt;
<a id='L223' name='L223'></a>
<a id='L224' name='L224'></a>
<a id='L225' name='L225'></a>&lt;/head&gt;
<a id='L226' name='L226'></a>
<a id='L227' name='L227'></a>&lt;body&gt;
<a id='L228' name='L228'></a>
<a id='L229' name='L229'></a>
<a id='L230' name='L230'></a>
<a id='L231' name='L231'></a>&lt;div class="top-level-extent" id="Top"&gt;
<a id='L232' name='L232'></a>&lt;p class="nav-panel"&gt;
<a id='L233' name='L233'></a>&lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Next: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Require" rel="next"&gt;要件&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="nav-button"&gt; &amp;nbsp; &lt;/span&gt;&lt;span class="nav-button"&gt;[&lt;a href="#SEC_Contents" title="Table of contents" rel="contents"&gt;Contents&lt;/a&gt;]&lt;/span&gt;&lt;/p&gt;
<a id='L234' name='L234'></a>&lt;h1 class="top" id="YACASL2_306e_30a4_30f3_30b9_30c8_30fc_30eb"&gt;&lt;span&gt;YACASL2のインストール&lt;a class="copiable-link" href="#YACASL2_306e_30a4_30f3_30b9_30c8_30fc_30eb"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h1&gt;
<a id='L235' name='L235'></a>
<a id='L236' name='L236'></a>
<a id='L237' name='L237'></a>
<a id='L238' name='L238'></a>&lt;div class="region-contents" id="SEC_Contents"&gt;
<a id='L239' name='L239'></a>&lt;h2 class="contents-heading"&gt;Table of Contents&lt;/h2&gt;
<a id='L240' name='L240'></a>
<a id='L241' name='L241'></a>&lt;div class="contents"&gt;
<a id='L242' name='L242'></a>
<a id='L243' name='L243'></a>&lt;ul class="toc-numbered-mark"&gt;
<a id='L244' name='L244'></a>  &lt;li&gt;&lt;a id="toc-_8981_4ef6" href="#Require"&gt;1 要件&lt;/a&gt;&lt;/li&gt;
<a id='L245' name='L245'></a>  &lt;li&gt;&lt;a id="toc-_30a4_30f3_30b9_30c8_30fc_30eb_306e_624b_9806" href="#install"&gt;2 インストールの手順&lt;/a&gt;
<a id='L246' name='L246'></a>  &lt;ul class="toc-numbered-mark"&gt;
<a id='L247' name='L247'></a>    &lt;li&gt;&lt;a id="toc-YACASL2_30d5_30a1_30a4_30eb_306e_30c0_30a6_30f3_30ed_30fc_30c9" href="#Download"&gt;2.1 YACASL2ファイルのダウンロード&lt;/a&gt;&lt;/li&gt;
<a id='L248' name='L248'></a>    &lt;li&gt;&lt;a id="toc-YACASL2_30d5_30a1_30a4_30eb_306e_691c_8a3c" href="#Verify"&gt;2.2 YACASL2ファイルの検証&lt;/a&gt;
<a id='L249' name='L249'></a>    &lt;ul class="toc-numbered-mark"&gt;
<a id='L250' name='L250'></a>      &lt;li&gt;&lt;a id="toc-GnuPG_5206_96e2_7f72_540d_3067_306e_691c_8a3c" href="#GnuPG_5206_96e2_7f72_540d_3067_306e_691c_8a3c"&gt;2.2.1 GnuPG分離署名での検証&lt;/a&gt;&lt;/li&gt;
<a id='L251' name='L251'></a>      &lt;li&gt;&lt;a id="toc-MD5_30cf_30c3_30b7_30e5_5024_3067_306e_691c_8a3c" href="#MD5_30cf_30c3_30b7_30e5_5024_3067_306e_691c_8a3c"&gt;2.2.2 MD5ハッシュ値での検証&lt;/a&gt;&lt;/li&gt;
<a id='L252' name='L252'></a>    &lt;/ul&gt;&lt;/li&gt;
<a id='L253' name='L253'></a>    &lt;li&gt;&lt;a id="toc-YACASL2_30d5_30a1_30a4_30eb_306e_5c55_958b" href="#Expand"&gt;2.3 YACASL2ファイルの展開&lt;/a&gt;&lt;/li&gt;
<a id='L254' name='L254'></a>    &lt;li&gt;&lt;a id="toc-_30d3_30eb_30c9" href="#Build"&gt;2.4 ビルド&lt;/a&gt;&lt;/li&gt;
<a id='L255' name='L255'></a>    &lt;li&gt;&lt;a id="toc-casl2_306e_5b9f_884c_30c6_30b9_30c8" href="#Simple-Test"&gt;2.5 &lt;samp class="file"&gt;casl2&lt;/samp&gt;の実行テスト&lt;/a&gt;&lt;/li&gt;
<a id='L256' name='L256'></a>    &lt;li&gt;&lt;a id="toc-_8a73_7d30_306a_30c6_30b9_30c8" href="#Detail-Test"&gt;2.6 詳細なテスト&lt;/a&gt;&lt;/li&gt;
<a id='L257' name='L257'></a>    &lt;li&gt;&lt;a id="toc-_30a4_30f3_30b9_30c8_30fc_30eb" href="#Install"&gt;2.7 インストール&lt;/a&gt;&lt;/li&gt;
<a id='L258' name='L258'></a>    &lt;li&gt;&lt;a id="toc-_74b0_5883_5909_6570_306e_8a2d_5b9a" href="#Environment"&gt;2.8 環境変数の設定&lt;/a&gt;
<a id='L259' name='L259'></a>    &lt;ul class="toc-numbered-mark"&gt;
<a id='L260' name='L260'></a>      &lt;li&gt;&lt;a id="toc-PATH_306e_8a2d_5b9a" href="#PATH_306e_8a2d_5b9a"&gt;2.8.1 &lt;code class="code"&gt;PATH&lt;/code&gt;の設定&lt;/a&gt;&lt;/li&gt;
<a id='L261' name='L261'></a>      &lt;li&gt;&lt;a id="toc-INFOPATH_306e_8a2d_5b9a" href="#INFOPATH_306e_8a2d_5b9a"&gt;2.8.2 &lt;code class="code"&gt;INFOPATH&lt;/code&gt;の設定&lt;/a&gt;&lt;/li&gt;
<a id='L262' name='L262'></a>    &lt;/ul&gt;&lt;/li&gt;
<a id='L263' name='L263'></a>  &lt;/ul&gt;&lt;/li&gt;
<a id='L264' name='L264'></a>&lt;/ul&gt;
<a id='L265' name='L265'></a>&lt;/div&gt;
<a id='L266' name='L266'></a>&lt;/div&gt;
<a id='L267' name='L267'></a>&lt;hr&gt;
<a id='L268' name='L268'></a>&lt;div class="chapter-level-extent" id="Require"&gt;
<a id='L269' name='L269'></a>&lt;p class="nav-panel"&gt;
<a id='L270' name='L270'></a>&lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Next: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#install" rel="next"&gt;インストールの手順&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Previous: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Top" rel="prev"&gt;YACASL2のインストール&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Up: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Top" rel="up"&gt;YACASL2のインストール&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="nav-button"&gt; &amp;nbsp; &lt;/span&gt;&lt;span class="nav-button"&gt;[&lt;a href="#SEC_Contents" title="Table of contents" rel="contents"&gt;Contents&lt;/a&gt;]&lt;/span&gt;&lt;/p&gt;
<a id='L271' name='L271'></a>&lt;h2 class="chapter" id="g_t_8981_4ef6"&gt;&lt;span&gt;1 要件&lt;a class="copiable-link" href="#g_t_8981_4ef6"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h2&gt;
<a id='L272' name='L272'></a>
<a id='L273' name='L273'></a>&lt;p&gt;YACASL2は、LinuxやMac OS Xなど、UNIX系のOS上で動作します。現在動作を確認しているのは、Arch LinuxとUbuntu Linux、Mac OS Xです。
<a id='L274' name='L274'></a>&lt;/p&gt;
<a id='L275' name='L275'></a>&lt;p&gt;インストール時に、&lt;code class="command"&gt;tar&lt;/code&gt; &lt;code class="command"&gt;gcc&lt;/code&gt; &lt;code class="command"&gt;make&lt;/code&gt;が必要です。Linuxでは多くの場合、標準でインストールされています。Mac OS Xの場合、Xcodeの「Command Line Tools」に含まれます。
<a id='L276' name='L276'></a>&lt;/p&gt;
<a id='L277' name='L277'></a>&lt;hr&gt;
<a id='L278' name='L278'></a>&lt;/div&gt;
<a id='L279' name='L279'></a>&lt;div class="chapter-level-extent" id="install"&gt;
<a id='L280' name='L280'></a>&lt;p class="nav-panel"&gt;
<a id='L281' name='L281'></a>&lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Previous: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Require" rel="prev"&gt;要件&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Up: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Top" rel="up"&gt;YACASL2のインストール&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="nav-button"&gt; &amp;nbsp; &lt;/span&gt;&lt;span class="nav-button"&gt;[&lt;a href="#SEC_Contents" title="Table of contents" rel="contents"&gt;Contents&lt;/a&gt;]&lt;/span&gt;&lt;/p&gt;
<a id='L282' name='L282'></a>&lt;h2 class="chapter" id="g_t_30a4_30f3_30b9_30c8_30fc_30eb_306e_624b_9806"&gt;&lt;span&gt;2 インストールの手順&lt;a class="copiable-link" href="#g_t_30a4_30f3_30b9_30c8_30fc_30eb_306e_624b_9806"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h2&gt;
<a id='L283' name='L283'></a>
<a id='L284' name='L284'></a>
<a id='L285' name='L285'></a>&lt;ul class="mini-toc"&gt;
<a id='L286' name='L286'></a>&lt;li&gt;&lt;a href="#Download"&gt;YACASL2ファイルのダウンロード&lt;/a&gt;&lt;/li&gt;
<a id='L287' name='L287'></a>&lt;li&gt;&lt;a href="#Verify"&gt;YACASL2ファイルの検証&lt;/a&gt;&lt;/li&gt;
<a id='L288' name='L288'></a>&lt;li&gt;&lt;a href="#Expand"&gt;YACASL2ファイルの展開&lt;/a&gt;&lt;/li&gt;
<a id='L289' name='L289'></a>&lt;li&gt;&lt;a href="#Build"&gt;ビルド&lt;/a&gt;&lt;/li&gt;
<a id='L290' name='L290'></a>&lt;li&gt;&lt;a href="#Simple-Test"&gt;&lt;samp class="file"&gt;casl2&lt;/samp&gt;の実行テスト&lt;/a&gt;&lt;/li&gt;
<a id='L291' name='L291'></a>&lt;li&gt;&lt;a href="#Detail-Test"&gt;詳細なテスト&lt;/a&gt;&lt;/li&gt;
<a id='L292' name='L292'></a>&lt;li&gt;&lt;a href="#Install"&gt;インストール&lt;/a&gt;&lt;/li&gt;
<a id='L293' name='L293'></a>&lt;li&gt;&lt;a href="#Environment"&gt;環境変数の設定&lt;/a&gt;&lt;/li&gt;
<a id='L294' name='L294'></a>&lt;/ul&gt;
<a id='L295' name='L295'></a>&lt;hr&gt;
<a id='L296' name='L296'></a>&lt;div class="section-level-extent" id="Download"&gt;
<a id='L297' name='L297'></a>&lt;p class="nav-panel"&gt;
<a id='L298' name='L298'></a>&lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Next: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Verify" rel="next"&gt;YACASL2ファイルの検証&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Previous: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#install" rel="prev"&gt;インストールの手順&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Up: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#install" rel="up"&gt;インストールの手順&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="nav-button"&gt; &amp;nbsp; &lt;/span&gt;&lt;span class="nav-button"&gt;[&lt;a href="#SEC_Contents" title="Table of contents" rel="contents"&gt;Contents&lt;/a&gt;]&lt;/span&gt;&lt;/p&gt;
<a id='L299' name='L299'></a>&lt;h3 class="section" id="YACASL2_30d5_30a1_30a4_30eb_306e_30c0_30a6_30f3_30ed_30fc_30c9"&gt;&lt;span&gt;2.1 YACASL2ファイルのダウンロード&lt;a class="copiable-link" href="#YACASL2_30d5_30a1_30a4_30eb_306e_30c0_30a6_30f3_30ed_30fc_30c9"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h3&gt;
<a id='L300' name='L300'></a>
<a id='L301' name='L301'></a>&lt;p&gt;&lt;a class="uref" href="http://www.j8takagi.net/yacasl2/"&gt;YACASL2のサイト&lt;/a&gt;から、&lt;samp class="file"&gt;tar.gz&lt;/samp&gt;または&lt;samp class="file"&gt;tar.xz&lt;/samp&gt;ファイルと、対応する検証用ファイルをダウンロードします。&lt;a class="uref" href="http://github.com/j8takagi/YACASL2/downloads/"&gt;githubのダウンロードページ&lt;/a&gt;から&lt;samp class="file"&gt;tar.gz&lt;/samp&gt;などのファイルをダウンロードすることもできます。
<a id='L302' name='L302'></a>&lt;/p&gt;
<a id='L303' name='L303'></a>&lt;hr&gt;
<a id='L304' name='L304'></a>&lt;/div&gt;
<a id='L305' name='L305'></a>&lt;div class="section-level-extent" id="Verify"&gt;
<a id='L306' name='L306'></a>&lt;p class="nav-panel"&gt;
<a id='L307' name='L307'></a>&lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Next: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Expand" rel="next"&gt;YACASL2ファイルの展開&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Previous: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Download" rel="prev"&gt;YACASL2ファイルのダウンロード&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Up: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#install" rel="up"&gt;インストールの手順&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="nav-button"&gt; &amp;nbsp; &lt;/span&gt;&lt;span class="nav-button"&gt;[&lt;a href="#SEC_Contents" title="Table of contents" rel="contents"&gt;Contents&lt;/a&gt;]&lt;/span&gt;&lt;/p&gt;
<a id='L308' name='L308'></a>&lt;h3 class="section" id="YACASL2_30d5_30a1_30a4_30eb_306e_691c_8a3c"&gt;&lt;span&gt;2.2 YACASL2ファイルの検証&lt;a class="copiable-link" href="#YACASL2_30d5_30a1_30a4_30eb_306e_691c_8a3c"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h3&gt;
<a id='L309' name='L309'></a>
<a id='L310' name='L310'></a>&lt;p&gt;ダウンロードが完了したら、圧縮ファイルが改竄されていないか検証します。検証には、GnuPG分離署名か、MD5ハッシュ値を使います。
<a id='L311' name='L311'></a>&lt;/p&gt;
<a id='L312' name='L312'></a>&lt;ul class="mini-toc"&gt;
<a id='L313' name='L313'></a>&lt;li&gt;&lt;a href="#GnuPG_5206_96e2_7f72_540d_3067_306e_691c_8a3c"&gt;GnuPG分離署名での検証&lt;/a&gt;&lt;/li&gt;
<a id='L314' name='L314'></a>&lt;li&gt;&lt;a href="#MD5_30cf_30c3_30b7_30e5_5024_3067_306e_691c_8a3c"&gt;MD5ハッシュ値での検証&lt;/a&gt;&lt;/li&gt;
<a id='L315' name='L315'></a>&lt;/ul&gt;
<a id='L316' name='L316'></a>&lt;div class="subsection-level-extent" id="GnuPG_5206_96e2_7f72_540d_3067_306e_691c_8a3c"&gt;
<a id='L317' name='L317'></a>&lt;h4 class="subsection"&gt;&lt;span&gt;2.2.1 GnuPG分離署名での検証&lt;a class="copiable-link" href="#GnuPG_5206_96e2_7f72_540d_3067_306e_691c_8a3c"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h4&gt;
<a id='L318' name='L318'></a>
<a id='L319' name='L319'></a>&lt;p&gt;GnuPGの&lt;code class="command"&gt;gpg&lt;/code&gt;で圧縮ファイルを検証します。この検証を行うには、GnuPGがインストールされ、自分用の秘密鍵が作成されている必要があります。
<a id='L320' name='L320'></a>また、あらかじめ&lt;samp class="file"&gt;tar.gz&lt;/samp&gt;または&lt;samp class="file"&gt;tar.xz&lt;/samp&gt;ファイルと、対応する検証用ファイル&lt;samp class="file"&gt;tar.gz.asc&lt;/samp&gt;または&lt;samp class="file"&gt;tar.xz.asc&lt;/samp&gt;ファイルを同じディレクトリーに保存し、そのディレクトリーに移動しておきます。
<a id='L321' name='L321'></a>&lt;/p&gt;
<a id='L322' name='L322'></a>&lt;p&gt;次の手順では&lt;code class="command"&gt;gpg --verify&lt;/code&gt;による検証を2回実行させています。1回目では検証に失敗する一方で、必要な鍵などの情報を得ています。その鍵を&lt;code class="command"&gt;gpg --recv-keys&lt;/code&gt;で取得し、&lt;code class="command"&gt;gpg --lsign-key&lt;/code&gt;でローカル署名した後、再度&lt;code class="command"&gt;gpg --verify&lt;/code&gt;による検証を行い、成功させています。
<a id='L323' name='L323'></a>&lt;/p&gt;
<a id='L324' name='L324'></a>&lt;div class="example"&gt;
<a id='L325' name='L325'></a>&lt;pre class="example-preformatted"&gt;$ &lt;kbd class="kbd"&gt;ls yacasl2.tar.gz*&lt;/kbd&gt;
<a id='L326' name='L326'></a>yacasl2.tar.gz  yacasl2.tar.gz.asc
<a id='L327' name='L327'></a>$ &lt;kbd class="kbd"&gt;gpg --verify yacasl2.tar.xz.asc&lt;/kbd&gt;
<a id='L328' name='L328'></a>gpg: assuming signed data in 'yacasl2.tar.gz'
<a id='L329' name='L329'></a>gpg: Signature made Tue 02 Jun 2026 01:14:17 AM JST
<a id='L330' name='L330'></a>gpg:                using EDDSA key 77EC282A2F7317EBFF7BFD067F593ED86D88E1D5
<a id='L331' name='L331'></a>gpg: Can't check signature: No public key
<a id='L332' name='L332'></a>$ &lt;kbd class="kbd"&gt;gpg --recv-keys 77EC282A2F7317EBFF7BFD067F593ED86D88E1D5&lt;/kbd&gt;
<a id='L333' name='L333'></a>gpg: key 7F593ED86D88E1D5: public key &amp;quot;j8takagi &amp;lt;j8takagi@nifty.com&amp;gt;&amp;quot; imported
<a id='L334' name='L334'></a>gpg: marginals needed: 3  completes needed: 1  trust model: pgp
<a id='L335' name='L335'></a>gpg: depth: 0  valid:   1  signed:   0  trust: 0-, 0q, 0n, 0m, 0f, 1u
<a id='L336' name='L336'></a>gpg: next trustdb check due at 2029-06-01
<a id='L337' name='L337'></a>gpg: Total number processed: 1
<a id='L338' name='L338'></a>gpg:               imported: 1
<a id='L339' name='L339'></a>$ &lt;kbd class="kbd"&gt;gpg --lsign-key 77EC282A2F7317EBFF7BFD067F593ED86D88E1D5&lt;/kbd&gt;
<a id='L340' name='L340'></a>
<a id='L341' name='L341'></a>pub  ed25519/7F593ED86D88E1D5
<a id='L342' name='L342'></a>     created: 2026-04-23  expires: 2031-04-30  usage: SC  
<a id='L343' name='L343'></a>     trust: unknown       validity: unknown
<a id='L344' name='L344'></a>sub  cv25519/B3433115DBD37726
<a id='L345' name='L345'></a>     created: 2026-04-23  expires: never       usage: E   
<a id='L346' name='L346'></a>[ unknown] (1). j8takagi &amp;lt;j8takagi@nifty.com&amp;gt;
<a id='L347' name='L347'></a>
<a id='L348' name='L348'></a>
<a id='L349' name='L349'></a>pub  ed25519/7F593ED86D88E1D5
<a id='L350' name='L350'></a>     created: 2026-04-23  expires: 2031-04-30  usage: SC  
<a id='L351' name='L351'></a>     trust: unknown       validity: unknown
<a id='L352' name='L352'></a> Primary key fingerprint: 77EC 282A 2F73 17EB FF7B  FD06 7F59 3ED8 6D88 E1D5
<a id='L353' name='L353'></a>
<a id='L354' name='L354'></a>     j8takagi &amp;lt;j8takagi@nifty.com&amp;gt;
<a id='L355' name='L355'></a>
<a id='L356' name='L356'></a>This key is due to expire on 2031-04-30.
<a id='L357' name='L357'></a>Are you sure that you want to sign this key with your
<a id='L358' name='L358'></a>key &amp;quot;j8takagi &amp;lt;j8takagi@nifty.com&amp;gt;&amp;quot; (4223493EBCB683A9)
<a id='L359' name='L359'></a>
<a id='L360' name='L360'></a>The signature will be marked as non-exportable.
<a id='L361' name='L361'></a>
<a id='L362' name='L362'></a>Really sign? (y/N) &lt;kbd class="kbd"&gt;y&lt;/kbd&gt;
<a id='L363' name='L363'></a>
<a id='L364' name='L364'></a>$ &lt;kbd class="kbd"&gt;gpg --verify yacasl2.tar.gz.asc&lt;/kbd&gt;
<a id='L365' name='L365'></a>gpg: assuming signed data in 'yacasl2.tar.gz'
<a id='L366' name='L366'></a>gpg: Signature made Tue 02 Jun 2026 01:14:17 AM JST
<a id='L367' name='L367'></a>gpg:                using EDDSA key 77EC282A2F7317EBFF7BFD067F593ED86D88E1D5
<a id='L368' name='L368'></a>gpg: checking the trustdb
<a id='L369' name='L369'></a>gpg: marginals needed: 3  completes needed: 1  trust model: pgp
<a id='L370' name='L370'></a>gpg: depth: 0  valid:   1  signed:   1  trust: 0-, 0q, 0n, 0m, 0f, 1u
<a id='L371' name='L371'></a>gpg: depth: 1  valid:   1  signed:   0  trust: 1-, 0q, 0n, 0m, 0f, 0u
<a id='L372' name='L372'></a>gpg: next trustdb check due at 2029-06-01
<a id='L373' name='L373'></a>gpg: Good signature from &amp;quot;j8takagi &amp;lt;j8takagi@nifty.com&amp;gt;&amp;quot; [full]
<a id='L374' name='L374'></a>gpg: Signature notation: manu=2,2.5+1.12,0,3
<a id='L375' name='L375'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L376' name='L376'></a>
<a id='L377' name='L377'></a>&lt;/div&gt;
<a id='L378' name='L378'></a>&lt;div class="subsection-level-extent" id="MD5_30cf_30c3_30b7_30e5_5024_3067_306e_691c_8a3c"&gt;
<a id='L379' name='L379'></a>&lt;h4 class="subsection"&gt;&lt;span&gt;2.2.2 MD5ハッシュ値での検証&lt;a class="copiable-link" href="#MD5_30cf_30c3_30b7_30e5_5024_3067_306e_691c_8a3c"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h4&gt;
<a id='L380' name='L380'></a>
<a id='L381' name='L381'></a>&lt;p&gt;&lt;code class="command"&gt;openssl&lt;/code&gt;で圧縮ファイルから生成したMD5ハッシュ値が、ダウンロードした&lt;samp class="file"&gt;yacasl2.tar.gz.md5sum&lt;/samp&gt;ファイルの内容と同じかどうか&lt;code class="command"&gt;diff&lt;/code&gt;で検証します。
<a id='L382' name='L382'></a>&lt;/p&gt;
<a id='L383' name='L383'></a>&lt;div class="example"&gt;
<a id='L384' name='L384'></a>&lt;pre class="example-preformatted"&gt;$ &lt;kbd class="kbd"&gt;openssl md5 yacasl2.tar.gz | diff -s yacasl2.tar.gz.md5sum -&lt;/kbd&gt;
<a id='L385' name='L385'></a>Files yacasl2.tar.gz.md5sum and - are identical
<a id='L386' name='L386'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L387' name='L387'></a>
<a id='L388' name='L388'></a>&lt;hr&gt;
<a id='L389' name='L389'></a>&lt;/div&gt;
<a id='L390' name='L390'></a>&lt;/div&gt;
<a id='L391' name='L391'></a>&lt;div class="section-level-extent" id="Expand"&gt;
<a id='L392' name='L392'></a>&lt;p class="nav-panel"&gt;
<a id='L393' name='L393'></a>&lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Next: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Build" rel="next"&gt;ビルド&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Previous: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Verify" rel="prev"&gt;YACASL2ファイルの検証&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Up: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#install" rel="up"&gt;インストールの手順&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="nav-button"&gt; &amp;nbsp; &lt;/span&gt;&lt;span class="nav-button"&gt;[&lt;a href="#SEC_Contents" title="Table of contents" rel="contents"&gt;Contents&lt;/a&gt;]&lt;/span&gt;&lt;/p&gt;
<a id='L394' name='L394'></a>&lt;h3 class="section" id="YACASL2_30d5_30a1_30a4_30eb_306e_5c55_958b"&gt;&lt;span&gt;2.3 YACASL2ファイルの展開&lt;a class="copiable-link" href="#YACASL2_30d5_30a1_30a4_30eb_306e_5c55_958b"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h3&gt;
<a id='L395' name='L395'></a>
<a id='L396' name='L396'></a>&lt;p&gt;YACASL2ファイルをダウンロードしたら、&lt;code class="command"&gt;tar&lt;/code&gt;コマンドで展開します。
<a id='L397' name='L397'></a>&lt;/p&gt;
<a id='L398' name='L398'></a>&lt;div class="example"&gt;
<a id='L399' name='L399'></a>&lt;pre class="example-preformatted"&gt;$ &lt;kbd class="kbd"&gt;tar xvzf yacasl2.tar.gz&lt;/kbd&gt;
<a id='L400' name='L400'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L401' name='L401'></a>
<a id='L402' name='L402'></a>&lt;hr&gt;
<a id='L403' name='L403'></a>&lt;/div&gt;
<a id='L404' name='L404'></a>&lt;div class="section-level-extent" id="Build"&gt;
<a id='L405' name='L405'></a>&lt;p class="nav-panel"&gt;
<a id='L406' name='L406'></a>&lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Next: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Simple-Test" rel="next"&gt;&lt;samp class="file"&gt;casl2&lt;/samp&gt;の実行テスト&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Previous: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Expand" rel="prev"&gt;YACASL2ファイルの展開&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Up: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#install" rel="up"&gt;インストールの手順&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="nav-button"&gt; &amp;nbsp; &lt;/span&gt;&lt;span class="nav-button"&gt;[&lt;a href="#SEC_Contents" title="Table of contents" rel="contents"&gt;Contents&lt;/a&gt;]&lt;/span&gt;&lt;/p&gt;
<a id='L407' name='L407'></a>&lt;h3 class="section" id="g_t_30d3_30eb_30c9"&gt;&lt;span&gt;2.4 ビルド&lt;a class="copiable-link" href="#g_t_30d3_30eb_30c9"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h3&gt;
<a id='L408' name='L408'></a>
<a id='L409' name='L409'></a>&lt;p&gt;展開したら、&lt;code class="command"&gt;make&lt;/code&gt;コマンドを実行してビルドします。
<a id='L410' name='L410'></a>YACASL2のコマンド実行ファイルである&lt;code class="command"&gt;casl2&lt;/code&gt; &lt;code class="command"&gt;comet2&lt;/code&gt; &lt;code class="command"&gt;dumpword&lt;/code&gt; &lt;code class="command"&gt;casl2rev&lt;/code&gt; &lt;code class="command"&gt;comet2monitor&lt;/code&gt;が生成されます。
<a id='L411' name='L411'></a>&lt;/p&gt;
<a id='L412' name='L412'></a>&lt;div class="example"&gt;
<a id='L413' name='L413'></a>&lt;pre class="example-preformatted"&gt;$ &lt;kbd class="kbd"&gt;cd yacasl2&lt;/kbd&gt;
<a id='L414' name='L414'></a>$ &lt;kbd class="kbd"&gt;make&lt;/kbd&gt;
<a id='L415' name='L415'></a>make -C src
<a id='L416' name='L416'></a>make[1]: Entering directory ‘/home/username/yacasl2/src’
<a id='L417' name='L417'></a>gcc -c -g -Wall -I ../include casl2.c
<a id='L418' name='L418'></a>gcc -c -g -Wall -I ../include word.c
<a id='L419' name='L419'></a>gcc -c -g -Wall -I ../include hash.c
<a id='L420' name='L420'></a>gcc -c -g -Wall -I ../include cerr.c
<a id='L421' name='L421'></a>gcc -c -g -Wall -I ../include struct.c
<a id='L422' name='L422'></a>gcc -c -g -Wall -I ../include cmd.c
<a id='L423' name='L423'></a>gcc -c -g -Wall -I ../include assemble.c
<a id='L424' name='L424'></a>gcc -c -g -Wall -I ../include token.c
<a id='L425' name='L425'></a>gcc -c -g -Wall -I ../include label.c
<a id='L426' name='L426'></a>gcc -c -g -Wall -I ../include macro.c
<a id='L427' name='L427'></a>gcc -c -g -Wall -I ../include exec.c
<a id='L428' name='L428'></a>gcc -c -g -Wall -I ../include dump.c
<a id='L429' name='L429'></a>gcc -g -Wall -I ../include -o ../casl2 casl2.o word.o hash.o cerr.o st
<a id='L430' name='L430'></a>ruct.o cmd.o assemble.o token.o label.o macro.o exec.o dump.o
<a id='L431' name='L431'></a>gcc -c -g -Wall -I ../include comet2.c
<a id='L432' name='L432'></a>gcc -g -Wall -I ../include -o ../comet2 comet2.o word.o hash.o cerr.o
<a id='L433' name='L433'></a>struct.o cmd.o exec.o dump.o
<a id='L434' name='L434'></a>gcc -c -g -Wall -I ../include dumpword.c
<a id='L435' name='L435'></a>gcc -g -Wall -I ../include -o ../dumpword dumpword.o word.o cerr.o
<a id='L436' name='L436'></a>make[1]: Leaving directory ‘/home/username/yacasl2/src’
<a id='L437' name='L437'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L438' name='L438'></a>
<a id='L439' name='L439'></a>&lt;hr&gt;
<a id='L440' name='L440'></a>&lt;/div&gt;
<a id='L441' name='L441'></a>&lt;div class="section-level-extent" id="Simple-Test"&gt;
<a id='L442' name='L442'></a>&lt;p class="nav-panel"&gt;
<a id='L443' name='L443'></a>&lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Next: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Detail-Test" rel="next"&gt;詳細なテスト&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Previous: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Build" rel="prev"&gt;ビルド&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Up: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#install" rel="up"&gt;インストールの手順&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="nav-button"&gt; &amp;nbsp; &lt;/span&gt;&lt;span class="nav-button"&gt;[&lt;a href="#SEC_Contents" title="Table of contents" rel="contents"&gt;Contents&lt;/a&gt;]&lt;/span&gt;&lt;/p&gt;
<a id='L444' name='L444'></a>&lt;h3 class="section" id="casl2_306e_5b9f_884c_30c6_30b9_30c8"&gt;&lt;span&gt;2.5 &lt;samp class="file"&gt;casl2&lt;/samp&gt;の実行テスト&lt;a class="copiable-link" href="#casl2_306e_5b9f_884c_30c6_30b9_30c8"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h3&gt;
<a id='L445' name='L445'></a>
<a id='L446' name='L446'></a>&lt;p&gt;ビルドしたら、次のコマンドが正常に実行できるかを確認します。
<a id='L447' name='L447'></a>正常に実行された場合は、「Hello, World!」と表示されます。
<a id='L448' name='L448'></a>&lt;/p&gt;
<a id='L449' name='L449'></a>&lt;div class="example"&gt;
<a id='L450' name='L450'></a>&lt;pre class="example-preformatted"&gt;$ &lt;kbd class="kbd"&gt;./casl2 as/hello.casl&lt;/kbd&gt;
<a id='L451' name='L451'></a>Hello, World!
<a id='L452' name='L452'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L453' name='L453'></a>
<a id='L454' name='L454'></a>&lt;hr&gt;
<a id='L455' name='L455'></a>&lt;/div&gt;
<a id='L456' name='L456'></a>&lt;div class="section-level-extent" id="Detail-Test"&gt;
<a id='L457' name='L457'></a>&lt;p class="nav-panel"&gt;
<a id='L458' name='L458'></a>&lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Next: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Install" rel="next"&gt;インストール&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Previous: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Simple-Test" rel="prev"&gt;&lt;samp class="file"&gt;casl2&lt;/samp&gt;の実行テスト&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Up: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#install" rel="up"&gt;インストールの手順&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="nav-button"&gt; &amp;nbsp; &lt;/span&gt;&lt;span class="nav-button"&gt;[&lt;a href="#SEC_Contents" title="Table of contents" rel="contents"&gt;Contents&lt;/a&gt;]&lt;/span&gt;&lt;/p&gt;
<a id='L459' name='L459'></a>&lt;h3 class="section" id="g_t_8a73_7d30_306a_30c6_30b9_30c8"&gt;&lt;span&gt;2.6 詳細なテスト&lt;a class="copiable-link" href="#g_t_8a73_7d30_306a_30c6_30b9_30c8"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h3&gt;
<a id='L460' name='L460'></a>
<a id='L461' name='L461'></a>&lt;p&gt;&lt;code class="command"&gt;make check&lt;/code&gt;コマンドを実行すると、正常にビルドできているかどうかを詳細にテストできます。
<a id='L462' name='L462'></a>テストには、しばらく時間がかかります。
<a id='L463' name='L463'></a>&lt;/p&gt;
<a id='L464' name='L464'></a>&lt;div class="example"&gt;
<a id='L465' name='L465'></a>&lt;pre class="example-preformatted"&gt;$ &lt;kbd class="kbd"&gt;make check&lt;/kbd&gt;
<a id='L466' name='L466'></a>195 / 195 tests passed. Details in /home/username/yacasl2/test/integra
<a id='L467' name='L467'></a>tion/casl2/Test.log
<a id='L468' name='L468'></a>All tests are succeeded.
<a id='L469' name='L469'></a>149 / 149 tests passed. Details in /home/username/yacasl2/test/integra
<a id='L470' name='L470'></a>tion/comet2/Test.log
<a id='L471' name='L471'></a>All tests are succeeded.
<a id='L472' name='L472'></a>4 / 4 tests passed. Details in /home/username/yacasl2/test/integration
<a id='L473' name='L473'></a>/dumpword/Test.log
<a id='L474' name='L474'></a>All tests are succeeded.
<a id='L475' name='L475'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L476' name='L476'></a>
<a id='L477' name='L477'></a>&lt;hr&gt;
<a id='L478' name='L478'></a>&lt;/div&gt;
<a id='L479' name='L479'></a>&lt;div class="section-level-extent" id="Install"&gt;
<a id='L480' name='L480'></a>&lt;p class="nav-panel"&gt;
<a id='L481' name='L481'></a>&lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Next: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Environment" rel="next"&gt;環境変数の設定&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Previous: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Detail-Test" rel="prev"&gt;詳細なテスト&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Up: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#install" rel="up"&gt;インストールの手順&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="nav-button"&gt; &amp;nbsp; &lt;/span&gt;&lt;span class="nav-button"&gt;[&lt;a href="#SEC_Contents" title="Table of contents" rel="contents"&gt;Contents&lt;/a&gt;]&lt;/span&gt;&lt;/p&gt;
<a id='L482' name='L482'></a>&lt;h3 class="section" id="g_t_30a4_30f3_30b9_30c8_30fc_30eb"&gt;&lt;span&gt;2.7 インストール&lt;a class="copiable-link" href="#g_t_30a4_30f3_30b9_30c8_30fc_30eb"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h3&gt;
<a id='L483' name='L483'></a>
<a id='L484' name='L484'></a>&lt;p&gt;YACASL2のコマンド実行ファイルはビルド後、&lt;code class="command"&gt;make install&lt;/code&gt;コマンドでインストールできます。インストール先は初期設定では、&lt;samp class="file"&gt;~/bin&lt;/samp&gt;ディレクトリーです。
<a id='L485' name='L485'></a>&lt;/p&gt;
<a id='L486' name='L486'></a>&lt;div class="example"&gt;
<a id='L487' name='L487'></a>&lt;pre class="example-preformatted"&gt;$ &lt;kbd class="kbd"&gt;make install&lt;/kbd&gt;
<a id='L488' name='L488'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L489' name='L489'></a>
<a id='L490' name='L490'></a>&lt;p&gt;インストール先を変更するには、&lt;samp class="file"&gt;prefix&lt;/samp&gt;などのオプションを指定します。
<a id='L491' name='L491'></a>例えば&lt;samp class="file"&gt;/usr/local&lt;/samp&gt;ディレクトリーにインストールするには、次のようにコマンドを実行します。
<a id='L492' name='L492'></a>&lt;/p&gt;
<a id='L493' name='L493'></a>&lt;div class="example"&gt;
<a id='L494' name='L494'></a>&lt;pre class="example-preformatted"&gt;$ &lt;kbd class="kbd"&gt;sudo make install prefix=/usr/local&lt;/kbd&gt;
<a id='L495' name='L495'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L496' name='L496'></a>
<a id='L497' name='L497'></a>&lt;p&gt;オプションの詳細は次のとおりです。
<a id='L498' name='L498'></a>&lt;/p&gt;
<a id='L499' name='L499'></a>&lt;table class="multitable"&gt;
<a id='L500' name='L500'></a>&lt;thead&gt;&lt;tr&gt;&lt;th width="20%"&gt;オプション&lt;/th&gt;&lt;th width="50%"&gt;説明&lt;/th&gt;&lt;th width="30%"&gt;初期設定&lt;/th&gt;&lt;/tr&gt;&lt;/thead&gt;
<a id='L501' name='L501'></a>&lt;tbody&gt;&lt;tr&gt;&lt;td width="20%"&gt;&lt;var class="var"&gt;prefix&lt;/var&gt;&lt;/td&gt;&lt;td width="50%"&gt;インストール時のルートファイル&lt;/td&gt;&lt;td width="30%"&gt;&lt;samp class="file"&gt;~&lt;/samp&gt;&lt;/td&gt;&lt;/tr&gt;
<a id='L502' name='L502'></a>&lt;tr&gt;&lt;td width="20%"&gt;&lt;var class="var"&gt;bindir&lt;/var&gt;&lt;/td&gt;&lt;td width="50%"&gt;実行ファイルのインストール先&lt;/td&gt;&lt;td width="30%"&gt;&lt;samp class="file"&gt;$prefix/bin&lt;/samp&gt;&lt;/td&gt;&lt;/tr&gt;
<a id='L503' name='L503'></a>&lt;tr&gt;&lt;td width="20%"&gt;&lt;var class="var"&gt;infodir&lt;/var&gt;&lt;/td&gt;&lt;td width="50%"&gt;infoファイルのインストール先&lt;/td&gt;&lt;td width="30%"&gt;&lt;samp class="file"&gt;$prefix/share/info&lt;/samp&gt;&lt;/td&gt;&lt;/tr&gt;
<a id='L504' name='L504'></a>&lt;/tbody&gt;
<a id='L505' name='L505'></a>&lt;/table&gt;
<a id='L506' name='L506'></a>
<a id='L507' name='L507'></a>&lt;hr&gt;
<a id='L508' name='L508'></a>&lt;/div&gt;
<a id='L509' name='L509'></a>&lt;div class="section-level-extent" id="Environment"&gt;
<a id='L510' name='L510'></a>&lt;p class="nav-panel"&gt;
<a id='L511' name='L511'></a>&lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Previous: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#Install" rel="prev"&gt;インストール&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;, &lt;span class="nav-button"&gt;&lt;span class="nav-label"&gt;Up: &lt;/span&gt;&lt;span class="nav-link"&gt;&lt;a href="#install" rel="up"&gt;インストールの手順&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;&lt;span class="nav-button"&gt; &amp;nbsp; &lt;/span&gt;&lt;span class="nav-button"&gt;[&lt;a href="#SEC_Contents" title="Table of contents" rel="contents"&gt;Contents&lt;/a&gt;]&lt;/span&gt;&lt;/p&gt;
<a id='L512' name='L512'></a>&lt;h3 class="section" id="g_t_74b0_5883_5909_6570_306e_8a2d_5b9a"&gt;&lt;span&gt;2.8 環境変数の設定&lt;a class="copiable-link" href="#g_t_74b0_5883_5909_6570_306e_8a2d_5b9a"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h3&gt;
<a id='L513' name='L513'></a>
<a id='L514' name='L514'></a>&lt;p&gt;環境変数&lt;code class="code"&gt;PATH&lt;/code&gt;や&lt;code class="code"&gt;INFOPATH&lt;/code&gt;を設定することで、YACASL2が使いやすくなります。
<a id='L515' name='L515'></a>&lt;/p&gt;
<a id='L516' name='L516'></a>&lt;ul class="mini-toc"&gt;
<a id='L517' name='L517'></a>&lt;li&gt;&lt;a href="#PATH_306e_8a2d_5b9a"&gt;&lt;code class="code"&gt;PATH&lt;/code&gt;の設定&lt;/a&gt;&lt;/li&gt;
<a id='L518' name='L518'></a>&lt;li&gt;&lt;a href="#INFOPATH_306e_8a2d_5b9a"&gt;&lt;code class="code"&gt;INFOPATH&lt;/code&gt;の設定&lt;/a&gt;&lt;/li&gt;
<a id='L519' name='L519'></a>&lt;/ul&gt;
<a id='L520' name='L520'></a>&lt;div class="subsection-level-extent" id="PATH_306e_8a2d_5b9a"&gt;
<a id='L521' name='L521'></a>&lt;h4 class="subsection"&gt;&lt;span&gt;2.8.1 &lt;code class="code"&gt;PATH&lt;/code&gt;の設定&lt;a class="copiable-link" href="#PATH_306e_8a2d_5b9a"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h4&gt;
<a id='L522' name='L522'></a>
<a id='L523' name='L523'></a>&lt;p&gt;&lt;code class="code"&gt;PATH&lt;/code&gt;にYACASL2の実行ファイルのインストール先が含まれている場合は、ディレクトリーの指定を省略して&lt;code class="command"&gt;casl2&lt;/code&gt;などの実行ファイル名を指定できます。&lt;code class="code"&gt;PATH&lt;/code&gt;は、次のコマンドで確認できます。
<a id='L524' name='L524'></a>&lt;/p&gt;
<a id='L525' name='L525'></a>&lt;div class="example"&gt;
<a id='L526' name='L526'></a>&lt;pre class="example-preformatted"&gt;$ &lt;kbd class="kbd"&gt;echo $PATH&lt;/kbd&gt;
<a id='L527' name='L527'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L528' name='L528'></a>
<a id='L529' name='L529'></a>&lt;p&gt;YACASL2のインストール先の初期設定である&lt;samp class="file"&gt;~/bin&lt;/samp&gt;ディレクトリーは、OSインストール時に&lt;code class="code"&gt;PATH&lt;/code&gt;に含まれている場合もあります。含まれていない場合は、次のコマンドで&lt;code class="code"&gt;PATH&lt;/code&gt;に追加できます。
<a id='L530' name='L530'></a>&lt;/p&gt;
<a id='L531' name='L531'></a>&lt;div class="example"&gt;
<a id='L532' name='L532'></a>&lt;pre class="example-preformatted"&gt;$ &lt;kbd class="kbd"&gt;PATH=$HOME/bin:$PATH; export PATH&lt;/kbd&gt;
<a id='L533' name='L533'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L534' name='L534'></a>
<a id='L535' name='L535'></a>&lt;p&gt;&lt;samp class="file"&gt;~/.profile&lt;/samp&gt;や&lt;samp class="file"&gt;~/.bashrc&lt;/samp&gt;などの初期化ファイルに&lt;code class="code"&gt;PATH&lt;/code&gt;への追加を設定しておけば、YACASL2のコマンド実行時に常にディレクトリーの指定を省略できます。
<a id='L536' name='L536'></a>次は、&lt;code class="code"&gt;PATH&lt;/code&gt;に&lt;code class="code"&gt;~/bin&lt;/code&gt;が二重に追加されることを防ぐ書き方です。
<a id='L537' name='L537'></a>&lt;/p&gt;
<a id='L538' name='L538'></a>&lt;div class="example"&gt;
<a id='L539' name='L539'></a>&lt;pre class="example-preformatted"&gt;case &amp;quot;:${PATH}:&amp;quot; in
<a id='L540' name='L540'></a>    *&amp;quot;:${HOME}/bin:&amp;quot;*) ;;
<a id='L541' name='L541'></a>    *) export PATH=&amp;quot;${HOME}/bin:${PATH}&amp;quot; ;;
<a id='L542' name='L542'></a>esac
<a id='L543' name='L543'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L544' name='L544'></a>
<a id='L545' name='L545'></a>
<a id='L546' name='L546'></a>&lt;/div&gt;
<a id='L547' name='L547'></a>&lt;div class="subsection-level-extent" id="INFOPATH_306e_8a2d_5b9a"&gt;
<a id='L548' name='L548'></a>&lt;h4 class="subsection"&gt;&lt;span&gt;2.8.2 &lt;code class="code"&gt;INFOPATH&lt;/code&gt;の設定&lt;a class="copiable-link" href="#INFOPATH_306e_8a2d_5b9a"&gt; &amp;para;&lt;/a&gt;&lt;/span&gt;&lt;/h4&gt;
<a id='L549' name='L549'></a>
<a id='L550' name='L550'></a>&lt;p&gt;環境変数&lt;code class="code"&gt;INFOPATH&lt;/code&gt;とInfoが適切に設定されていれば、次のコマンドでYACASL2のInfoを表示できます。
<a id='L551' name='L551'></a>&lt;/p&gt;
<a id='L552' name='L552'></a>&lt;div class="example"&gt;
<a id='L553' name='L553'></a>&lt;pre class="example-preformatted"&gt;$ &lt;kbd class="kbd"&gt;info yacasl2&lt;/kbd&gt;
<a id='L554' name='L554'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L555' name='L555'></a>
<a id='L556' name='L556'></a>&lt;p&gt;&lt;code class="code"&gt;INFOPATH&lt;/code&gt;にYACASL2のInfoファイルをインストールしたディレクトリーの追加は、次のコマンドでできます。なお、YACASL2のInfoファイルインストール先の初期設定は、&lt;samp class="file"&gt;~/share/info&lt;/samp&gt;です。
<a id='L557' name='L557'></a>&lt;/p&gt;
<a id='L558' name='L558'></a>&lt;div class="example"&gt;
<a id='L559' name='L559'></a>&lt;pre class="example-preformatted"&gt;$ &lt;kbd class="kbd"&gt;INFOPATH=$HOME/share/info:$INFOPATH; export INFOPATH&lt;/kbd&gt;
<a id='L560' name='L560'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L561' name='L561'></a>
<a id='L562' name='L562'></a>&lt;p&gt;&lt;samp class="file"&gt;~/.profile&lt;/samp&gt;や&lt;samp class="file"&gt;~/.bashrc&lt;/samp&gt;などの初期化ファイルに&lt;code class="code"&gt;INFOPATH&lt;/code&gt;への追加を設定しておけば、常にYACASL2のInfoを表示できます。
<a id='L563' name='L563'></a>次は、&lt;code class="code"&gt;INFOPATH&lt;/code&gt;に&lt;code class="code"&gt;~/share/info&lt;/code&gt;が二重に追加されることを防ぐ書き方です。
<a id='L564' name='L564'></a>&lt;/p&gt;
<a id='L565' name='L565'></a>&lt;div class="example"&gt;
<a id='L566' name='L566'></a>&lt;pre class="example-preformatted"&gt;case &amp;quot;:${INFOPATH}:&amp;quot; in
<a id='L567' name='L567'></a>    *&amp;quot;:${HOME}/share/info:&amp;quot;*) ;;
<a id='L568' name='L568'></a>    *) export INFOPATH=&amp;quot;${HOME}/share/info:${INFOPATH}&amp;quot; ;;
<a id='L569' name='L569'></a>esac
<a id='L570' name='L570'></a>&lt;/pre&gt;&lt;/div&gt;
<a id='L571' name='L571'></a>
<a id='L572' name='L572'></a>&lt;/div&gt;
<a id='L573' name='L573'></a>&lt;/div&gt;
<a id='L574' name='L574'></a>&lt;/div&gt;
<a id='L575' name='L575'></a>&lt;/div&gt;
<a id='L576' name='L576'></a>
<a id='L577' name='L577'></a>
<a id='L578' name='L578'></a>
<a id='L579' name='L579'></a>&lt;/body&gt;
<a id='L580' name='L580'></a>&lt;/html&gt;
</pre>
<hr />
<a id='BOTTOM' name='BOTTOM'></a>
<em class='comment'>/* [&lt;][&gt;][^][v]<a href='#TOP'>[top]</a>[bottom]<a href='../mains.html'>[index]</a><a href='../help.html'>[help]</a> */</em>
</body>
</html>

/* [<][>][^][v][top][bottom][index][help] */