| 30 |
You can also download the CVS tree through an anonymous access. |
You can also download the CVS tree through an anonymous access. |
| 31 |
Set the <tt>CVSROOT</tt> environment variable to |
Set the <tt>CVSROOT</tt> environment variable to |
| 32 |
<tt>:pserver:anonymous@cvs.cduce.org:/cvsroot</tt> |
<tt>:pserver:anonymous@cvs.cduce.org:/cvsroot</tt> |
| 33 |
and do <tt>cvs checkout cduce</tt>. You can then do <tt>cvs update</tt> |
and do <tt>cvs checkout cduce</tt>. Or more simply, copy and paste in a terminal the following line |
| 34 |
|
</p><p> |
| 35 |
|
<tt>cvs -z3 -d ":pserver:anonymous@cvs.cduce.org:/cvsroot" co cduce</tt> |
| 36 |
|
</p><p> |
| 37 |
|
You can then do <tt>cvs update -dP</tt> |
| 38 |
in the <tt>cduce</tt> subdirectory to get an up-to-date version |
in the <tt>cduce</tt> subdirectory to get an up-to-date version |
| 39 |
of the CVS tree. |
of the CVS tree. |
| 40 |
</p> |
</p> |
| 41 |
|
|
| 42 |
<p> |
<p> |
| 43 |
In order to built CDuce from the current CVS tree, you need |
In order to built CDuce from the current CVS tree, you need |
| 44 |
to install <a href="#side">ulex</a>. |
to install <a href="#side">ulex</a>, and also attentively |
| 45 |
|
read INSTALL instructions. |
| 46 |
</p> |
</p> |
| 47 |
|
|
| 48 |
<p> |
<p> |