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 : LICENSING).
   9 #
  10 # @author: Bart Kienhuis
  11 # $Id: makefile,v 1.26 2002/09/26 13:03:53 kienhuis Exp $
  12 #
  13
  14 ROOT = ..
  15
  16 # pbs with boulet bouleti and kirk
  17 PIPTEST =  \
  18         crescat.dat \
  19         discr.dat \
  20         invert.dat \
  21         lineri.dat \
  22         loz.dat \
  23         maxb.dat \
  24         max.dat \
  25         test12i.dat
  26
  27 BITS = 64
  28
  29 test:
  30         failedtest=0; \
  31         for x in $(PIPTEST) ; do \
  32                 echo "Verify file $$x" ; \
  33                 $(ROOT)/obj$(BITS)_$(TARGET)/pip$(BITS)$(EXEC_SUFFIX) -z < $$x > xyz ;\
  34                 diff -w xyz `basename $$x .dat`.ll ; \
  35                 result=$$?; \
  36                 if [ "$$result" -eq "1" ]; then \
  37                         echo "Error: $$x is not the same"; \
  38                         failedtest=`expr $$failedtest + 1`; \
  39                 else \
  40                         echo "$$x passed"; \
  41                 fi; \
  42         done ; \
  43         if [ $$failedtest != 0 ]; then \
  44                 echo "$$failedtest tests failed"; \
  45         else \
  46                 echo "Test pip works correctly"; \
  47         fi
  48
  49 # Include the shared compilation rules
  50 include $(ROOT)/Makefile