SCM Repository
[diderot] Annotation of /branches/lamont_dev/INSTALL
Annotation of /branches/lamont_dev/INSTALL
Parent Directory
| 
Revision Log
Revision 1337 -
(view)
(download)
Original Path: trunk/INSTALL
| 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 : |
|
|
===============
|
| 53 : |
|
|
INSTALLATION
|
| 54 : |
|
|
===============
|
| 55 : |
|
|
|
| 56 : |
|
|
From the root of the Diderot tree, run
|
| 57 : |
|
|
|
| 58 : |
glk |
1337 |
% make local-install
|
| 59 : |
jhr |
1113 |
|
| 60 : |
glk |
1337 |
This command will build the Diderot compiler (bin/diderotc) and
|
| 61 : |
|
|
runtime support.
|
