helm/software/helena/Makefile

   1 MAIN = helena
   2
   3 SRC  = src
   4
   5 REQUIRES = unix str helm-ng_kernel
   6
   7 OCAMLOPTIONS = -rectypes
   8
   9 KEEP = README
  10
  11 CLEAN = etc/log.txt etc/profile.txt
  12
  13 TAGS = test-si test-si-fast profile xml-si xml-si-crg
  14
  15 include Makefile.common
  16
  17 XMLDIR  = $(HOME)/svn/helm_stable/www/lambdadelta
  18
  19 INPUT = examples/grundlagen/grundlagen_2.aut
  20
  21 INPUTFAST = examples/grundlagen/grundlagen_1.aut
  22
  23 test-si: $(MAIN).opt etc
  24         @echo "  HELENA -p -o -c $(INPUT)"
  25         $(H)./$(MAIN).opt -p -o -c -S 3 -O $(XMLDIR) $(O) $(INPUT) > etc/log.txt
  26
  27 test-si-fast: $(MAIN).opt etc
  28         @echo "  HELENA -o -q $(INPUTFAST)"
  29         $(H)./$(MAIN).opt -o -q -S 1 $(O) $(INPUTFAST) > etc/log.txt
  30
  31 profile: $(MAIN).opt etc
  32         @echo "  HELENA -o -q $(INPUTFAST) (30 TIMES)"
  33         $(H)rm etc/log.txt
  34         $(H)for T in `seq 30`; do ./$(MAIN).opt -o -q -s 3 -S 1 $(O) $(INPUTFAST) >> etc/log.txt; done
  35         $(H)grep "at exit" etc/log.txt | sort | uniq > etc/profile-new.txt
  36
  37 xml-si: $(MAIN).opt etc
  38         @echo "  HELENA -o -x -s 2 $(INPUT)"
  39         $(H)./$(MAIN).opt -o -x -s 2 -S 1 -O $(XMLDIR) $(INPUT) > etc/log.txt
  40
  41 xml-si-crg: $(MAIN).opt etc
  42         @echo "  HELENA -o -x -s 1 $(INPUT)"
  43         $(H)./$(MAIN).opt -o -x -s 1 -S 1 -O $(XMLDIR) $(INPUT) > etc/log.txt