helm/software/lambda-delta/Makefile

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