Menu
▾
▴
Tree [7c9a3e] master / History
Read Me
Here are instructions for running ATS:
------
0. The Objective Caml 3.08 and GNU C compiler [g++] are needed.
Also we recommend that ATS be run under Linux (though you
may readily make it work under other operating systems)
1. Download ATS.tar (or ATS-2005-10-09.tar or a newer version) and untar
it. ATS.tar can be referred to as today's version of ATS, which may be
unstable.
2.1. Enter the ATS directory (to make it your current directory)
2.2. Set the ATSHOME shell variable to be this directory
(e.g., you can execute <setenv ATSHOME `pwd`> in csh)
Please make sure that the name of this directory does
not *end* with a slash symbol '/'
2.3. Put $ATSHOME/bin in your path
(e.g. you can execute <setenv PATH $ATSHOME/bin:$PATH in csh)
3. Execute the following command to generate ./atsopt:
make atsopt
If you cannot generate [atsopt] or prefer bytecode, please try to
generate ./ats:
make ats
4. Execute the following command to generate all the library code:
make lats
3-4. You can also type 'make all' to combine the previous two steps.
5. Some usage of the command [atsCComp.sh] can be found in ./usage.txt
6. If you use X86 architecture, you can also do
make lats_x86_opt
to generate the library code. If you do so, please remember passing
the -DX86_OPT flag to the command [atsCComp.sh].
------
Note that meta-programming features are not supported by the compiler. Thus
meta-programs in ATS still need to be interpreted (via the command [atsopt
-interp 'ats_program'])
------
For instance, you can generate [./a.out] if you execute the following line:
./atsCComp.sh $ATSHOME/EXAMPLE/queens3.dats
All gcc flags can be passed to the command [atsCComp.sh]. For instance,
executing the following line generates an executable [./queen3]
./atsCComp.sh $ATSHOME/EXAMPLE/queens3.dats -o queen3
------
Hopefully, more documentation will be made available in future.
------