download.xml 2.27 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
<li><a href="download/cduce-0.1.1.tar.gz">Version 0.1.1</a></li>
15
16
</ul>

17
18
19
20
<p>
See <a href="CHANGES">recent changes</a>.
</p>

21
22
</box>

23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
<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>
In order to built CDuce from the current CVS tree, you need
to install <a href="#side">ulex</a>.
</p>
</box>

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


47
48
<box title="Packages" link="binary">
<section title="Debian Package">
49
<p>
50
51
52
53
  An <b>apt-gettable repository</b> for debian/unstable is available, just add
  the following line to your <tt>/etc/apt/sources.list</tt>
</p>
<p>
54
  <a href="http://www.cduce.org/download/debian/"><tt>deb http://www.cduce.org/ download/debian/</tt></a>
55
</p>
56
57
</section>

58
59
60
61
<section title="FreeBSD Ports">
<p><i>In preparation</i></p>
</section>

62
<section title="Mac OS X binary">
63
64
65
66
67
68
  <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>
69
    <li><a href="download/macosx/CDuce 0.1.1.sit">CDuce 0.1.1.sit (1.6 Mb)</a></li>
70
  </ul>
71
72
73
74
</section>


<section title="Red Hat Packages">
75
<p>The following packages where compiled and tested on Linux RedHat 9</p>
76
<ul>
77
78
<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>
79
80
81
</ul>
<p>If this is your first installation of CDuce rpm, please follow these <a href="rpminstructions.html">instructions</a>.
</p>
82
83
</section>

84
85
86
87
<section title="Windows">
<p>Compile the sources by following the instructions of the
file INSTALL.WIN included.</p>
</section>
88
89
</box>

90

91

92
93

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

95
</page>