helm/software/lambda-delta/Makefile

   1 MAIN = helena
   2
   3 REQUIRES = unix
   4
   5 KEEP = README automath/*.aut
   6
   7 CLEAN = log.txt
   8
   9 include Makefile.common
  10
  11 test: $(MAIN).opt
  12         @echo "  HELENA automath/*.aut"
  13         $(H)./$(MAIN).opt -S 3 $(O) automath/*.aut > log.txt
  14
  15 meta: $(MAIN).opt
  16         @echo "  HELENA -m meta.txt automath/*.aut"
  17         $(H)./$(MAIN).opt -m meta.txt -s 1 -S 3 automath/*.aut > /dev/null
  18         $(H)$(GZIP) meta.txt
  19
  20 ifeq ($(MAKECMDGOALS), test)
  21   include .depend.opt
  22 endif
  23
  24 ifeq ($(MAKECMDGOALS), meta)
  25   include .depend.opt
  26 endif