adasat: buildlink file list fixed

[Dmytro Kazankov (via pkgsrc-wip) <commit-notify%pkgsrc.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Dmytro Kazankov <dmytro.kazankov%gmail.com@localhost>
Pushed By:	dkazankov
Date:		Mon Jan 13 22:10:06 2025 +0200
Changeset:	95c9c62c71a7041495777064bafb9a09d6cca8cb

Modified Files:
	adasat/buildlink3.mk

Log Message:
adasat: buildlink file list fixed

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=95c9c62c71a7041495777064bafb9a09d6cca8cb

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 adasat/buildlink3.mk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diffs:
diff --git a/adasat/buildlink3.mk b/adasat/buildlink3.mk
index 7fa0e9f799..bdacbdf248 100644
--- a/adasat/buildlink3.mk
+++ b/adasat/buildlink3.mk
@@ -9,11 +9,11 @@ BUILDLINK_API_DEPENDS.adasat+=	adasat>=24.0
 BUILDLINK_PKGSRCDIR.adasat=	../../wip/adasat
 BUILDLINK_DEPMETHOD.adasat?=	build
 
-BUILDLINK_FILES.adasat=		include/adasat*/* lib/adasat*/*
+BUILDLINK_FILES.adasat=		include/adasat*/* lib/libadasat* lib/adasat*/*
 BUILDLINK_FILES.adasat+=	share/gpr/manifests/adasat share/gpr/adasat.gpr
 
 BUILDLINK_CONTENTS_FILTER.adasat=	\
-	${EGREP} '(include/.*\.ads$$|lib/.*\.ali$$|lib/.*\.a$$|share/gpr/manifests/.*|share/gpr/.*\.gpr$$)'
+	${EGREP} '(include/.*\.ads$$|lib/.*\.ali$$|lib/.*\.a$$|lib/.*\.so.*$$|share/gpr/manifests/.*|share/gpr/.*\.gpr$$)'
 
 .endif