-出力された動作内容は、GNU/Linuxのさまざまなツール、たとえばhead, tail, grep, diffなどを使って解析できます。
+@unnumberedsec 要件
+YACASL2は、Linux上で動作します。インストール時に、@command{tar}、@command{gcc}、@command{make}が必要です。
+
+現在動作を確認しているのは、次のディストリビューションです。
+
+@itemize @bullet
+
+@item
+Ubuntu Linux 9.04
+
+@item
+Ubuntu Linux 8.04
+
+@item
+Vine Linux 4.2
+@end itemize
+
+@section @file{yacasl2.tar.gz}のダウンロード
+
+@verbatim
+$ cd
+$ wget
+@end verbatim
+
+@section @file{yacasl2.tar.gz}の展開
+
+@verbatim
+$ tar xvzf yacasl2.tar.gz
+@end verbatim
+
+@section @command{casl2}、@command{comet2}、@command{dumpword}のビルド
+
+@verbatim
+$ cd yacasl2
+$ make
+@end verbatim
+
+@section レグレッションテスト
+
+@verbatim
+$ make check
+@end verbatim