summaryrefslogtreecommitdiffstats
path: root/debian/tests/libgnat-link
blob: c357a55308a7cb27692c61eb240a4f282ee275fd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#!/bin/sh
# autopkgtest check: Build and run a simple program against libgnat,
# to verify basic compile-time and run-time linking functionality.

set -e

BV=$(sed '/^Depends: gcc-\([0-9.]\+\).*/!d;s//\1/;q' debian/tests/control)
GNATMAKE=gnatmake-$BV

cd "$AUTOPKGTEST_TMP"
cat <<EOF > hello.adb
with Ada.Text_IO; use Ada.Text_IO;
procedure Hello is
begin
  Put_Line("Hello gnatmake.");
end Hello;
EOF

$GNATMAKE -eS -vm -o adatest hello.adb
echo "build: OK"
ldd adatest
[ -x adatest ]
./adatest
echo "run: OK"