Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Annotation of /branches/staging/INSTALL
ViewVC logotype

Annotation of /branches/staging/INSTALL

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2661 - (view) (download)

1 : jhr 123 Build instructions for the Diderot compiler
2 :    
3 : jhr 1113 ===============
4 :     PREREQUISITES
5 :     ===============
6 : jhr 2659
7 : jhr 1113 You must have TEEM installed, which you can get from
8 : jhr 123
9 : glk 1337 http://teem.sourceforge.net/download/index.html
10 : jhr 1113
11 : jhr 2659 You also must have SML/NJ (version 110.75 or later) installed, which you can
12 : jhr 1113 get from
13 :    
14 : jhr 2659 http://smlnj.org/dist/working/index.html
15 : jhr 1113
16 : jhr 1270 Diderot is currently supported on Linux and Mac OS X. It requires a system that is
17 : jhr 2661 capable of running 64-bit executables. Note that SML/NJ is a 32-bit program, so
18 :     on Linux systems you must also have the 32-bit compatibility libraries installed
19 :     (the exact libraries/packages depends on your distribution).
20 : jhr 1113
21 :     ===============
22 : glk 1266 SOURCE CHECKOUT
23 :     ===============
24 : jhr 2659
25 : jhr 1270 You can checkout the stable version of the Diderot source tree with:
26 : glk 1266
27 : glk 1337 svn co https://svn.smlnj-gforge.cs.uchicago.edu/svn/diderot/trunk diderot
28 : glk 1266
29 : glk 1337 An anonymous checkout is available via user name "anonsvn" and
30 :     password "anonsvn". At times, there may also be unstable or
31 :     experimental development branches. You can explore these using the
32 :     web interface at
33 : jhr 1270
34 : glk 1337 https://smlnj-gforge.cs.uchicago.edu/scm/viewvc.php/?root=diderot
35 : jhr 1270
36 : glk 1266 ===============
37 : jhr 1113 CONFIGURATION
38 :     ===============
39 :    
40 : jhr 1232 Run autoheader:
41 :    
42 : glk 1337 % autoheader -Iconfig
43 : jhr 1232
44 : jhr 123 Run autoconf:
45 :    
46 : glk 1337 % autoconf -Iconfig
47 : jhr 123
48 : jhr 1232 Configure the makefiles etc.
49 : jhr 123
50 : glk 1337 % ./configure --with-teem=/path/to/teem
51 : jhr 123
52 : glk 1337 where "/path/to/teem" is the full path of the directory
53 :     containing the "lib" and "include" directories containing
54 :     "libteem.{a,so,dylib}" and "teem/*.h", respectively.
55 : jhr 1113
56 : jhr 1640 You can also specify the location of the doxygen executable at
57 :     configuration time using the option
58 :    
59 :     --with-doxygen=/path/to/doxygen
60 :    
61 :     Doxygen (http://doxygen.org) is used to generate documentation
62 :     for the runtime system. If you have the Doxygen application
63 :     installed on the Mac, you should specify
64 :    
65 :     --with-doxygen=/Applications/Doxygen.app/Contents/Resources/doxygen
66 :    
67 :     (assuming that the Doxygen application is installed in the Applications
68 :     folder).
69 :    
70 : jhr 1113 ===============
71 :     INSTALLATION
72 :     ===============
73 :    
74 :     From the root of the Diderot tree, run
75 :    
76 : glk 1337 % make local-install
77 : jhr 1113
78 : glk 1337 This command will build the Diderot compiler (bin/diderotc) and
79 : jhr 2659 runtime support. Assuming that $ROOT is the root of the Diderot tree;
80 :     the above make command will create the following files and directories:
81 :    
82 :     $ROOT/bin/diderotc -- the diderotc compiler script
83 :     $ROOT/bin/.heap -- contains the diderotc heap image (used by
84 :     the diderotc script)
85 :     $ROOT/lib -- various versions of the Diderot runtime system
86 :     compiled as ".o" files
87 :     $ROOT/include/Diderot -- the Diderot header files, which are needed to
88 :     compile the output of the diderotc compiler.
89 :    
90 :     It is also possible to install the system outside the Diderot tree. To do so,
91 :     use the "--prefix" option to the configure command. For example:
92 :    
93 :     % configure --with-teem=/path/to/teem --prefix=/usr/local/Diderot
94 :     % make install
95 :    
96 :     will install the Diderot compiler, libraries, and headers in /usr/local/Diderot.

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0