blob: d741759dcd2ddd939e0afc668a11d9e351a92990 (
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
25
|
#!/bin/sh
# autopkgtest check: Build and run a simple program against libgnat,
# to verify basic compile-time and run-time linking functionality.
set -e
GNATMAKE=gnatmake-9
WORKDIR=$(mktemp -d)
trap "rm -rf $WORKDIR" 0 INT QUIT ABRT PIPE TERM
cd $WORKDIR
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"
|
