| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/caratinterface/htm/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 16.9.2024 mit Größe 3 kB |
|
Quelle CHAP002.htm Sprache: HTML |
|||||||||||
<html><head><title>[CaratInterface] 2 Installation</title></head>
<body text="#000000" bgcolor="#ffffff"> [<a href = "chapters.htm">Up</a>] [<a href ="CHAP001.htm">Previous</a>] [<a href ="CHAP003.htm">Nex <h1>2 Installation</h1><p> <p> <font face="Gill Sans,Helvetica,Arial">GAP</font> is distributed together with a large numbe this one. <font face="Gill Sans,Helvetica,Arial">CaratInterface</font> is located inside th <code>pkg/CaratInterface/</code> of your <font face="Gill Sans,Helvetica,Arial">GAP</font> in programs contained in it must be compiled. Compilation is most conveniently done with the script <code>BuildPackages.sh</code> from <font face="Gill Sans,He You can either build (almost) all packages, or only a single one by giving its name on the command line. Alternatively, you can compile <font face="Gill Sans,Helvetica,Arial">CARAT</font> inside <font face="Gill Sans,H these commands inside the directory <code>pkg/CaratInterface/</code>: <p> <pre> ./configure <path-to-GAP-root> make </pre> <p> The configure script optionally takes the path to the root directory of your <font face="Gill Sans,Helvetica,Arial">GAP</font> installation as argument. The defaul work, if the package is located in the <code>pkg</code> subdirectory of the <font face="Gill Sans, root directory, but if you have unpacked <font face="Gill Sans,Helvetica,Arial">CaratInterface</font> to a lo <code> /.gap/pkg/CaratInterface/</code>, you need to explicitly give the path to the <font face="Gill Sans,Helvetica,Arial">GAP</font> root directory as argument. The result written to the file <code>config.carat</code>, which can be inspected if something goes wrong. <p> If <font face="Gill Sans,Helvetica,Arial">GAP</font> was configured to use a specific GMP libr bundled with <font face="Gill Sans,Helvetica,Arial">GAP</font>, then <font face="Gill Sans, Otherwise, the system GMP library in the default path is chosen. If you want to use another GMP library, you may add an argument <code>--with-gmp=path-to-gmp</code> to the above configure command, where the directory <code>path-to-gmp</code> must contain subdirectories <code>lib/</code> and <code>include/</code> with the GMP library and includ files, respectively. <p> If you want or need to add further compile or link flags, you may prepend <code>CFLAGS="your flags"</code> to the configure command, or append it to the make command (one of these is enough), so that the complete build commands including all options are these: <p> <pre> [CFLAGS="<your flags>"] ./configure [<path-to-GAP-root>] [--with-gmp=<path-to-gmp>] make [CFLAGS="<your flags>"] </pre> <p> As <font face="Gill Sans,Helvetica,Arial">CARAT</font>'s catalog of Q-classes of unimo it is unpacked by default only up to dimension 5. If you also want to unpack the data for dimension 6, you can do this with the extra command (again inside directory <code>pkg/CaratInterface/</code>) <p> <pre> make qcat6 </pre> <p> This adds another 150 Mb of data to the installation. <p> [<a href = "chapters.htm">Up</a>] [<a href ="CHAP001.htm">Previous</a>] [<a href ="CHAP003.htm">Nex <P> <address>CaratInterface manual<br>Oktober 2024 </address></body></html> ¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28