From 3f472a4e5ca21e3ddb13737473e636b2b11a408a Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:22:56 +0200 Subject: Adding debian version 13.2.0-10. Signed-off-by: Daniel Baumann --- debian/tests/libgnat-link | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100755 debian/tests/libgnat-link (limited to 'debian/tests/libgnat-link') diff --git a/debian/tests/libgnat-link b/debian/tests/libgnat-link new file mode 100755 index 0000000..c357a55 --- /dev/null +++ b/debian/tests/libgnat-link @@ -0,0 +1,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 < 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" -- cgit v1.2.3