Package: asis-programs
Version: 2010-3
Severity: normal
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Hi,
The GNAT Pretty-Printer gnatpp is not working correctly, it seems that
gnatcheck is called instead:
$ gnatpp test.adb
gnatpp: No rule to check specified
gnatcheck: the GNAT rule checking tool
usage: gnatcheck [options] {filename} {-files=filename} [-cargs
gcc_switches] -rules rule_switches
options:
-a - process RTL units
[..snip..]
Calling gnatpp displays information about how to use the gnatcheck tool.
By specifying rules to check, gnatpp even performs some work but I don't
think it is actually doing something useful:
$ gnatpp -a handlers.adb -rules +RFloat_Equality_Checks
Units remaining: 1
Regards,
- - reto
- -- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Kernel: Linux 3.2.0-2-amd64 (SMP w/8 CPU cores)
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Shell: /bin/sh linked to /bin/dash
Versions of packages asis-programs depends on:
ii gnat 4.6
ii gnat-4.6 [ada-compiler] 4.6.3-4
ii libasis2010 2010-3
ii libc6 2.13-33
ii libgcc1 1:4.7.0-11
ii libgnat-4.6 4.6.3-4
ii libgnatvsn4.6 4.6.3-4
asis-programs recommends no packages.
asis-programs suggests no packages.
- -- no debconf information
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJPzya4AAoJEKSefDzePM5mXsYP/0ZO67UGDaObaRva3pto+uzS
a95AQqFX63uxeKpoWUBMbjT351KcQI+K1e3TEDW8JUsc1ViXrq2Q5c+dyusWrl/E
z+8j7VPwn48nbS1K6bFd3W+vFsBX/Q+HZnay+q90FFVANv5ikNjKTGKmh24yFQiA
Li4g/OqWjPZyO75UCrkmDYEoQTZlPQVPXHGUcpn6wlmN5S3CsrQBjegjYheIf0Nl
iS6cjxJsFP92SntEcRFPiL+u0DrwPJBQ1m/9ADte1Xd6kBr61A+dtKrWTcT9UqjR
eytblB6Dix2y5vju9msl9LQYQS0O00ZWEgoq0c7lz3UuI4KVprf+9M/tsCUrBDkx
9BvVL2QPjHm3FGgRnxpLrMOOeetcGw/UrEOJ7F7tTQ0NhcN8INiHsH6HkLyeuDVl
0QhrRaNCi5Hxux7WJ/8rAqu5Z7UY7c/VIPB1U2r8KScGlvXnLNUyhAzIKa0OP/qA
Nj03xAdiSfERU9O4B7EKrd1ySAzuxzEwZgs5VVqRrUbzQrwcUv9p5o+U2KLrLJpS
m7qYOwRFd4a3YKjwEGS5Zc8iTsF7/pexzH3uNY5arjKDKkmKW0+0AYDIWh/wVRV/
g6BguGxM2NLBl4GEdCO5BFbYw8tCUuC+Ldo6Ow0s89qYufoZ+ZEnIMjRyBamMwv/
ZC/SdWEzp5W0PRTtxNqz
=pV3h
-----END PGP SIGNATURE-----
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
