helm/software/helena/README

   1 Helena 0.8.2 M
   2
   3 * type "make" or "make opt" to compile the native executable
   4
   5 * type "make clean" to remove the products of compilation
   6
   7 - type "make export-coq" to build the "grundlagen" for Coq 8
   8
   9 * type "make profile" to validate the "grundlagen" 31 times
  10   it generates etc/profile.txt with sorted execution times
  11
  12 * type "make profile-coq" to run coqc on the "grundlagen" 31 times
  13   it generates etc/profile.txt with sorted execution times
  14   coqc must be installed on your system