diff options
Diffstat (limited to 'test/Gentests')
| -rwxr-xr-x | test/Gentests | 24 |
1 files changed, 21 insertions, 3 deletions
diff --git a/test/Gentests b/test/Gentests index fc779f00..86849fe1 100755 --- a/test/Gentests +++ b/test/Gentests @@ -45,6 +45,15 @@ 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 +100,18 @@ function generate(x, s) delete files[x".in"] } - printf "\t@echo %s\n", x - printf "\t@AWKPATH=$(srcdir) $(AWK) -f $@.awk %s >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@\n", s - printf "\t@-$(CMP) $(srcdir)/$@.ok _$@ && rm -f _$@\n\n" + printf "\t@echo $@\n" + + if (x in mpfr) { + delete mpfr[x] + printf "\t@AWKPATH=$(srcdir) $(AWK) $(AWKFLAGS) -f $@.awk %s >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@\n", s + 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@AWKPATH=$(srcdir) $(AWK) -f $@.awk %s >_$@ 2>&1 || echo EXIT CODE: $$? >>_$@\n", s + printf "\t@-$(CMP) $(srcdir)/$@.ok _$@ && rm -f _$@\n\n" + } } END { |