/[svn]/web/download.xml
ViewVC logotype

Contents of /web/download.xml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 815 - (show annotations)
Tue Jul 10 18:05:05 2007 UTC (5 years, 10 months ago) by abate
File MIME type: text/xml
File size: 3397 byte(s)
[r2003-11-25 08:19:26 by beppe] Empty log message

Original author: beppe
Date: 2003-11-25 08:21:57+00:00
1 <?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
2 <page name="download">
3
4 <title>Download</title>
5
6 <box title="Sources tarballs" link="src">
7
8 <p>
9 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 </p>
12
13 <ul>
14 <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 </ul>
19
20 <p>
21 See <a href="CHANGES">recent changes</a> (including those of the CVS version).
22 </p>
23
24 </box>
25
26 <box title="CVS status" link="cvs">
27 <p>
28 You can browse the current CVS development tree
29 <a href="http://www.cduce.org/c-bin/viewcvs.cgi/">here</a>.
30 </p>
31
32 <p>
33 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 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 in the <tt>cduce</tt> subdirectory to get an up-to-date version
42 of the CVS tree.
43 </p>
44
45 <p>
46 In order to built CDuce from the current CVS tree, you need
47 to install <a href="#side">ulex</a>, and also attentively
48 read INSTALL instructions.
49 </p>
50
51 <p>
52 To help Linux users try the CVS version, we regularly prepare
53 a version of CDuce statically compiled on a Linux box:
54 </p>
55
56 <ul>
57 <li><a href="download/cduce-cvs-linux-static.tar.gz">Static binary version for Linux</a> (compiled from a recent CVS snapshot)</li>
58 </ul>
59
60 </box>
61
62 <box title="Side products" link="side">
63 <section title="ulex">
64 <p>
65 <code>ulex</code> is a lexer generator for Unicode and OCaml.
66 </p>
67 <ul>
68 <li><a href="download/ulex-0.3.tar.gz">ulex-0.3.tar.gz</a></li>
69 </ul>
70 </section>
71 </box>
72
73
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 </p>
80 <p>
81 <a href="http://www.cduce.org/download/debian/"><tt>deb http://www.cduce.org/download/debian/ ./</tt></a><br />
82 <a href="http://www.cduce.org/download/debian/"><tt>deb-src http://www.cduce.org/download/debian/ ./</tt></a>
83 </p>
84 </section>
85
86 <section title="FreeBSD Ports">
87 <p><i>In preparation</i></p>
88 </section>
89
90 <section title="Mac OS X binary">
91 <p>
92 A <tt>.sit</tt> archive including <tt>cduce</tt> and <tt>dtd2cduce</tt>
93 binaries along with manpages and a copy of the website and the online
94 prototype CGI is available:
95 </p>
96 <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 </section>
100
101
102 <section title="Red Hat Packages">
103 <p>The following packages where compiled and tested on Linux RedHat 9</p>
104 <ul>
105 <li><a href="download/redhat/cduce-0.1.1-1.i386.rpm">cduce-0.1.1-1.i386.rpm</a></li>
106 <li><a href="download/redhat/cduce-0.1.1-1.src.rpm">cduce-0.1.1-1.src.rpm</a></li>
107 </ul>
108 <p>If this is your first installation of CDuce rpm, please follow these <a href="rpminstructions.html">instructions</a>.
109 </p>
110 </section>
111
112 <section title="Windows">
113 <p>Compile the sources by following the instructions of the
114 file INSTALL.WIN included.</p>
115 </section>
116 </box>
117
118
119
120
121 <include file="rpminstructions.xml"/>
122
123 </page>

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5