From b080b7dc084b0c71b144c473e703687c0a5ceeb2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D9=85=D9=87=D8=AF=D9=8A=20=D8=B4=D9=8A=D9=86=D9=88=D9=86?=
 =?UTF-8?q?=20=28Mehdi=20Chinoune=29?= <mehdi.chinoune@hotmail.com>
Date: Sat, 18 Jan 2025 09:17:30 +0100
Subject: [PATCH] adasat: don't install src directory

Left by mistake.
---
 mingw-w64-adasat/PKGBUILD | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/mingw-w64-adasat/PKGBUILD b/mingw-w64-adasat/PKGBUILD
index 1357bde136523..dac1d7d433b2d 100644
--- a/mingw-w64-adasat/PKGBUILD
+++ b/mingw-w64-adasat/PKGBUILD
@@ -50,9 +50,6 @@ package() {
       --build-name=${_library_type}
   done
 
-  mkdir -p "${pkgdir}"${MINGW_PREFIX}/share/gpr/src
-  cp "${srcdir}"/AdaSat-${pkgver}/src/* "${pkgdir}"${MINGW_PREFIX}/share/gpr/src/
-
   install -Dm644 "${srcdir}"/AdaSat-${pkgver}/LICENSE \
     "${pkgdir}"${MINGW_PREFIX}/share/licenses/${_realname}/LICENSE
 }