CVS commit: pkgsrc/devel/ada-sparklib-14

["Dmytro Kazankov" <dkazankov%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dkazankov
Date:           Tue Sep  9 09:15:52 UTC 2025

Modified Files:
        pkgsrc/devel/ada-sparklib-14: DESCR Makefile buildlink3.mk

Log Message:
ada-sparklib-14: some pkglinting, binary package renamed


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/devel/ada-sparklib-14/DESCR \
    pkgsrc/devel/ada-sparklib-14/Makefile \
    pkgsrc/devel/ada-sparklib-14/buildlink3.mk

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

Modified files:

Index: pkgsrc/devel/ada-sparklib-14/DESCR
diff -u pkgsrc/devel/ada-sparklib-14/DESCR:1.1 pkgsrc/devel/ada-sparklib-14/DESCR:1.2
--- pkgsrc/devel/ada-sparklib-14/DESCR:1.1      Mon Jul 28 06:52:41 2025
+++ pkgsrc/devel/ada-sparklib-14/DESCR  Tue Sep  9 09:15:52 2025
@@ -3,4 +3,4 @@ SPARKlib libraries
 SPARKlib is meant to provide users of SPARK libraries to
 use in SPARK code. SPARKlib contains various libraries,
 such as a wide range of containers, as well as lemmas to
-use directly in user code.
\ No newline at end of file
+use directly in user code.
Index: pkgsrc/devel/ada-sparklib-14/Makefile
diff -u pkgsrc/devel/ada-sparklib-14/Makefile:1.1 pkgsrc/devel/ada-sparklib-14/Makefile:1.2
--- pkgsrc/devel/ada-sparklib-14/Makefile:1.1   Mon Jul 28 06:52:41 2025
+++ pkgsrc/devel/ada-sparklib-14/Makefile       Tue Sep  9 09:15:52 2025
@@ -1,7 +1,7 @@
-# $NetBSD: Makefile,v 1.1 2025/07/28 06:52:41 dkazankov Exp $
+# $NetBSD: Makefile,v 1.2 2025/09/09 09:15:52 dkazankov Exp $
 
 DISTNAME=      ${GITHUB_PROJECT}-fsf-14
-PKGNAME=       sparklib-14-14.0.0
+PKGNAME=       sparklib14-14.0.0
 CATEGORIES=    devel
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=AdaCore/}
 GITHUB_PROJECT=        SPARKlib
@@ -23,13 +23,15 @@ GCC_REQD+=  14
 
 BUILD_TARGET=  generate
 
+INSTALLATION_DIRS+=    ${GNAT_PREFIX}/include/spark
+INSTALLATION_DIRS+=    ${GNAT_PREFIX}/lib/gnat
+
 do-install:
        ${RUN} cd ${WRKSRC} && \
-       ${MKDIR} ${DESTDIR}${GNAT_PREFIX}/include/spark && \
-       ${MKDIR} ${DESTDIR}${GNAT_PREFIX}/lib/gnat && \
-       ${CP} -pr src/*.ad? ${DESTDIR}${GNAT_PREFIX}/include/spark && \
-       ${CP} -pr *.gpr ${DESTDIR}${GNAT_PREFIX}/lib/gnat && \
-       ${CP} -pr proof ${DESTDIR}${GNAT_PREFIX}/lib/gnat
+       ${INSTALL_LIB} src/*.ad? ${DESTDIR}${GNAT_PREFIX}/include/spark && \
+       ${INSTALL_LIB} *.gpr ${DESTDIR}${GNAT_PREFIX}/lib/gnat && \
+       ${FIND} -f proof \( -type d \) -exec ${INSTALL_LIB_DIR} "${DESTDIR}${GNAT_PREFIX}/lib/gnat/{}" ";" && \
+       ${FIND} -f proof \( -type f -or -type l \) -exec ${INSTALL_LIB} "{}" "${DESTDIR}${GNAT_PREFIX}/lib/gnat/{}" ";"
 
 GENERATE_PLIST+= \
        cd ${DESTDIR}${PREFIX} && \
Index: pkgsrc/devel/ada-sparklib-14/buildlink3.mk
diff -u pkgsrc/devel/ada-sparklib-14/buildlink3.mk:1.1 pkgsrc/devel/ada-sparklib-14/buildlink3.mk:1.2
--- pkgsrc/devel/ada-sparklib-14/buildlink3.mk:1.1      Mon Jul 28 06:52:41 2025
+++ pkgsrc/devel/ada-sparklib-14/buildlink3.mk  Tue Sep  9 09:15:52 2025
@@ -1,11 +1,11 @@
-# $NetBSD: buildlink3.mk,v 1.1 2025/07/28 06:52:41 dkazankov Exp $
+# $NetBSD: buildlink3.mk,v 1.2 2025/09/09 09:15:52 dkazankov Exp $
 
 BUILDLINK_TREE+=       sparklib-14
 
 .if !defined(SPARKLIB_14_BUILDLINK3_MK)
 SPARKLIB_14_BUILDLINK3_MK:=
 
-BUILDLINK_API_DEPENDS.sparklib-14+=    sparklib-14>=14.0.0
+BUILDLINK_API_DEPENDS.sparklib-14+=    sparklib14>=14.0.0
 BUILDLINK_PKGSRCDIR.sparklib-14?=      ../../devel/ada-sparklib-14
 BUILDLINK_DEPMETHOD.sparklib-14?=      build