diff options
Diffstat (limited to 'test/Gentests')
| -rwxr-xr-x | test/Gentests | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/test/Gentests b/test/Gentests index fc779f00..ae56b8cc 100755 --- a/test/Gentests +++ b/test/Gentests @@ -45,6 +45,13 @@ BEGIN { next } +/^CHECK_MPFR *=/,/[^\\]$/ { + gsub(/(^CHECK_MPFR *=|\\$)/,"") + for (i = 1; i <= NF; i++) + mpfr[$i] + next +} + /^[[:alpha:]_][[:alnum:]_]*:/ { # remember all targets from Makefile.am sub(/:.*/,"") @@ -91,9 +98,17 @@ function generate(x, s) delete files[x".in"] } - printf "\t@echo %s\n", x + printf "\t@echo $@\n" printf "\t@AWKPATH=$(srcdir) $(AWK) -f $@.awk %s >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@\n", s - printf "\t@-$(CMP) $(srcdir)/$@.ok _$@ && rm -f _$@\n\n" + + if (x in mpfr) { + delete mpfr[x] + printf "\t@-if test -z \"$$AWKFLAGS\" ; then $(CMP) $(srcdir)/$@.ok _$@ && rm -f _$@ ; else \\\n" + printf "\t$(CMP) $(srcdir)/$@-mpfr.ok _$@ && rm -f _$@ ; \\\n" + printf "\tfi\n\n" + } else { + printf "\t@-$(CMP) $(srcdir)/$@.ok _$@ && rm -f _$@\n\n" + } } END { |