30 lines
514 B
Plaintext
30 lines
514 B
Plaintext
V "GNAT Lib v6"
|
|
A -gnatwa
|
|
A -nostdinc
|
|
A -O2
|
|
A -Wextra
|
|
A -Wall
|
|
A -g
|
|
A -gnatp
|
|
A -gnatg
|
|
A -mtune=generic
|
|
A -march=i586
|
|
P ZX
|
|
|
|
RN
|
|
RV NO_FLOATING_POINT
|
|
RV SPARK_05
|
|
|
|
U system.powten_table%s s-powtab.ads 7dd5f64f NE OL PU PK
|
|
W system%s system.ads system.ali
|
|
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
D s-powtab.ads 20140801083227 50706677 system.powten_table%s
|
|
X 1 system.ads
|
|
37K9*System 200e11 2|34r9 70r5
|
|
X 2 s-powtab.ads
|
|
34K16*Powten_Table 1|37k9 2|70l12 70e24
|
|
37N4*Maxpow 45r34
|
|
45a4*Powten(long_long_float)
|
|
|