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 INPUT = automath/grundlagen.aut
  12
  13 INPUT-ORIG = automath/grundlagen-orig.aut
  14
  15 test: $(MAIN).opt
  16         @echo "  HELENA $(INPUT)"
  17         $(H)./$(MAIN).opt -S 3 $(O) $(INPUT) > log.txt
  18
  19 test-nsi: $(MAIN).opt
  20         @echo "  HELENA -n $(INPUT-ORIG)"
  21         $(H)./$(MAIN).opt -n -S 3 $(O) $(INPUT-ORIG) > log.txt
  22
  23 meta: $(MAIN).opt
  24         @echo "  HELENA -m meta.txt $(INPUT)"
  25         $(H)./$(MAIN).opt -m meta.txt -s 1 -S 3 $(INPUT) > /dev/null
  26         $(H)$(GZIP) meta.txt
  27
  28 ifeq ($(MAKECMDGOALS), test)
  29   include .depend.opt
  30 endif
  31
  32 ifeq ($(MAKECMDGOALS), test-nsi)
  33   include .depend.opt
  34 endif
  35
  36 ifeq ($(MAKECMDGOALS), meta)
  37   include .depend.opt
  38 endif