/usr/lib/spark/current/gnat.cfg is in spark 2012.0.deb-11.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 | package Standard
is
type Integer is range -2**31 .. 2**31 - 1;
end Standard;
package System
is
-- for IA32/x86 - little-endian machine
Default_Bit_Order : constant Bit_Order := Low_Order_First;
end System;
|