Commit f757cf90 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-07-05 00:01:31 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-05 00:01:32+00:00
parent c895e5a0
......@@ -38,10 +38,18 @@ A preliminary debian/unstable package of CDuce is available <a href="download/de
<section title="Red Hat Packages">
<p><i>In preparation</i></p>
<p>The following packages where compiled and tested on a RedHat 9</p>
<li><a href="download/redhat/cduce-0.1.0-1.i386.rpm">cduce-0.1.0-1.i386.rpm</a></li>
<li><a href="download/redhat/cduce-0.1.0-1.src.rpm">cduce-0.1.0-1.src.rpm</a></li>
<p>If this is your first installation of CDuce rpm, please follow these <a href="rpminstructions.html">instructions</a>.
<include file="rpminstructions.xml"/>
......@@ -52,3 +52,5 @@ How to perform XSLT-like transformations.
......@@ -23,6 +23,7 @@
<include file="manual.xml"/>
<include file="sitemap.xml"/>
<p> CDuce ("seduce") is a new typed functional language with
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="rpminstructions">
<title>RPM instructions</title>
<box title="Rpm packages" link="rpm">
The installation of CDuce rpm package needs the following packages:</p>
<li>ocaml &gt;= 3.06 </li>
<li>findlib &gt;= 0.8 </li>
<li>pcre-ocaml </li>
<li>ocamlnet &gt;= 0.96 </li>
<li>pxp &gt;= 1.1.9</li>
<p> All these packages can be found in the Altlinux distribution: for Asia
<a href="">i586</a>,
<a href="">src</a>; European mirror <a href="">i586</a>, <a href="">src</a>
<p>N.B. rpm will check that you installed all these packages. If you have them
already installed but not via rpm then install CDuce by </p>
<p><code>rpm -Uvh {{--nodeps}} cduce-X.X.X-X.i386.rpm</code></p>
You can retrive tarballs for the needed packages as follows
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment