helm/software/lambda-delta/Makefile

   1 MAIN = helena
   2
   3 DIRECTORIES = cps automath toplevel
   4
   5 REQUIRES =
   6
   7 KEEP = README automath/*.aut
   8
   9 CLEAN = log.txt
  10
  11 include Makefile.common
  12
  13 test: opt
  14         @echo "  HELENA automath/*.aut"
  15         $(H)./$(MAIN).opt -S 2 automath/*.aut > log.txt