helm/software/helena/README

   1 Helena 0.8.3 M
   2
   3 <compile-time feature> ::=
   4
   5 EXPAND     enable option -g (if unset, -g is disabled)
   6 MANAGER    enable options -M -m -p (if unset, -m is disabled)
   7 PREPROCESS enable option (if unset, -0 is disabled)
   8
   9 * type "make" or "make opt" to compile the native executable
  10   with the desired features listed in the variable F
  11
  12 * type "make clean" to remove the products of compilation
  13
  14 - type "make export-coq" to build the "grundlagen" for Coq 8
  15
  16 * type "make profile" to validate the "grundlagen" 31 times
  17   it generates etc/profile.txt with sorted execution times
  18
  19 * type "make profile-coq" to run coqc on the "grundlagen" 31 times
  20   it generates etc/profile.txt with sorted execution times
  21   coqc must be installed on your system