test/makefile

   1 #
   2 # Copyright 2002 (c) Leiden University, LIACS,
   3 # All Rights Reserved.
   4 #
   5 # Permission is granted to copy, use, and distribute
   6 # for any commercial or noncommercial purpose under the terms
   7 # of the GNU General Public license, version 2, June 1991
   8 # (see file : ../LICENSE).
   9 #
  10 # @author: Bart Kienhuis
  11 # $Id: makefile,v 1.26 2002/09/26 13:03:53 kienhuis Exp $
  12 #
  13 # ndCed: useful line for names with their extensions:
  14 # diff -w xyz `basename $$x .dat`.ll ;
  15 ROOT = ..
  16
  17 # pbs with boulet bouleti and dirk
  18 #       boulet  \
  19 #       bouleti \
  20 #       dirk    \
  21
  22 PIPTEST =       \
  23         crescat \
  24         discr   \
  25         equus   \
  26         invert  \
  27         linear  \
  28         lineri  \
  29         loz     \
  30         max     \
  31         maxb    \
  32         pairi   \
  33         petit   \
  34         rairo   \
  35         rairoi  \
  36         test    \
  37         test2   \
  38         test2i  \
  39         test3   \
  40         test3i  \
  41         test4   \
  42         test4i  \
  43         test5   \
  44         test5i  \
  45         test6   \
  46         test6i  \
  47         test7   \
  48         test7i  \
  49         test8i  \
  50         test9i  \
  51         test10i \
  52         test11  \
  53         test11i \
  54         test12  \
  55         test12i
  56
  57 BITS = 64
  58
  59 generate:
  60         @echo "             /*-----------------------------------------------*"
  61         @echo "              *                 Generate files                *"
  62         @echo "              *-----------------------------------------------*/"
  63         for x in $(PIPTEST) ; do \
  64                 echo "Generate $$x.ll" ; \
  65                 pip64 $$x.dat $$x.ll ; \
  66         done
  67
  68 test:
  69         @echo "             /*-----------------------------------------------*"
  70         @echo "              *                  Testing PIP                  *"
  71         @echo "              *-----------------------------------------------*/"
  72         failedtest=0; \
  73         for x in $(PIPTEST) ; do \
  74                 echo "Verify file $$x" ; \
  75                 $(ROOT)/obj$(BITS)_$(TARGET)/pip$(BITS)$(EXEC_SUFFIX) $$x.dat > xyz ;\
  76                 diff -w xyz $$x.ll ; \
  77                 result=$$?; \
  78                 if [ "$$result" -eq "1" ]; then \
  79                         echo "Error: $$x is not the same"; \
  80                         failedtest=`expr $$failedtest + 1`; \
  81                 else \
  82                         echo "$$x passed"; \
  83                 fi; \
  84         done ; \
  85         rm xyz ; \
  86         if [ $$failedtest != 0 ]; then \
  87                 echo "$$failedtest tests failed"; \
  88         else \
  89                 echo "PIP works correctly :-)"; \
  90         fi
  91
  92 # Include the shared compilation rules
  93 include $(ROOT)/Makefile