]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/README
we are optimizing the code by conditional compilation.
[helm.git] / helm / software / helena / README
index ddbd506adbee0e71e97574339880ea21847ab971..88067dee8bb2783f1e7934ea946e4bb8ed441d24 100644 (file)
@@ -1,6 +1,13 @@
-Helena 0.8.2 M
+Helena 0.8.3 M
+
+<compile-time feature> ::=
+
+EXPAND     enable option -g (if unset, -g is disabled)
+MANAGER    enable options -M -m -p (if unset, -m is disabled)
+PREPROCESS enable option (if unset, -0 is disabled)
 
 * type "make" or "make opt" to compile the native executable
+  with the desired features listed in the variable F
 
 * type "make clean" to remove the products of compilation