1 : |
jhr |
123 |
Build instructions for the Diderot compiler
|
2 : |
|
|
|
3 : |
jhr |
1113 |
===============
|
4 : |
|
|
PREREQUISITES
|
5 : |
|
|
===============
|
6 : |
|
|
You must have TEEM installed, which you can get from
|
7 : |
jhr |
123 |
|
8 : |
glk |
1337 |
http://teem.sourceforge.net/download/index.html
|
9 : |
jhr |
1113 |
|
10 : |
jhr |
1270 |
You also must have SML/NJ (version 110.73) installed, which you can
|
11 : |
jhr |
1113 |
get from
|
12 : |
|
|
|
13 : |
glk |
1337 |
http://smlnj.org/dist/working/110.73/index.html
|
14 : |
jhr |
1113 |
|
15 : |
jhr |
1270 |
Diderot is currently supported on Linux and Mac OS X. It requires a system that is
|
16 : |
|
|
capable of running 64-bit executables.
|
17 : |
jhr |
1113 |
|
18 : |
|
|
===============
|
19 : |
glk |
1266 |
SOURCE CHECKOUT
|
20 : |
|
|
===============
|
21 : |
jhr |
1270 |
You can checkout the stable version of the Diderot source tree with:
|
22 : |
glk |
1266 |
|
23 : |
glk |
1337 |
svn co https://svn.smlnj-gforge.cs.uchicago.edu/svn/diderot/trunk diderot
|
24 : |
glk |
1266 |
|
25 : |
glk |
1337 |
An anonymous checkout is available via user name "anonsvn" and
|
26 : |
|
|
password "anonsvn". At times, there may also be unstable or
|
27 : |
|
|
experimental development branches. You can explore these using the
|
28 : |
|
|
web interface at
|
29 : |
jhr |
1270 |
|
30 : |
glk |
1337 |
https://smlnj-gforge.cs.uchicago.edu/scm/viewvc.php/?root=diderot
|
31 : |
jhr |
1270 |
|
32 : |
glk |
1266 |
===============
|
33 : |
jhr |
1113 |
CONFIGURATION
|
34 : |
|
|
===============
|
35 : |
|
|
|
36 : |
jhr |
1232 |
Run autoheader:
|
37 : |
|
|
|
38 : |
glk |
1337 |
% autoheader -Iconfig
|
39 : |
jhr |
1232 |
|
40 : |
jhr |
123 |
Run autoconf:
|
41 : |
|
|
|
42 : |
glk |
1337 |
% autoconf -Iconfig
|
43 : |
jhr |
123 |
|
44 : |
jhr |
1232 |
Configure the makefiles etc.
|
45 : |
jhr |
123 |
|
46 : |
glk |
1337 |
% ./configure --with-teem=/path/to/teem
|
47 : |
jhr |
123 |
|
48 : |
glk |
1337 |
where "/path/to/teem" is the full path of the directory
|
49 : |
|
|
containing the "lib" and "include" directories containing
|
50 : |
|
|
"libteem.{a,so,dylib}" and "teem/*.h", respectively.
|
51 : |
jhr |
1113 |
|
52 : |
jhr |
1640 |
You can also specify the location of the doxygen executable at
|
53 : |
|
|
configuration time using the option
|
54 : |
|
|
|
55 : |
|
|
--with-doxygen=/path/to/doxygen
|
56 : |
|
|
|
57 : |
|
|
Doxygen (http://doxygen.org) is used to generate documentation
|
58 : |
|
|
for the runtime system. If you have the Doxygen application
|
59 : |
|
|
installed on the Mac, you should specify
|
60 : |
|
|
|
61 : |
|
|
--with-doxygen=/Applications/Doxygen.app/Contents/Resources/doxygen
|
62 : |
|
|
|
63 : |
|
|
(assuming that the Doxygen application is installed in the Applications
|
64 : |
|
|
folder).
|
65 : |
|
|
|
66 : |
|
|
|
67 : |
jhr |
1113 |
===============
|
68 : |
|
|
INSTALLATION
|
69 : |
|
|
===============
|
70 : |
|
|
|
71 : |
|
|
From the root of the Diderot tree, run
|
72 : |
|
|
|
73 : |
glk |
1337 |
% make local-install
|
74 : |
jhr |
1113 |
|
75 : |
glk |
1337 |
This command will build the Diderot compiler (bin/diderotc) and
|
76 : |
|
|
runtime support.
|