| 1 |
abate |
442 |
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
|
| 2 |
abate |
684 |
<page name="download">
|
| 3 |
abate |
442 |
|
| 4 |
|
|
<title>Download</title>
|
| 5 |
|
|
|
| 6 |
abate |
571 |
<box title="Sources tarballs" link="src">
|
| 7 |
abate |
442 |
|
| 8 |
|
|
<p>
|
| 9 |
abate |
570 |
The only available version for download is a beta release. We successfully compiled it on on Intel Linux, SunOS
|
| 10 |
|
|
5.7, Mac OSX, Windows XP, and FreeBSD 4.7
|
| 11 |
abate |
442 |
</p>
|
| 12 |
|
|
|
| 13 |
|
|
<ul>
|
| 14 |
abate |
771 |
<li><a href="download/cduce-0.1.1.tar.gz">Version 0.1.1 (for OCaml
|
| 15 |
|
|
3.06)</a></li>
|
| 16 |
|
|
<li><a href="download/cduce-0.1.1-ocaml307.tar.gz">Version 0.1.1 (for
|
| 17 |
|
|
OCaml 3.07)</a></li>
|
| 18 |
abate |
442 |
</ul>
|
| 19 |
|
|
|
| 20 |
abate |
562 |
<p>
|
| 21 |
abate |
815 |
See <a href="CHANGES">recent changes</a> (including those of the CVS version).
|
| 22 |
abate |
562 |
</p>
|
| 23 |
|
|
|
| 24 |
abate |
442 |
</box>
|
| 25 |
|
|
|
| 26 |
abate |
672 |
<box title="CVS status" link="cvs">
|
| 27 |
|
|
<p>
|
| 28 |
|
|
You can browse the current CVS development tree
|
| 29 |
abate |
730 |
<a href="http://www.cduce.org/c-bin/viewcvs.cgi/">here</a>.
|
| 30 |
abate |
672 |
</p>
|
| 31 |
|
|
|
| 32 |
|
|
<p>
|
| 33 |
abate |
730 |
You can also download the CVS tree through an anonymous access.
|
| 34 |
|
|
Set the <tt>CVSROOT</tt> environment variable to
|
| 35 |
|
|
<tt>:pserver:anonymous@cvs.cduce.org:/cvsroot</tt>
|
| 36 |
abate |
738 |
and do <tt>cvs checkout cduce</tt>. Or more simply, copy and paste in a terminal the following line
|
| 37 |
|
|
</p><p>
|
| 38 |
|
|
<tt>cvs -z3 -d ":pserver:anonymous@cvs.cduce.org:/cvsroot" co cduce</tt>
|
| 39 |
|
|
</p><p>
|
| 40 |
|
|
You can then do <tt>cvs update -dP</tt>
|
| 41 |
abate |
730 |
in the <tt>cduce</tt> subdirectory to get an up-to-date version
|
| 42 |
|
|
of the CVS tree.
|
| 43 |
|
|
</p>
|
| 44 |
|
|
|
| 45 |
|
|
<p>
|
| 46 |
abate |
816 |
In order to build CDuce from the current CVS tree, you need
|
| 47 |
abate |
738 |
to install <a href="#side">ulex</a>, and also attentively
|
| 48 |
abate |
816 |
read the instructions in the <a href="INSTALL">INSTALL</a> file included in the
|
| 49 |
|
|
repository.
|
| 50 |
abate |
672 |
</p>
|
| 51 |
abate |
737 |
|
| 52 |
|
|
<p>
|
| 53 |
|
|
To help Linux users try the CVS version, we regularly prepare
|
| 54 |
|
|
a version of CDuce statically compiled on a Linux box:
|
| 55 |
|
|
</p>
|
| 56 |
|
|
|
| 57 |
|
|
<ul>
|
| 58 |
|
|
<li><a href="download/cduce-cvs-linux-static.tar.gz">Static binary version for Linux</a> (compiled from a recent CVS snapshot)</li>
|
| 59 |
|
|
</ul>
|
| 60 |
|
|
|
| 61 |
abate |
672 |
</box>
|
| 62 |
|
|
|
| 63 |
|
|
<box title="Side products" link="side">
|
| 64 |
|
|
<section title="ulex">
|
| 65 |
|
|
<p>
|
| 66 |
|
|
<code>ulex</code> is a lexer generator for Unicode and OCaml.
|
| 67 |
|
|
</p>
|
| 68 |
|
|
<ul>
|
| 69 |
abate |
947 |
<li><a href="download/ulex-0.4.tar.gz">ulex-0.4.tar.gz</a></li>
|
| 70 |
abate |
672 |
</ul>
|
| 71 |
|
|
</section>
|
| 72 |
|
|
</box>
|
| 73 |
|
|
|
| 74 |
|
|
|
| 75 |
abate |
571 |
<box title="Packages" link="binary">
|
| 76 |
abate |
739 |
<section title="Debian Packages">
|
| 77 |
abate |
574 |
<p>
|
| 78 |
abate |
610 |
An <b>apt-gettable repository</b> for debian/unstable is available, just add
|
| 79 |
abate |
739 |
the following lines to your <tt>/etc/apt/sources.list</tt>
|
| 80 |
abate |
610 |
</p>
|
| 81 |
|
|
<p>
|
| 82 |
abate |
739 |
<a href="http://www.cduce.org/download/debian/"><tt>deb http://www.cduce.org/download/debian/ ./</tt></a><br />
|
| 83 |
|
|
<a href="http://www.cduce.org/download/debian/"><tt>deb-src http://www.cduce.org/download/debian/ ./</tt></a>
|
| 84 |
abate |
610 |
</p>
|
| 85 |
abate |
571 |
</section>
|
| 86 |
|
|
|
| 87 |
abate |
611 |
<section title="FreeBSD Ports">
|
| 88 |
|
|
<p><i>In preparation</i></p>
|
| 89 |
|
|
</section>
|
| 90 |
|
|
|
| 91 |
abate |
608 |
<section title="Mac OS X binary">
|
| 92 |
abate |
605 |
<p>
|
| 93 |
|
|
A <tt>.sit</tt> archive including <tt>cduce</tt> and <tt>dtd2cduce</tt>
|
| 94 |
|
|
binaries along with manpages and a copy of the website and the online
|
| 95 |
|
|
prototype CGI is available:
|
| 96 |
|
|
</p>
|
| 97 |
|
|
<ul>
|
| 98 |
abate |
652 |
<li><a href="download/macosx/CDuce 0.1.1.sit">CDuce 0.1.1.sit (1.6 Mb)</a></li>
|
| 99 |
abate |
605 |
</ul>
|
| 100 |
abate |
571 |
</section>
|
| 101 |
|
|
|
| 102 |
|
|
|
| 103 |
|
|
<section title="Red Hat Packages">
|
| 104 |
abate |
586 |
<p>The following packages where compiled and tested on Linux RedHat 9</p>
|
| 105 |
abate |
576 |
<ul>
|
| 106 |
abate |
650 |
<li><a href="download/redhat/cduce-0.1.1-1.i386.rpm">cduce-0.1.1-1.i386.rpm</a></li>
|
| 107 |
|
|
<li><a href="download/redhat/cduce-0.1.1-1.src.rpm">cduce-0.1.1-1.src.rpm</a></li>
|
| 108 |
abate |
576 |
</ul>
|
| 109 |
|
|
<p>If this is your first installation of CDuce rpm, please follow these <a href="rpminstructions.html">instructions</a>.
|
| 110 |
|
|
</p>
|
| 111 |
abate |
571 |
</section>
|
| 112 |
|
|
|
| 113 |
abate |
587 |
<section title="Windows">
|
| 114 |
|
|
<p>Compile the sources by following the instructions of the
|
| 115 |
abate |
816 |
file <a href="INSTALL.WIN32">INSTALL.WIN32</a> included in the distribution.</p>
|
| 116 |
abate |
587 |
</section>
|
| 117 |
abate |
595 |
</box>
|
| 118 |
abate |
571 |
|
| 119 |
abate |
595 |
|
| 120 |
abate |
576 |
|
| 121 |
abate |
672 |
|
| 122 |
abate |
576 |
<include file="rpminstructions.xml"/>
|
| 123 |
abate |
672 |
|
| 124 |
abate |
442 |
</page>
|