download.xml 3.28 KB
Newer Older
1
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
2
<page name="download">
3
4
5

<title>Download</title>

6
<box title="Sources tarballs" link="src">
7
8

<p>
9
10
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
11
12
13
</p>

<ul>
14
15
16
17
<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>
18
19
</ul>

20
21
22
23
<p>
See <a href="CHANGES">recent changes</a>.
</p>

24
25
</box>

26
27
28
<box title="CVS status" link="cvs">
<p>
You can browse the current CVS development tree 
29
30
31
32
33
34
35
<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>
36
37
38
39
40
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>
41
42
in the <tt>cduce</tt> subdirectory to get an up-to-date version 
of the CVS tree.
43
44
45
46
</p>

<p>
In order to built CDuce from the current CVS tree, you need
47
48
to install <a href="#side">ulex</a>, and also attentively 
read INSTALL instructions.
49
</p>
50
51
52
53
54
55
56
57
58
59

<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>

60
61
62
63
64
65
66
67
</box>

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


74
<box title="Packages" link="binary">
75
<section title="Debian Packages">
76
<p>
77
  An <b>apt-gettable repository</b> for debian/unstable is available, just add
78
  the following lines to your <tt>/etc/apt/sources.list</tt>
79
80
</p>
<p>
81
82
  <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>
83
</p>
84
85
</section>

86
87
88
89
<section title="FreeBSD Ports">
<p><i>In preparation</i></p>
</section>

90
<section title="Mac OS X binary">
91
92
93
94
95
96
  <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>
97
    <li><a href="download/macosx/CDuce 0.1.1.sit">CDuce 0.1.1.sit (1.6 Mb)</a></li>
98
  </ul>
99
100
101
102
</section>


<section title="Red Hat Packages">
103
<p>The following packages where compiled and tested on Linux RedHat 9</p>
104
<ul>
105
106
<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>
107
108
109
</ul>
<p>If this is your first installation of CDuce rpm, please follow these <a href="rpminstructions.html">instructions</a>.
</p>
110
111
</section>

112
113
114
115
<section title="Windows">
<p>Compile the sources by following the instructions of the
file INSTALL.WIN included.</p>
</section>
116
117
</box>

118

119

120
121

<include file="rpminstructions.xml"/>
122

123
</page>