File: gnatinspect

package info (click to toggle)
libgnatcoll-db 18-4
  • links: PTS
  • area: main
  • in suites: buster
  • size: 2,268 kB
  • sloc: ada: 23,786; python: 2,166; makefile: 486; sh: 34; ansic: 18
file content (20 lines) | stat: -rw-r--r-- 328 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
#!/bin/sh
set -C -e -u

cd "$ADTTMP"

# gnatinspect is linked with the three libraries.

cat > proc.adb <<EOF
with Ada.Text_IO;
procedure Proc is
begin
   Ada.Text_IO.Put_Line ("Hello");
end Proc;
EOF
cat > proj.gpr <<EOF
project Proj is
   for Main use ("proc.adb");
end Proj;
EOF
gnatinspect -P proj.gpr -c 'depends proc.adb'