← Back to branch summary

~burner/xsb/debianized-xsb

« back to all changes in this revision

Viewing changes to docs/homepage/download_bin.html

  • Committer: Michael R. Head
  • Date: 2006-09-06 22:11:55 UTC
  • Revision ID: burner@n23-20060906221155-7e398d23438a7ee4
Add the files from the 3.0.1 release package

Show diffs side-by-side

added added

removed removed

Lines of Context:
docs/homepage/download_bin.html
 
1
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
 
2
<html>
 
3
  <head>
 
4
    <title>Download the Executables</title>
 
5
  </head>
 
6
 
 
7
  <body>
 
8
 
 
9
<HR>
 
10
<center> <h1>Download the Executables</h1> </center>
 
11
<HR>
 
12
 
 
13
<!-- Sorry the executables for version 1.8 are not available right now.  Here -->
 
14
<!-- are the executables for version 1.7.2.  Please revisit this page in -->
 
15
<!-- several days. -->
 
16
 
 
17
<ul>
 
18
<li><b> Windows 95/NT/2000/XP </b>[<a
 
19
href="ftp://ftp.cs.sunysb.edu/pub/XSB/xsb.zip">xsb.zip</a>] <P>
 
20
 
 
21
<tt>xsb.zip</tt> is a WinZip file, which includes <tt>xsb.exe</tt>
 
22
(without ODBC interface), <tt>xsb_odbc.exe</tt> (with ODBC interface),
 
23
and other necessary library files.  It was compiled in Microsoft Visual
 
24
C++ 4.1. <P>
 
25
 
 
26
How to use it: <P>
 
27
 
 
28
<ul>
 
29
<li> Use WinZip to extract all the files in <tt>xsb.zip</tt> (make sure
 
30
the <b> Use Directory Names</b> check box is checked, and the <b>
 
31
Extract To</b> directory is set to the place where you want to put the
 
32
XSB system (for example, <tt>"c:"</tt>));
 
33
 
 
34
<li> If you set the <b>Extract To</b> directory as <tt>"c:"</tt>,
 
35
              then the XSB system will be installed in
 
36
              <tt>"c:\xsb"</tt>, which contains four subdirectories:
 
37
              <tt>cmplib,emu,lib</tt>, and <tt>syslib</tt>.
 
38
 
 
39
<li> The executable file is <tt>c:\xsb\emu\xsb.exe</tt>.  To run it you
 
40
need to specify the path for the libraries -- you can type in a DOS
 
41
terminal: <BR> <BR>
 
42
 
 
43
              <tt>C:\>\xsb\emu\xsb.exe -i -D \xsb</tt>  <br> <BR>
 
44
 
 
45
</ul>
 
46
 
 
47
<P>
 
48
 
 
49
 
 
50
    <hr>
 
51
    <address>Email:<a
 
52
    href="mailto:xsb-contact@cs.sunysb.edu">xsb-contact@cs.sunysb.edu
 
53
    </a></address>
 
54
 
 
55
 
 
56
<hr>
 
57
<p>
 
58
<!--Don't touch! The date gets updated when you commit changes to this page-->
 
59
$Date: 2004/12/20 17:54:19 $
 
60
 
 
61
  </body>
 
62
</html>