check_union.sh.in

   1 #!/bin/sh
   2
   3 EXEEXT="@EXEEXT@"
   4 top_srcdir="@top_srcdir@"
   5
   6 for i in "$top_srcdir"/tests/ehrhart_union/*; do
   7     if test -f $i; then
   8         for spec in 'random' 'bf' 'df'; do
   9             opt="--specialization=$spec $options";
  10             echo $i $opt;
  11             ./barvinok_union$EXEEXT -c $opt < $i || exit;
  12         done
  13     fi
  14 done