Test/Makefile.orig

   1
   2 # don't call this makefile directly, the upper directory makefile
   3 # does that for you.
   4
   5 # OBJ_DIR and EXEC_EXTRA_SUFFIX must be set correctly
   6
   7 # These do not pass in 32 bits mode (integer overflow): isnm isnm2
   8 ifeq ($(findstring 32,$(OBJ_DIR)),32)
   9   OVER = isnm isnm2
  10 endif
  11
  12 # These take a long time to compute...
  13 LONG_EHRHART_TESTS = $(filter-out $(OVER), g1 isnm2 c4 alex1)
  14
  15 EHRHART_TESTS = $(filter-out $(LONG_EHRHART_TESTS) $(OVER),\
  16         $(patsubst ehrhart/%.in,%,$(wildcard ehrhart/*.in)))
  17
  18 PP_TESTS = c4 c5
  19 GENERAL_TESTS = convex1 convex2 simpl1 simpl2 \
  20                 simpl3 simpl4 simpl5 simpl6 simpl7 gauss1 test1 herve
  21
  22 ZPOLYTESTS =  LatHNF1 LatHNF2 LatHNF3 LatInter1 LatInter2 \
  23         LatInc1 LatInc2 ZEmpty1 ZEmpty2 ZInter1 ZInter2  ZInter3  ZUnion1 \
  24         ZUnion2 ZDiff1 ZDiff2 ZImage1 ZPre1 ZPre2  ZPre3 ZImPre1 SplitZpol1 \
  25         SplitZpol2 SplitZpol3
  26
  27
  28 all_tests : general_tests pp$(EXEC_EXTRA_SUFFIX)_tests \
  29             ehrhart$(EXEC_EXTRA_SUFFIX)_tests zpoly_tests
  30         -@\rm -f xyz
  31         @echo "----------------------------------------------------"
  32         @echo "all tests successful"
  33         @echo "----------------------------------------------------"
  34
  35 #=====================================================================
  36 # these tests are much slower...
  37 long_tests::
  38         @echo "----------------------------------------------------"
  39         @echo "Begin long tests"
  40         @echo "----------------------------------------------------"
  41 long_tests:: $(LONG_EHRHART_TESTS:%=ehrhart/%) \
  42                 verif_ehrhart$(EXEC_EXTRA_SUFFIX)_tests
  43         -@\rm -f xyz
  44         @echo "----------------------------------------------------"
  45         @echo "all long tests successful"
  46         @echo "----------------------------------------------------"
  47
  48 #=====================================================================
  49 general_tests ::
  50         @echo "----------------------------------------------------"
  51         @echo "Begin general tests"
  52         @echo "----------------------------------------------------"
  53 general_tests :: libtest $(GENERAL_TESTS)
  54         @echo "General tests successful"
  55
  56 libtest:
  57         $(OBJ_DIR)/testlib$(EXEC_EXTRA_SUFFIX) <general/test.in >xyz
  58         diff -w xyz general/test.out
  59
  60 $(GENERAL_TESTS):
  61         $(OBJ_DIR)/polytest$(EXEC_EXTRA_SUFFIX) <general/$@.in >xyz
  62         diff -w xyz general/$@.out
  63
  64 #=====================================================================
  65 ehrhart$(EXEC_EXTRA_SUFFIX)_tests ::
  66         @echo "----------------------------------------------------"
  67         @echo "Begin 'ehrhart$(EXEC_EXTRA_SUFFIX)' tests"
  68         @echo "----------------------------------------------------"
  69 ehrhart$(EXEC_EXTRA_SUFFIX)_tests :: $(EHRHART_TESTS:%=ehrhart/%)
  70         @echo "'ehrhart$(EXEC_EXTRA_SUFFIX)' tests successful"
  71
  72 ehrhart/%:
  73         $(OBJ_DIR)/ehrhart$(EXEC_EXTRA_SUFFIX) <$@.in >xyz
  74         diff -w xyz $@.out
  75
  76 #=====================================================================
  77 verif_ehrhart$(EXEC_EXTRA_SUFFIX)_tests ::
  78         @echo "----------------------------------------------------"
  79         @echo "Begin 'verif_ehrhart$(EXEC_EXTRA_SUFFIX)' tests"
  80         @echo "----------------------------------------------------"
  81 verif_ehrhart$(EXEC_EXTRA_SUFFIX)_tests :: $(EHRHART_TESTS:%=verif_ehrhart/%) \
  82                 $(LONG_EHRHART_TESTS:%=verif_ehrhart/%)
  83         @echo "'verif_ehrhart$(EXEC_EXTRA_SUFFIX)' tests successful"
  84
  85 verif_ehrhart/%:
  86         $(OBJ_DIR)/verif_ehrhart$(EXEC_EXTRA_SUFFIX) <$(@:verif_ehrhart/%=ehrhart/%).in
  87
  88 #=====================================================================
  89 pp$(EXEC_EXTRA_SUFFIX)_tests ::
  90         @echo "----------------------------------------------------"
  91         @echo "Begin 'pp$(EXEC_EXTRA_SUFFIX)' tests"
  92         @echo "----------------------------------------------------"
  93 pp$(EXEC_EXTRA_SUFFIX)_tests :: $(PP_TESTS:%=pp/%)
  94         @echo "'pp$(EXEC_EXTRA_SUFFIX)' tests successful"
  95
  96 pp/%:
  97         $(OBJ_DIR)/pp$(EXEC_EXTRA_SUFFIX) <$@.in >xyz
  98         diff -w xyz $@.out
  99
 100 #=====================================================================
 101 zpoly_tests ::
 102         @echo "----------------------------------------------------"
 103         @echo "Begin 'Zpolyhedron' tests"
 104         @echo "----------------------------------------------------"
 105 zpoly_tests :: $(ZPOLYTESTS:%=Zpolytest/%)
 106         @echo "'Zpolyhedron' tests successful"
 107
 108 Zpolytest/%:
 109         $(OBJ_DIR)/Zpolytest$(EXEC_EXTRA_SUFFIX) <$@.in >xyz
 110         diff -w xyz $@.out
 111
 112 #=====================================================================
 113