]> matita.cs.unibo.it Git - helm.git/blob - helm/software/helena/README
- conditional compilation continues ...
[helm.git] / helm / software / helena / README
1 Helena 0.8.3 M
2
3 <compile-time feature> ::=
4
5 LEXER      enable option -L (if unset, -T 0 is implied)
6 PARSER     enable option -P (if unset, -T 0 is implied)
7 TRACE      enable full option -T (if unset, -T > 2 is disabled)
8 SUMMARY    enable option -d (if unset, -d is disabled)
9 EXPAND     enable option -g (if unset, -g is disabled)
10 MANAGER    enable options -M -m -p (if unset, -m is disabled)
11 OBJECTS    enable options -O -o (if unset, -o is disabled)
12 PREPROCESS enable option -p (if unset, -p is disabled)
13 QUOTE      enable option -q (if unset, -q is disabled)
14 TYPE       enable option -t (if unset, -t is disabled)
15
16 * type "make opt" to compile the native executable
17   with the desired features listed in the variable F
18
19 * type "make byte" to compile the bytecode executable
20   with the desired features listed in the variable F
21
22 * type "make" or "make all" to compile both executables
23   with the desired features listed in the variable F
24
25 * type "make clean" to remove the products of compilation
26
27 * type "make profile" to validate the "grundlagen" 31 times
28   it generates etc/profile.txt with sorted execution times