download.xml

<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="download">

<title>Download</title>

<box title="Sources tarballs" link="src">

<p>
The only available version for download is a beta release. We successfully compiled it on on Intel Linux, SunOS
5.7, Mac OSX, Windows XP, and FreeBSD 4.7
</p>

<ul>
<li><a href="download/cduce-0.1.1.tar.gz">Version 0.1.1 (for OCaml
3.06)</a></li>
<li><a href="download/cduce-0.1.1-ocaml307.tar.gz">Version 0.1.1 (for
OCaml 3.07)</a></li>
</ul>

<p>
See <a href="CHANGES">recent changes</a> (including those of the CVS version).
</p>

</box>

<box title="CVS status" link="cvs">
<p>
You can browse the current CVS development tree 
<a href="http://www.cduce.org/c-bin/viewcvs.cgi/">here</a>.
</p>

<p>
You can also download the CVS tree through an anonymous access.
Set the <tt>CVSROOT</tt> environment variable to 
<tt>:pserver:anonymous@cvs.cduce.org:/cvsroot</tt>
and do <tt>cvs checkout cduce</tt>. Or more simply, copy and paste in a terminal the following line
</p><p>
<tt>cvs -z3 -d ":pserver:anonymous@cvs.cduce.org:/cvsroot" co cduce</tt>
</p><p>
You can then do <tt>cvs update -dP</tt>
in the <tt>cduce</tt> subdirectory to get an up-to-date version 
of the CVS tree.
</p>

<p>
In order to build CDuce from the current CVS tree, you need
to install <a href="#side">ulex</a>, and also attentively 
read the instructions in the <a href="INSTALL">INSTALL</a> file included in the 
repository.
</p>

<p>
To help Linux users try the CVS version, we regularly prepare
a version of CDuce statically compiled on a Linux box:
</p>

<ul>
<li><a href="download/cduce-cvs-linux-static.tar.gz">Static binary version for Linux</a> (compiled from a recent CVS snapshot)</li>
</ul>

</box>

<box title="Side products" link="side">
<section title="ulex">
<p>
<code>ulex</code> is a lexer generator for Unicode and OCaml.
</p>
<ul>
<li><a href="download/ulex-0.3.tar.gz">ulex-0.3.tar.gz</a></li>
</ul>
</section>
</box>


<box title="Packages" link="binary">
<section title="Debian Packages">
<p>
  An <b>apt-gettable repository</b> for debian/unstable is available, just add
  the following lines to your <tt>/etc/apt/sources.list</tt>
</p>
<p>
  <a href="http://www.cduce.org/download/debian/"><tt>deb http://www.cduce.org/download/debian/ ./</tt></a><br />
  <a href="http://www.cduce.org/download/debian/"><tt>deb-src http://www.cduce.org/download/debian/ ./</tt></a>
</p>
</section>

<section title="FreeBSD Ports">
<p><i>In preparation</i></p>
</section>

<section title="Mac OS X binary">
  <p>
    A <tt>.sit</tt> archive including <tt>cduce</tt> and <tt>dtd2cduce</tt>
    binaries along with manpages and a copy of the website and the online
    prototype CGI is available:
  </p>
  <ul>
    <li><a href="download/macosx/CDuce 0.1.1.sit">CDuce 0.1.1.sit (1.6 Mb)</a></li>
  </ul>
</section>


<section title="Red Hat Packages">
<p>The following packages where compiled and tested on Linux RedHat 9</p>
<ul>
<li><a href="download/redhat/cduce-0.1.1-1.i386.rpm">cduce-0.1.1-1.i386.rpm</a></li>
<li><a href="download/redhat/cduce-0.1.1-1.src.rpm">cduce-0.1.1-1.src.rpm</a></li>
</ul>
<p>If this is your first installation of CDuce rpm, please follow these <a href="rpminstructions.html">instructions</a>.
</p>
</section>

<section title="Windows">
<p>Compile the sources by following the instructions of the
file  <a href="INSTALL.WIN32">INSTALL.WIN32</a> included in the distribution.</p>
</section>
</box>




<include file="rpminstructions.xml"/>

</page>