| 11 |
</p> |
</p> |
| 12 |
|
|
| 13 |
<ul> |
<ul> |
| 14 |
<li><a href="download/cduce-0.1.0.tar.gz">Version 0.1.0</a></li> |
<li><a href="download/cduce-0.1.1.tar.gz">Version 0.1.1</a></li> |
| 15 |
</ul> |
</ul> |
| 16 |
|
|
| 17 |
<p> |
<p> |
| 20 |
|
|
| 21 |
</box> |
</box> |
| 22 |
|
|
| 23 |
|
<box title="CVS status" link="cvs"> |
| 24 |
|
<p> |
| 25 |
|
You can browse the current CVS development tree |
| 26 |
|
<a href="http://www.cduce.org/c-bin/viewcvs.cgi/">here</a>. |
| 27 |
|
</p> |
| 28 |
|
|
| 29 |
|
<p> |
| 30 |
|
You can also download the CVS tree through an anonymous access. |
| 31 |
|
Set the <tt>CVSROOT</tt> environment variable to |
| 32 |
|
<tt>:pserver:anonymous@cvs.cduce.org:/cvsroot</tt> |
| 33 |
|
and do <tt>cvs checkout cduce</tt>. You can then do <tt>cvs update</tt> |
| 34 |
|
in the <tt>cduce</tt> subdirectory to get an up-to-date version |
| 35 |
|
of the CVS tree. |
| 36 |
|
</p> |
| 37 |
|
|
| 38 |
|
<p> |
| 39 |
|
In order to built CDuce from the current CVS tree, you need |
| 40 |
|
to install <a href="#side">ulex</a>. |
| 41 |
|
</p> |
| 42 |
|
</box> |
| 43 |
|
|
| 44 |
|
<box title="Side products" link="side"> |
| 45 |
|
<section title="ulex"> |
| 46 |
|
<p> |
| 47 |
|
<code>ulex</code> is a lexer generator for Unicode and OCaml. |
| 48 |
|
</p> |
| 49 |
|
<ul> |
| 50 |
|
<li><a href="download/ulex-0.3.tar.gz">ulex-0.3.tar.gz</a></li> |
| 51 |
|
</ul> |
| 52 |
|
</section> |
| 53 |
|
</box> |
| 54 |
|
|
| 55 |
|
|
| 56 |
<box title="Packages" link="binary"> |
<box title="Packages" link="binary"> |
| 57 |
<section title="Debian Package"> |
<section title="Debian Package"> |
| 58 |
<p> |
<p> |
| 59 |
A preliminary debian/unstable package of CDuce is available <a href="download/debian/">here</a>.</p> |
An <b>apt-gettable repository</b> for debian/unstable is available, just add |
| 60 |
|
the following line to your <tt>/etc/apt/sources.list</tt> |
| 61 |
|
</p> |
| 62 |
|
<p> |
| 63 |
|
<a href="http://www.cduce.org/download/debian/"><tt>deb http://www.cduce.org/ download/debian/</tt></a> |
| 64 |
|
</p> |
| 65 |
</section> |
</section> |
| 66 |
|
|
| 67 |
<section title="FreeBSD Ports"> |
<section title="FreeBSD Ports"> |
| 68 |
<p><i>In preparation</i></p> |
<p><i>In preparation</i></p> |
|
|
|
| 69 |
</section> |
</section> |
| 70 |
|
|
| 71 |
<section title="Mac OSX binary"> |
<section title="Mac OSX binary"> |
| 72 |
<p><i>In preparation</i></p> |
<p> |
| 73 |
|
A <tt>.sit</tt> archive including <tt>cduce</tt> and <tt>dtd2cduce</tt> |
| 74 |
|
binaries along with manpages and a copy of the website and the online |
| 75 |
|
prototype CGI is available: |
| 76 |
|
</p> |
| 77 |
|
<ul> |
| 78 |
|
<li><a href="download/macosx/CDuce 0.1.1.sit">CDuce 0.1.1.sit (1.6 Mb)</a></li> |
| 79 |
|
</ul> |
| 80 |
</section> |
</section> |
| 81 |
|
|
| 82 |
|
|
| 83 |
<section title="Red Hat Packages"> |
<section title="Red Hat Packages"> |
| 84 |
<p>The following packages where compiled and tested on a RedHat 9</p> |
<p>The following packages where compiled and tested on Linux RedHat 9</p> |
| 85 |
<ul> |
<ul> |
| 86 |
<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.1-1.i386.rpm">cduce-0.1.1-1.i386.rpm</a></li> |
| 87 |
<li><a href="download/redhat/cduce-0.1.0-1.src.rpm">cduce-0.1.0-1.src.rpm</a></li> |
<li><a href="download/redhat/cduce-0.1.1-1.src.rpm">cduce-0.1.1-1.src.rpm</a></li> |
| 88 |
</ul> |
</ul> |
| 89 |
<p>If this is your first installation of CDuce rpm, please follow these <a href="rpminstructions.html">instructions</a>. |
<p>If this is your first installation of CDuce rpm, please follow these <a href="rpminstructions.html">instructions</a>. |
| 90 |
</p> |
</p> |
| 91 |
</section> |
</section> |
| 92 |
|
|
| 93 |
|
<section title="Windows"> |
| 94 |
|
<p>Compile the sources by following the instructions of the |
| 95 |
|
file INSTALL.WIN included.</p> |
| 96 |
|
</section> |
| 97 |
|
</box> |
| 98 |
|
|
| 99 |
|
|
| 100 |
|
|
|
</box> |
|
| 101 |
|
|
| 102 |
<include file="rpminstructions.xml"/> |
<include file="rpminstructions.xml"/> |
| 103 |
|
|
| 104 |
</page> |
</page> |
Parent Directory
| 
Revision Log
| 
Patch