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

Contents of /web/download.xml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 739 - (show annotations)
Tue Jul 10 17:59:55 2007 UTC (5 years, 10 months ago) by abate
File MIME type: text/xml
File size: 3252 byte(s)
[r2003-10-22 09:49:58 by szach] changed apt lines to reflect the actual apt repository status

Original author: szach
Date: 2003-10-22 09:49:58+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</a></li>
15 </ul>
16
17 <p>
18 See <a href="CHANGES">recent changes</a>.
19 </p>
20
21 </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>. 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
39 of the CVS tree.
40 </p>
41
42 <p>
43 In order to built CDuce from the current CVS tree, you need
44 to install <a href="#side">ulex</a>, and also attentively
45 read INSTALL instructions.
46 </p>
47
48 <p>
49 To help Linux users try the CVS version, we regularly prepare
50 a version of CDuce statically compiled on a Linux box:
51 </p>
52
53 <ul>
54 <li><a href="download/cduce-cvs-linux-static.tar.gz">Static binary version for Linux</a> (compiled from a recent CVS snapshot)</li>
55 </ul>
56
57 </box>
58
59 <box title="Side products" link="side">
60 <section title="ulex">
61 <p>
62 <code>ulex</code> is a lexer generator for Unicode and OCaml.
63 </p>
64 <ul>
65 <li><a href="download/ulex-0.3.tar.gz">ulex-0.3.tar.gz</a></li>
66 </ul>
67 </section>
68 </box>
69
70
71 <box title="Packages" link="binary">
72 <section title="Debian Packages">
73 <p>
74 An <b>apt-gettable repository</b> for debian/unstable is available, just add
75 the following lines to your <tt>/etc/apt/sources.list</tt>
76 </p>
77 <p>
78 <a href="http://www.cduce.org/download/debian/"><tt>deb http://www.cduce.org/download/debian/ ./</tt></a><br />
79 <a href="http://www.cduce.org/download/debian/"><tt>deb-src http://www.cduce.org/download/debian/ ./</tt></a>
80 </p>
81 </section>
82
83 <section title="FreeBSD Ports">
84 <p><i>In preparation</i></p>
85 </section>
86
87 <section title="Mac OS X binary">
88 <p>
89 A <tt>.sit</tt> archive including <tt>cduce</tt> and <tt>dtd2cduce</tt>
90 binaries along with manpages and a copy of the website and the online
91 prototype CGI is available:
92 </p>
93 <ul>
94 <li><a href="download/macosx/CDuce 0.1.1.sit">CDuce 0.1.1.sit (1.6 Mb)</a></li>
95 </ul>
96 </section>
97
98
99 <section title="Red Hat Packages">
100 <p>The following packages where compiled and tested on Linux RedHat 9</p>
101 <ul>
102 <li><a href="download/redhat/cduce-0.1.1-1.i386.rpm">cduce-0.1.1-1.i386.rpm</a></li>
103 <li><a href="download/redhat/cduce-0.1.1-1.src.rpm">cduce-0.1.1-1.src.rpm</a></li>
104 </ul>
105 <p>If this is your first installation of CDuce rpm, please follow these <a href="rpminstructions.html">instructions</a>.
106 </p>
107 </section>
108
109 <section title="Windows">
110 <p>Compile the sources by following the instructions of the
111 file INSTALL.WIN included.</p>
112 </section>
113 </box>
114
115
116
117
118 <include file="rpminstructions.xml"/>
119
120 </page>

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