#!/bin/sh
set -C -e -f -u
cd "$ADTTMP"

# See debian/patches/do-not-strip-minor-soversion.diff

cat > foo.ads <<EOF
package Foo is
   Pi : constant := 3;
end Foo;
EOF
cat > foo.gpr <<EOF
library project Foo is
   for Source_Dirs use (".");
   for Library_Kind use "dynamic";
   for Object_Dir use "obj";
   for Library_Dir use "lib";
   for Library_Name use "foo";
   for Library_Version use "libfoo.so.1.2";
end Foo;
EOF
gprbuild -v -p foo.gpr
readelf -d lib/libfoo.so | grep 'Library soname: \[libfoo\.so\.1\.2\]$'
