| 1 |
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
|
| 2 |
<page name="rpminstructions">
|
| 3 |
|
| 4 |
<title>RPM instructions</title>
|
| 5 |
<box title="Rpm packages" link="rpm">
|
| 6 |
|
| 7 |
|
| 8 |
<p>
|
| 9 |
The installation of CDuce rpm package needs the following packages:</p>
|
| 10 |
<ul>
|
| 11 |
<li>ocaml >= 3.06 </li>
|
| 12 |
<li>findlib >= 0.8 </li>
|
| 13 |
<li>pcre-ocaml </li>
|
| 14 |
<li>ocamlnet >= 0.96 </li>
|
| 15 |
<li>pxp >= 1.1.9</li>
|
| 16 |
</ul>
|
| 17 |
|
| 18 |
|
| 19 |
<p> All these packages can be found in the Altlinux distribution: for Asia
|
| 20 |
<a href="ftp://ftp.altlinux.ru/pub/distributions/ALTLinux/Sisyphus/files/i586/RPMS/">i586</a>,
|
| 21 |
<a href="ftp://ftp.altlinux.ru/pub/distributions/ALTLinux/Sisyphus/files/SRPMS">src</a>; European mirror <a href="ftp://ftp.leo.org/pub/altlinux/Sisyphus/files/i586/RPMS/">i586</a>, <a href="ftp://ftp.leo.org/pub/altlinux/Sisyphus/files/SRPMS/">src</a>
|
| 22 |
</p>
|
| 23 |
|
| 24 |
<p>N.B. rpm will check that you installed all these packages. If you have them
|
| 25 |
already installed but not via rpm then install CDuce by </p>
|
| 26 |
<p><code>rpm -Uvh {{--nodeps}} cduce-X.X.X-X.i386.rpm</code></p>
|
| 27 |
<p>
|
| 28 |
You can retrive tarballs for the needed packages as follows
|
| 29 |
</p>
|
| 30 |
</box>
|
| 31 |
</page>
|
Parent Directory
| 
Revision Log