make check errors on Solaris 10 for cloog-0.18.0

[Marc Girod]

Hello,

I get many errors in make check which building on Solaris 10, with gcc 3.4.3.

A first batch is imported from isl, and was already reported there.
But next, I get errors due to the assumtion that diff is GNU diff:

Check file ./infinite.cloog (no option), generating... diff: illegal
option -- ignore-matching-lines=CLooG
usage: diff [-bitw] [-c | -e | -f | -h | -n | -u] file1 file2
diff [-bitw] [-C number | -U number] file1 file2
diff [-bitw] [-D string] file1 file2
diff [-bitw] [-c | -e | -f | -h | -n | -u] [-l] [-r] [-s] [-S
name] directory1 directory2
-e FAIL: ./infinite.c is not the same


One fix is to use in checker.sh, instead of --ignore-matching-lines=CLooG:

$cloog $options -q $input > cloog_temp;
diff -u -w cloog_temp $output | grep -v CLooG;

With this fix (and skipping the failing isl test case), I get:

All 5 tests passed

Marc