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         boulet.dat \
  19         crescat.dat \
  20         discr.dat \
  21         invert.dat \
  22         lineri.dat \
  23         loz.dat \
  24         maxb.dat \
  25         max.dat \
  26         test12i.dat
  27
  28 BITS = 64
  29
  30 test:
  31         failedtest=0; \
  32         for x in $(PIPTEST) ; do \
  33                 echo "Verify file $$x" ; \
  34                 $(ROOT)/obj$(BITS)_$(TARGET)/pip$(BITS)$(EXEC_SUFFIX) < $$x > xyz ;\
  35                 diff -w xyz `basename $$x .dat`.ll ; \
  36                 result=$$?; \
  37                 if [ "$$result" -eq "1" ]; then \
  38                         echo "Error: $$x is not the same"; \
  39                         failedtest=`expr $$failedtest + 1`; \
  40                 else \
  41                         echo "$$x passed"; \
  42                 fi; \
  43         done ; \
  44         if [ $$failedtest != 0 ]; then \
  45                 echo "$$failedtest tests failed"; \
  46         else \
  47                 echo "Test pip works correctly"; \
  48         fi
  49
  50 # Include the shared compilation rules
  51 include $(ROOT)/Makefile