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/lambda_delta
  18
  19 INPUT = examples/grundlagen/grundlagen.aut
  20
  21 test-si: $(MAIN).opt etc
  22         @echo "  HELENA -p -o -c $(INPUT)"
  23         $(H)./$(MAIN).opt -p -o -c -S 3 -O $(XMLDIR) $(O) $(INPUT) > etc/log.txt
  24
  25 test-si-fast: $(MAIN).opt etc
  26         @echo "  HELENA -o -q $(INPUT)"
  27         $(H)./$(MAIN).opt -o -q -S 1 $(O) $(INPUT) > etc/log.txt
  28
  29 profile: $(MAIN).opt etc
  30         @echo "  HELENA -o -q $(INPUT) (30 TIMES)"
  31         $(H)rm etc/log.txt
  32         $(H)for T in `seq 30`; do ./$(MAIN).opt -o -q -s 3 -S 1 $(O) $(INPUT) >> etc/log.txt; done
  33         $(H)grep "at exit" etc/log.txt | sort | uniq > etc/profile-new.txt
  34
  35 xml-si: $(MAIN).opt etc
  36         @echo "  HELENA -o -x -s 2 $(INPUT)"
  37         $(H)./$(MAIN).opt -o -x -s 2 -S 1 -O $(XMLDIR) $(INPUT) > etc/log.txt
  38
  39 xml-si-crg: $(MAIN).opt etc
  40         @echo "  HELENA -o -x -s 1 $(INPUT)"
  41         $(H)./$(MAIN).opt -o -x -s 1 -S 1 -O $(XMLDIR) $(INPUT) > etc/log.txt