File: link-with-shared

package info (click to toggle)
gprbuild 2018-6
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 6,248 kB
  • sloc: ada: 68,368; xml: 4,043; makefile: 423; sh: 365; ansic: 97; cpp: 89; fortran: 62
file content (27 lines) | stat: -rw-r--r-- 439 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#!/bin/sh
set -C -e -f -u

cd "$ADTTMP"

# GPR.Knowledge depends on xmlada sources, so using its functions may
# detect a problem with indirect dependencies (like in 2017-1).

cat > a.adb <<EOF
with GPR.Knowledge;
procedure A is
   S : constant String := GPR.Knowledge.Default_Knowledge_Base_DIrectory;
begin
   null;
end A;
EOF

cat > p.gpr <<EOF
with "gpr.gpr";
project P is
   for Main use ("a.adb");
end P;
EOF

gprbuild -v p.gpr

./a