[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug-gawk] inside awk script check that -M/--bignum given on command lin
From: |
Jannick |
Subject: |
[bug-gawk] inside awk script check that -M/--bignum given on command line? |
Date: |
Thu, 4 Jan 2018 23:57:05 +0100 |
Hi,
I am running gawk (4.2.0) against an awk script requiring that the --bignum
mode (-M) is effectively switched on. Otherwise no meaningful, but rather
confusing results are produced.
Is there any way (1) to run a check inside the script that the -M/--bignum
flag was provided on the command line (if negative exit my script) or (2) to
switch on/off the bignum mode inside the script (like IGNORECASE=1 or =0; I
wouldn't mind if it could be switched on only)?
To make sure that the MPR lib is compiled into gawk can be checked iff
PROCINFO["mpfr_version"] is given. However the default values of PREC (=5)
and ROUNDMODE(="N") do not appear to provide any insight if -M was given I
think.
Many thanks for any ideas,
J.
- [bug-gawk] inside awk script check that -M/--bignum given on command line?,
Jannick <=
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/04
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Jannick, 2018/01/04
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/05
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Jannick, 2018/01/05
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/05
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, arnold, 2018/01/08