<!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/Require.html</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>/<a href='../files/2925.html'>install_html</a>/Require.html</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><!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <a id='L2' name='L2'></a><html> <a id='L3' name='L3'></a><!-- Copyright (C) 2010-2021 j8takagi --> <a id='L4' name='L4'></a><!-- Created by GNU Texinfo 6.7, http://www.gnu.org/software/texinfo/ --> <a id='L5' name='L5'></a><head> <a id='L6' name='L6'></a><meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <a id='L7' name='L7'></a><title>Require (YACASL2のインストール)</title> <a id='L8' name='L8'></a> <a id='L9' name='L9'></a><meta name="description" content="Require (YACASL2のインストール)"> <a id='L10' name='L10'></a><meta name="keywords" content="Require (YACASL2のインストール)"> <a id='L11' name='L11'></a><meta name="resource-type" content="document"> <a id='L12' name='L12'></a><meta name="distribution" content="global"> <a id='L13' name='L13'></a><meta name="Generator" content="makeinfo"> <a id='L14' name='L14'></a><link href="index.html" rel="start" title="Top"> <a id='L15' name='L15'></a><link href="index.html#SEC_Contents" rel="contents" title="Table of Contents"> <a id='L16' name='L16'></a><link href="index.html" rel="up" title="Top"> <a id='L17' name='L17'></a><link href="install.html" rel="next" title="install"> <a id='L18' name='L18'></a><link href="index.html" rel="prev" title="Top"> <a id='L19' name='L19'></a><style type="text/css"> <a id='L20' name='L20'></a><!-- <a id='L21' name='L21'></a>a.summary-letter {text-decoration: none} <a id='L22' name='L22'></a>blockquote.indentedblock {margin-right: 0em} <a id='L23' name='L23'></a>div.display {margin-left: 3.2em} <a id='L24' name='L24'></a>div.example {margin-left: 3.2em} <a id='L25' name='L25'></a>div.lisp {margin-left: 3.2em} <a id='L26' name='L26'></a>kbd {font-style: oblique} <a id='L27' name='L27'></a>pre.display {font-family: inherit} <a id='L28' name='L28'></a>pre.format {font-family: inherit} <a id='L29' name='L29'></a>pre.menu-comment {font-family: serif} <a id='L30' name='L30'></a>pre.menu-preformatted {font-family: serif} <a id='L31' name='L31'></a>span.nolinebreak {white-space: nowrap} <a id='L32' name='L32'></a>span.roman {font-family: initial; font-weight: normal} <a id='L33' name='L33'></a>span.sansserif {font-family: sans-serif; font-weight: normal} <a id='L34' name='L34'></a>ul.no-bullet {list-style: none} <a id='L35' name='L35'></a>--> <a id='L36' name='L36'></a></style> <a id='L37' name='L37'></a><link rel="stylesheet" type="text/css" href="style.css"> <a id='L38' name='L38'></a> <a id='L39' name='L39'></a> <a id='L40' name='L40'></a></head> <a id='L41' name='L41'></a> <a id='L42' name='L42'></a><body lang="ja_JP"> <a id='L43' name='L43'></a><span id="Require"></span><div class="header"> <a id='L44' name='L44'></a><p> <a id='L45' name='L45'></a>Next: <a href="install.html" accesskey="n" rel="next">install</a>, Previous: <a href="index.html" accesskey="p" rel="prev">Top</a>, Up: <a href="index.html" accesskey="u" rel="up">Top</a> &nbsp; [<a href="index.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>]</p> <a id='L46' name='L46'></a></div> <a id='L47' name='L47'></a><hr> <a id='L48' name='L48'></a><span id="Yao-Jian-"></span><h2 class="chapter">1 要件</h2> <a id='L49' name='L49'></a> <a id='L50' name='L50'></a><p>YACASL2は、LinuxやMac OS Xなど、UNIX系のOS上で動作します。現在動作を確認しているのは、Arch LinuxとUbuntu Linux、Mac OS Xです。 <a id='L51' name='L51'></a></p> <a id='L52' name='L52'></a><p>インストール時に、<code>tar</code> <code>gcc</code> <code>make</code>が必要です。Linuxでは多くの場合、標準でインストールされています。Mac OS Xの場合、Xcodeの「Command Line Tools」に含まれます。 <a id='L53' name='L53'></a></p> <a id='L54' name='L54'></a> <a id='L55' name='L55'></a> <a id='L56' name='L56'></a> <a id='L57' name='L57'></a></body> <a id='L58' name='L58'></a></html> </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>