pkgsrc-Changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
CVS commit: pkgsrc/devel
Module Name: pkgsrc
Committed By: dkazankov
Date: Fri Nov 28 21:03:12 UTC 2025
Modified Files:
pkgsrc/devel: Makefile
Added Files:
pkgsrc/devel/gnatcoverage: DESCR Makefile PLIST distinfo
pkgsrc/devel/gnatcoverage/patches: patch-tools_gnatcov_Makefile
patch-tools_gnatcov_gnatcov.gpr patch-tools_gnatcov_host.mk
patch-tools_gnatcov_stable__sloc.gpr
patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.adb
patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.ads
patch-tools_gnatcov_stable__sloc_stable__sloc.adb
patch-tools_gnatcov_stable__sloc_stable__sloc.ads
patch-tools_gnatcov_trace__adapters_trace32_Makefile
Log Message:
devel/gnatcoverage: add new package 25.2.0
Tool to analyze and report program coverage.
Part of Dynamic Analysis Suite (DAS).
To generate a diff of this commit:
cvs rdiff -u -r1.4549 -r1.4550 pkgsrc/devel/Makefile
cvs rdiff -u -r0 -r1.1 pkgsrc/devel/gnatcoverage/DESCR \
pkgsrc/devel/gnatcoverage/Makefile pkgsrc/devel/gnatcoverage/PLIST \
pkgsrc/devel/gnatcoverage/distinfo
cvs rdiff -u -r0 -r1.1 \
pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_Makefile \
pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_gnatcov.gpr \
pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_host.mk \
pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc.gpr \
pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.adb \
pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.ads \
pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc.adb \
pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc.ads \
pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_trace__adapters_trace32_Makefile
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: pkgsrc/devel/Makefile
diff -u pkgsrc/devel/Makefile:1.4549 pkgsrc/devel/Makefile:1.4550
--- pkgsrc/devel/Makefile:1.4549 Fri Nov 28 20:35:14 2025
+++ pkgsrc/devel/Makefile Fri Nov 28 21:03:11 2025
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.4549 2025/11/28 20:35:14 dkazankov Exp $
+# $NetBSD: Makefile,v 1.4550 2025/11/28 21:03:11 dkazankov Exp $
#
COMMENT= Development utilities
@@ -481,6 +481,7 @@ SUBDIR+= global
SUBDIR+= gmake
SUBDIR+= gmp
SUBDIR+= gmtk
+SUBDIR+= gnatcoverage
SUBDIR+= gnatpython
SUBDIR+= gng
SUBDIR+= gnome-common
Added files:
Index: pkgsrc/devel/gnatcoverage/DESCR
diff -u /dev/null pkgsrc/devel/gnatcoverage/DESCR:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/DESCR Fri Nov 28 21:03:11 2025
@@ -0,0 +1,6 @@
+Tool to analyze and report program coverage
+
+Originally developed as part of the Couverture research project, GNATcoverage
+allows coverage analysis of both object code (instruction and branch coverage),
+and Ada or C language source code (Statement, Decision and Modified
+Condition/Decision Coverage - MC/DC).
Index: pkgsrc/devel/gnatcoverage/Makefile
diff -u /dev/null pkgsrc/devel/gnatcoverage/Makefile:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/Makefile Fri Nov 28 21:03:11 2025
@@ -0,0 +1,128 @@
+# $NetBSD: Makefile,v 1.1 2025/11/28 21:03:11 dkazankov Exp $
+
+DISTNAME= ${GITHUB_PROJECT}-${GITHUB_TAG}
+PKGNAME= ${GITHUB_PROJECT}-25.2.0
+CATEGORIES= devel
+MASTER_SITES= ${MASTER_SITE_GITHUB:=AdaCore/}
+GITHUB_PROJECT= gnatcoverage
+GITHUB_TAG= 25.2
+
+MAINTAINER= dkazankov%NetBSD.org@localhost
+HOMEPAGE= https://github.com/AdaCore/gnatcoverage
+COMMENT= Tool to analyze and report program coverage
+LICENSE= gnu-gpl-v3
+
+USE_LANGUAGES= c c++ ada
+
+USE_TOOLS+= gmake bison
+USE_LIBTOOL= yes
+TOOLS_BROKEN+= perl
+
+MKPIE_SUPPORTED= no
+RELRO_SUPPORTED= no
+
+.include "../../mk/bsd.prefs.mk"
+
+GCC_REQD+= 14
+
+SUBST_CLASSES+= version
+SUBST_MESSAGE.version= Set version in ${SUBST_FILES.version}
+SUBST_STAGE.version= post-extract
+SUBST_FILES.version= tools/gnatcov/version.ads
+SUBST_SED.version= -e "s,development-tree,${GITHUB_TAG},"
+
+# We need binutil's static libraries only but pkgsrc's package
+# does not install two required static libraries:
+# - libintl.a (it is not the same as builtin or pkgsrc's);
+# - libiberty.a (internal GCC's library).
+# This prevents programs that use static bfd.a from linking.
+# So we use inplace build of binutils.
+
+#.include "../../devel/binutils/inplace.mk"
+BINUTILS_PREFIX= ${PREFIX}/${MACHINE_GNU_PLATFORM}
+LIB_PATH= /lib:/usr/lib
+.if exists(/usr/lib64)
+LIB_PATH:= /usr/lib64:${LIB_PATH}
+.endif
+.if exists(/lib64)
+LIB_PATH:= /lib64:${LIB_PATH}
+.endif
+
+BINUTILS_DISTNAME= binutils
+post-fetch: fetch-inplace-binutils
+
+post-extract: extract-inplace-binutils
+
+.PHONY: fetch-inplace-binutils
+fetch-inplace-binutils:
+ @${STEP_MSG} Fetching in-place binutils
+ ${RUN}cd ../../devel/binutils && \
+ ${MAKE} WRKDIR=${WRKDIR}/.devel.binutils \
+ EXTRACT_DIR=${WRKDIR} \
+ WRKSRC='$${EXTRACT_DIR}/$${DISTNAME}' \
+ SKIP_DEPENDS=YES \
+ checksum
+
+.PHONY: extract-inplace-binutils
+extract-inplace-binutils:
+ @${STEP_MSG} Extracting in-place binutils
+ ${RUN}cd ../../devel/binutils && \
+ ${MAKE} WRKDIR=${WRKDIR}/.devel.binutils \
+ EXTRACT_DIR=${WRKDIR} \
+ WRKSRC='$${EXTRACT_DIR}/$${DISTNAME}' \
+ SKIP_DEPENDS=YES \
+ patch
+ ${RUN}${MV} ${WRKDIR}/binutils-* ${WRKDIR}/${BINUTILS_DISTNAME}
+
+.include "../../math/isl/inplace.mk"
+.include "../../devel/gmp/inplace.mk"
+.include "../../math/mpcomplex/inplace.mk"
+.include "../../math/mpfr/inplace.mk"
+
+# TOML library builds with GNAT 13 by default, to build it with
+# GNAT 14 for this package, we need inplacing
+CREATE_INPLACE_BUILD_TARGETS= static
+.include "../../textproc/ada-toml/inplace.mk"
+
+# First make TOML library in-place
+pre-configure: ${INPLACE_BUILD_TARGETS}
+# Second make binutils in-place with inplaced maths
+ ${MV} ${WRKSRC}/isl ${WRKDIR}/${BINUTILS_DISTNAME}/
+ ${MV} ${WRKSRC}/gmp ${WRKDIR}/${BINUTILS_DISTNAME}/
+ ${MV} ${WRKSRC}/mpc ${WRKDIR}/${BINUTILS_DISTNAME}/
+ ${MV} ${WRKSRC}/mpfr ${WRKDIR}/${BINUTILS_DISTNAME}/
+ @${STEP_MSG} Building in-place binutils
+ ${RUN}cd ${WRKDIR}/${BINUTILS_DISTNAME} && \
+ ${PKGSRC_SETENV} ${CONFIGURE_ENV} \
+ ${CONFIG_SHELL} ${CONFIG_SHELL_FLAGS} \
+ ${CONFIGURE_SCRIPT} --with-libpath=${LIB_PATH:Q} --program-prefix=g --prefix=/. --enable-plugins && \
+ ${PKGSRC_SETENV} ${MAKE_ENV} \
+ ${MAKE_PROGRAM} -f Makefile all && \
+ ${PKGSRC_SETENV} ${INSTALL_ENV} ${MAKE_ENV} \
+ ${MAKE_PROGRAM} DESTDIR=${BUILDLINK_DIR} -f Makefile install && \
+ ${CP} ${WRKDIR}/${BINUTILS_DISTNAME}/intl/libintl.a ${BUILDLINK_DIR}/lib && \
+ ${CP} ${WRKDIR}/${BINUTILS_DISTNAME}/libiberty/libiberty.a ${BUILDLINK_DIR}/lib
+
+BUILD_DIRS= tools/gnatcov
+BUILD_TARGET= all
+MAKE_FLAGS+= PREFIX=${DESTDIR}${PREFIX}
+MAKE_FLAGS+= BUILD_MODE=prod C_SUPPORT=False
+#MAKE_FLAGS+= GNAT_SRC_DIR=${WRKDIR}/${GCC_DISTNAME}/gcc/ada
+
+INSTALL_TARGET= install install-adapters
+
+GENERATE_PLIST+= \
+ cd ${DESTDIR}${PREFIX} && \
+ ${FIND} bin lib libexec share \( -type f -or -type l \) -print | ${SORT};
+
+.include "../../devel/gprbuild/buildlink3.mk"
+
+.include "../../devel/ada-gnat_util14/buildlink3.mk"
+.include "../../devel/ada-gnatcoll-core-25/buildlink3.mk"
+.include "../../devel/ada-libgpr2-25/buildlink3.mk"
+.include "../../devel/ada-libadalang-25/buildlink3.mk"
+
+.include "../../mk/pthread.buildlink3.mk"
+.include "../../mk/dlopen.buildlink3.mk"
+
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/devel/gnatcoverage/PLIST
diff -u /dev/null pkgsrc/devel/gnatcoverage/PLIST:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/PLIST Fri Nov 28 21:03:11 2025
@@ -0,0 +1,171 @@
+@comment $NetBSD: PLIST,v 1.1 2025/11/28 21:03:11 dkazankov Exp $
+bin/gnatcov
+lib/gnatcoverage/cobertura.dtd
+lib/gnatcoverage/gnatcov-xml-report.xsd
+libexec/gnatcoverage/compiler_wrappers-gcc
+libexec/gnatcoverage/gnatcov32
+libexec/gnatcoverage/gnatcov64
+libexec/gnatcoverage/trace32_drv_32
+libexec/gnatcoverage/trace32_drv_64
+share/examples/gnatcoverage/README.md
+share/examples/gnatcoverage/aunit_variant/Makefile
+share/examples/gnatcoverage/aunit_variant/aunit_variant.gpr
+share/examples/gnatcoverage/aunit_variant/harness.gpr
+share/examples/gnatcoverage/aunit_variant/harness/fixture/controls-test-suite.ads
+share/examples/gnatcoverage/aunit_variant/harness/fixture/geomaps-test-suite.adb
+share/examples/gnatcoverage/aunit_variant/harness/fixture/geomaps-test-suite.ads
+share/examples/gnatcoverage/aunit_variant/harness/fixture/links-gen_test-gen_suite.adb
+share/examples/gnatcoverage/aunit_variant/harness/fixture/links-gen_test-gen_suite.ads
+share/examples/gnatcoverage/aunit_variant/harness/fixture/main_suite.adb
+share/examples/gnatcoverage/aunit_variant/harness/fixture/main_suite.ads
+share/examples/gnatcoverage/aunit_variant/harness/fixture/robots-test-suite.adb
+share/examples/gnatcoverage/aunit_variant/harness/fixture/robots-test-suite.ads
+share/examples/gnatcoverage/aunit_variant/harness/fixture/stations-test-suite.adb
+share/examples/gnatcoverage/aunit_variant/harness/fixture/stations-test-suite.ads
+share/examples/gnatcoverage/aunit_variant/harness/fixture/test_explore.adb
+share/examples/gnatcoverage/aunit_variant/harness/old/test_ports.adb
+share/examples/gnatcoverage/aunit_variant/harness/old/test_queues.adb
+share/examples/gnatcoverage/aunit_variant/harness/old/test_robots.adb
+share/examples/gnatcoverage/aunit_variant/harness/old/test_stacks.adb
+share/examples/gnatcoverage/aunit_variant/harness/tests/actors-test.adb
+share/examples/gnatcoverage/aunit_variant/harness/tests/actors-test.ads
+share/examples/gnatcoverage/aunit_variant/harness/tests/controls-test.ads
+share/examples/gnatcoverage/aunit_variant/harness/tests/geomaps-test.adb
+share/examples/gnatcoverage/aunit_variant/harness/tests/geomaps-test.ads
+share/examples/gnatcoverage/aunit_variant/harness/tests/links-gen_test.adb
+share/examples/gnatcoverage/aunit_variant/harness/tests/links-gen_test.ads
+share/examples/gnatcoverage/aunit_variant/harness/tests/robots-test.adb
+share/examples/gnatcoverage/aunit_variant/harness/tests/robots-test.ads
+share/examples/gnatcoverage/aunit_variant/harness/tests/stations-test.adb
+share/examples/gnatcoverage/aunit_variant/harness/tests/stations-test.ads
+share/examples/gnatcoverage/aunit_variant/src/actors.adb
+share/examples/gnatcoverage/aunit_variant/src/actors.ads
+share/examples/gnatcoverage/aunit_variant/src/controls.ads
+share/examples/gnatcoverage/aunit_variant/src/explore.adb
+share/examples/gnatcoverage/aunit_variant/src/geomaps.adb
+share/examples/gnatcoverage/aunit_variant/src/geomaps.ads
+share/examples/gnatcoverage/aunit_variant/src/links.adb
+share/examples/gnatcoverage/aunit_variant/src/links.ads
+share/examples/gnatcoverage/aunit_variant/src/overview.ads
+share/examples/gnatcoverage/aunit_variant/src/queues.adb
+share/examples/gnatcoverage/aunit_variant/src/queues.ads
+share/examples/gnatcoverage/aunit_variant/src/robots.adb
+share/examples/gnatcoverage/aunit_variant/src/robots.ads
+share/examples/gnatcoverage/aunit_variant/src/robots_devices-dummy.adb
+share/examples/gnatcoverage/aunit_variant/src/robots_devices-dummy.ads
+share/examples/gnatcoverage/aunit_variant/src/robots_devices.ads
+share/examples/gnatcoverage/aunit_variant/src/stacks.adb
+share/examples/gnatcoverage/aunit_variant/src/stacks.ads
+share/examples/gnatcoverage/aunit_variant/src/stations.adb
+share/examples/gnatcoverage/aunit_variant/src/stations.ads
+share/examples/gnatcoverage/mcdc_checkpoints/Makefile
+share/examples/gnatcoverage/mcdc_checkpoints/mcdc_checkpoints.gpr
+share/examples/gnatcoverage/mcdc_checkpoints/src/assert.adb
+share/examples/gnatcoverage/mcdc_checkpoints/src/assert.ads
+share/examples/gnatcoverage/mcdc_checkpoints/src/engines.adb
+share/examples/gnatcoverage/mcdc_checkpoints/src/engines.ads
+share/examples/gnatcoverage/mcdc_checkpoints/src/test_stable.adb
+share/examples/gnatcoverage/mcdc_checkpoints/src/test_unstable_p.adb
+share/examples/gnatcoverage/mcdc_checkpoints/src/test_unstable_t.adb
+share/examples/gnatcoverage/spark_instrumentation/Makefile
+share/examples/gnatcoverage/spark_instrumentation/spark.adc
+share/examples/gnatcoverage/spark_instrumentation/spark_instrumentation.gpr
+share/examples/gnatcoverage/spark_instrumentation/src/foo.adb
+share/examples/gnatcoverage/spark_instrumentation/src/foo.ads
+share/examples/gnatcoverage/spark_instrumentation/src/main.adb
+share/examples/gnatcoverage/support/Makefile.common
+share/examples/gnatcoverage/support/Makefile.examples
+share/examples/gnatcoverage/support/Makefile.libsupport
+share/examples/gnatcoverage/support/README.md
+share/examples/gnatcoverage/support/base.gpr
+share/examples/gnatcoverage/support/common.gpr
+share/examples/gnatcoverage/support/conf-template.gpr
+share/examples/gnatcoverage/support/instrument-spark.adc
+share/examples/gnatcoverage/support/lch.gpr
+share/examples/gnatcoverage/support/lch/silent_last_chance-abort.adb
+share/examples/gnatcoverage/support/lch/silent_last_chance-exit.adb
+share/examples/gnatcoverage/support/lch/silent_last_chance.ads
+share/examples/gnatcoverage/support/libsupport.gpr
+share/examples/gnatcoverage/support/src/helpers/simple_pools.adb
+share/examples/gnatcoverage/support/src/helpers/simple_pools.ads
+share/examples/gnatcoverage/support/src/helpers/support.adb
+share/examples/gnatcoverage/support/src/helpers/support.ads
+share/examples/gnatcoverage/support/src/last_chance_/simple_last_chance_handler.adb
+share/examples/gnatcoverage/support/src/last_chance_/simple_last_chance_handler.ads
+share/examples/gnatcoverage/support/src/last_chance_iSystem-5554/simple_last_chance_handler.adb
+share/examples/gnatcoverage/support/src/last_chance_iSystem-5554/simple_last_chance_handler.ads
+share/examples/gnatcoverage/support/src/last_chance_iSystem-5634/simple_last_chance_handler.adb
+share/examples/gnatcoverage/support/src/last_chance_iSystem-5634/simple_last_chance_handler.ads
+share/examples/gnatcoverage/support/src/last_chance_trace32-stm32f7/README
+share/examples/gnatcoverage/support/src/leon-elf/abort.c
+share/examples/gnatcoverage/support/src/leon3-elf/abort.c
+share/examples/gnatcoverage/support/src/libsupport.adb
+share/examples/gnatcoverage/support/src/libsupport.ads
+share/examples/gnatcoverage/support/src/memory/libsupport-memory.adb
+share/examples/gnatcoverage/support/src/memory/libsupport-memory.ads
+share/examples/gnatcoverage/xml/Makefile
+share/examples/gnatcoverage/xml/src/services.adb
+share/examples/gnatcoverage/xml/src/services.ads
+share/examples/gnatcoverage/xml/src/test_services.adb
+share/examples/gnatcoverage/xml/xcov-report.py
+share/examples/gnatcoverage/xml/xcov.py
+share/examples/gnatcoverage/xml/xml.gpr
+share/gnatcoverage/gnatcov_ada_rts/gcvrt.ads
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-buffers-lists.adb
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-buffers-lists.ads
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-buffers.adb
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-buffers.ads
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-strings.ads
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-traces-output-base64.adb
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-traces-output-base64.ads
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-traces-output-bytes_io.adb
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-traces-output-bytes_io.ads
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-traces-output-text_io.ads
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-traces-output.adb
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-traces-output.ads
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-traces.adb
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-traces.ads
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts-types.ads
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts.ads
+share/gnatcoverage/gnatcov_ada_rts/gnatcov_rts.gpr
+share/gnatcoverage/gnatcov_rts/gcvrt.ads
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-base_io.adb
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-base_io.ads
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-buffers-lists.adb
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-buffers-lists.ads
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-buffers.adb
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-buffers.ads
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-strings.ads
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-traces-output-base64.adb
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-traces-output-base64.ads
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-traces-output-files.adb
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-traces-output-files.ads
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-traces-output.ads
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-traces.ads
+share/gnatcoverage/gnatcov_rts/gnatcov_rts-types.ads
+share/gnatcoverage/gnatcov_rts/gnatcov_rts.ads
+share/gnatcoverage/gnatcov_rts/gnatcov_rts.gpr
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-base_io.c
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-base_io.h
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-buffers.c
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-buffers.h
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-memory.h
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-os_interface.c
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-os_interface.h
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-strings.h
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-traces-output-base64.c
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-traces-output-base64.h
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-traces-output-files.c
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-traces-output-files.h
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-traces-output.c
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-traces-output.h
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-traces.c
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-traces.h
+share/gnatcoverage/gnatcov_rts/gnatcov_rts_c-witness.h
+@pkgdir share/gnatcoverage/gnatcov_rts/obj-static-pic
+@pkgdir share/gnatcoverage/gnatcov_rts/obj-static
+@pkgdir share/gnatcoverage/gnatcov_rts/obj-relocatable
+@pkgdir share/gnatcoverage/gnatcov_rts/lib-static-pic
+@pkgdir share/gnatcoverage/gnatcov_rts/lib-static
+@pkgdir share/gnatcoverage/gnatcov_rts/lib-relocatable
+@pkgdir share/gnatcoverage/gnatcov_ada_rts/obj-gnatcov_rts
Index: pkgsrc/devel/gnatcoverage/distinfo
diff -u /dev/null pkgsrc/devel/gnatcoverage/distinfo:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/distinfo Fri Nov 28 21:03:11 2025
@@ -0,0 +1,14 @@
+$NetBSD: distinfo,v 1.1 2025/11/28 21:03:11 dkazankov Exp $
+
+BLAKE2s (gnatcoverage-25.2.tar.gz) = 783b684cb6dde7219daca16767631f0b9929c322be976cf7fb9dc989ad3275cd
+SHA512 (gnatcoverage-25.2.tar.gz) = 50a4e61a2948d7fa8b09db7f51e7c92781c029ec71121c745904dee1838d32a3709c1ba7220e40d619a2a52bf9a3e5fae7d796b57656cd105e1a6bd8c4186a31
+Size (gnatcoverage-25.2.tar.gz) = 6044168 bytes
+SHA1 (patch-tools_gnatcov_Makefile) = a4a5b4a80cf2a40395b689fe533793a45ee11916
+SHA1 (patch-tools_gnatcov_gnatcov.gpr) = e96b8f438f3cbe6816d540027f1468cb45d1a0a0
+SHA1 (patch-tools_gnatcov_host.mk) = 52f1340de1e3c7120bb71ee189b42faee95cbb32
+SHA1 (patch-tools_gnatcov_stable__sloc.gpr) = 5d858cf58f90b8612850f528afac800d649c0f4a
+SHA1 (patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.adb) = e7ff4baa8e28e9527a8a052b122877c10462dc70
+SHA1 (patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.ads) = 7047538d0aa9ceda9fbe1cbe8c8058f642527b0d
+SHA1 (patch-tools_gnatcov_stable__sloc_stable__sloc.adb) = 7f1970b1f6258f8da1d041c47c35c066f1e82d6a
+SHA1 (patch-tools_gnatcov_stable__sloc_stable__sloc.ads) = c5ec0a4332dfbebda58ac7c2a42786ceeb1cded0
+SHA1 (patch-tools_gnatcov_trace__adapters_trace32_Makefile) = 609f79dd9352a17b77a948ebecc22dd6ac1c7bea
Index: pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_Makefile
diff -u /dev/null pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_Makefile:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_Makefile Fri Nov 28 21:03:12 2025
@@ -0,0 +1,50 @@
+$NetBSD: patch-tools_gnatcov_Makefile,v 1.1 2025/11/28 21:03:12 dkazankov Exp $
+
+Add NetBSD support for adapters
+Add options for gprbuild
+Add NetBSD support
+
+--- tools/gnatcov/Makefile.orig 2025-06-02 17:05:39.000000000 +0300
++++ tools/gnatcov/Makefile
+@@ -119,6 +119,14 @@
+ endif
+ endif
+
++ifeq ($(HOST_OS), bsd)
++ifeq ($(BITS_ARCH), 32)
++DEFAULT_ADAPTERS =
++else
++DEFAULT_ADAPTERS = trace32
++endif
++endif
++
+ ADAPTERS_LIST=$(DEFAULT_ADAPTERS)
+
+ PROCESSORS=0
+@@ -149,7 +157,7 @@
+ $(EXTRA_ADAFLAGS) \
+ -largs $(LD_FLAGS) \
+ -cargs:c++ $(CXXFLAGS) \
+- -gargs
++ -gargs $(GPRBUILD_OPTIONS)
+ INSTR_COMMON_ARGS=\
+ -j$(PROCESSORS) \
+ -P gnatcov.gpr \
+@@ -309,7 +317,7 @@
+ # which has its own extra info embedded and eventually installs just all what
+ # the distrib tree contains. We don't want any toplevel item there.
+
+-.PHONY: distrib-linux-extra distrib-windows-extra distrib
++.PHONY: distrib-linux-extra distrib-windows-extra distrib-bsd-extra distrib
+
+ distrib-linux-extra:
+ [ -f COPYING3 ] || $(CP) ../../COPYING3 .
+@@ -321,6 +329,8 @@
+
+ distrib-windows-extra:
+
++distrib-bsd-extra:
++
+ distrib-common: install-adapters distrib-${HOST_OS}-extra
+ distrib-without-doc: distrib-common install-without-doc
+ distrib: distrib-without-doc
Index: pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_gnatcov.gpr
diff -u /dev/null pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_gnatcov.gpr:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_gnatcov.gpr Fri Nov 28 21:03:12 2025
@@ -0,0 +1,21 @@
+$NetBSD: patch-tools_gnatcov_gnatcov.gpr,v 1.1 2025/11/28 21:03:12 dkazankov Exp $
+
+Fix old style dependency
+Add necessary library
+
+--- tools/gnatcov/gnatcov.gpr.orig 2025-06-02 17:05:39.000000000 +0300
++++ tools/gnatcov/gnatcov.gpr
+@@ -1,4 +1,4 @@
+-with "gnat_util", "gnatcoll", "gpr2", "libadalang", "libclang", "stable_sloc";
++with "gnat_util", "gnatcoll_core", "gpr2", "libadalang", "libclang", "stable_sloc";
+
+ project Gnatcov is
+
+@@ -255,6 +255,7 @@
+ "-l:libiberty.a",
+ "-l:libsframe.a",
+ "-l:libz.a",
++ "-l:libintl.a",
+ "-static-libstdc++",
+ "-static-libgcc");
+ end Linker;
Index: pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_host.mk
diff -u /dev/null pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_host.mk:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_host.mk Fri Nov 28 21:03:12 2025
@@ -0,0 +1,19 @@
+$NetBSD: patch-tools_gnatcov_host.mk,v 1.1 2025/11/28 21:03:12 dkazankov Exp $
+
+Add NetBSD support
+
+--- tools/gnatcov/host.mk.orig 2025-06-02 17:05:39.000000000 +0300
++++ tools/gnatcov/host.mk
+@@ -15,6 +15,12 @@
+ exeext=
+ endif
+
++ifneq (,$(filter NetBSD, $(HOST_UNAME)))
++HOST_OS=bsd
++LN_S=ln -sf
++exeext=
++endif
++
+ RM=rm -f
+ CP=cp -pf
+ MKDIR=mkdir -p
Index: pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc.gpr
diff -u /dev/null pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc.gpr:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc.gpr Fri Nov 28 21:03:12 2025
@@ -0,0 +1,30 @@
+$NetBSD: patch-tools_gnatcov_stable__sloc.gpr,v 1.1 2025/11/28 21:03:12 dkazankov Exp $
+
+Create project file for stable_sloc package
+
+--- /dev/null
++++ tools/gnatcov/stable_sloc.gpr
+@@ -0,0 +1,23 @@
++with "gnatcoll_core";
++with "ada_toml";
++
++library project stable_sloc is
++
++ type Build_Mode_Type is ("dev", "prod");
++ Build_Mode : Build_Mode_Type := external ("BUILD_MODE", "dev");
++
++ type Library_Type_Type is ("relocatable", "static", "static-pic");
++ Library_Type : Library_Type_Type := External ("LIBRARY_TYPE", "static");
++
++ for Languages use ("Ada");
++ for Source_Dirs use ("stable_sloc");
++
++ for Library_Kind use Library_Type;
++
++ for Object_Dir use "obj/stable_sloc/" & Project'Library_Kind;
++
++ for Library_Dir use "lib/stable_sloc/" & Project'Library_Kind;
++
++ for Library_Name use "stable_sloc";
++
++end stable_sloc;
Index: pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.adb
diff -u /dev/null pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.adb:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.adb Fri Nov 28 21:03:12 2025
@@ -0,0 +1,32 @@
+$NetBSD: patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.adb,v 1.1 2025/11/28 21:03:12 dkazankov Exp $
+
+Create source file for stable_sloc package
+
+--- /dev/null
++++ tools/gnatcov/stable_sloc/stable_sloc-toml_utils.adb
+@@ -0,0 +1,25 @@
++package body Stable_Sloc.TOML_Utils is
++
++ function Get_Or_Null
++ (Annot : TOML_Value; Field : String) return Unbounded_String
++ is
++ begin
++ if Annot.Has (Field) then
++ return Annot.As_Unbounded_String;
++ else
++ return Null_Unbounded_String;
++ end if;
++ end Get_Or_Null;
++
++ function Get_Or_Default
++ (Annot : TOML_Value; Field : String; Default : Boolean) return Boolean
++ is
++ begin
++ if Annot.Has (Field) then
++ return Annot.As_Boolean;
++ else
++ return Default;
++ end if;
++ end Get_Or_Default;
++
++end Stable_Sloc.TOML_Utils;
Index: pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.ads
diff -u /dev/null pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.ads:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.ads Fri Nov 28 21:03:12 2025
@@ -0,0 +1,19 @@
+$NetBSD: patch-tools_gnatcov_stable__sloc_stable__sloc-toml__utils.ads,v 1.1 2025/11/28 21:03:12 dkazankov Exp $
+
+Create source file for stable_sloc package
+
+--- /dev/null
++++ tools/gnatcov/stable_sloc/stable_sloc-toml_utils.ads
+@@ -0,0 +1,12 @@
++with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
++with TOML; use TOML;
++
++package Stable_Sloc.TOML_Utils is
++
++ function Get_Or_Null
++ (Annot : TOML_Value; Field : String) return Unbounded_String;
++
++ function Get_Or_Default
++ (Annot : TOML_Value; Field : String; Default : Boolean) return Boolean;
++
++end Stable_Sloc.TOML_Utils;
Index: pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc.adb
diff -u /dev/null pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc.adb:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc.adb Fri Nov 28 21:03:12 2025
@@ -0,0 +1,229 @@
+$NetBSD: patch-tools_gnatcov_stable__sloc_stable__sloc.adb,v 1.1 2025/11/28 21:03:12 dkazankov Exp $
+
+Create source file for stable_sloc package
+
+--- /dev/null
++++ tools/gnatcov/stable_sloc/stable_sloc.adb
+@@ -0,0 +1,222 @@
++with Ada.Exceptions; use Ada.Exceptions;
++with Ada.Text_IO; use Ada.Text_IO;
++with TOML.File_IO; use TOML.File_IO;
++
++package body Stable_Sloc is
++
++ function Image (S : Sloc) return String
++ is
++ begin
++ return Natural'Image (S.Line) & ":" & Natural'Image (S.Column);
++ end;
++
++ function Image (S : Sloc_Span) return String
++ is
++ begin
++ return Image (S.Start_Sloc) & ".." & Image (S.End_Sloc);
++ end;
++
++ function Is_Empty
++ (DB : Entry_DB) return Boolean is
++ begin
++ return DB.Entries.Is_Empty;
++ end Is_Empty;
++
++ function Add_Or_Update_Entry
++ (DB : in out Entry_DB;
++ Identifier : Unbounded_UTF8_String;
++ Annotation : TOML_Value;
++ Kind : Unbounded_UTF8_String;
++ File : Virtual_File;
++ Span : Sloc_Span;
++ File_Prefix : Unbounded_UTF8_String) return Load_Diagnostic_Arr
++ is
++ begin
++ DB.Entries.Include (Identifier, Entry_Type'(Annotations => Annotation, Kind => Kind, File => File,
++ Location => Span, File_Prefix => File_Prefix));
++ return (1..1 => Null_Unbounded_String);
++ end Add_Or_Update_Entry;
++
++ procedure Replace_Entry
++ (Target_DB : in out Entry_DB;
++ Source_DB : Entry_DB;
++ Target_Id : Unbounded_UTF8_String;
++ Source_Id : Unbounded_UTF8_String) is
++ begin
++ Target_DB.Entries.Replace (Target_Id, Source_DB.Entries.Element (Source_Id));
++ end Replace_Entry;
++
++ function Query_Entry
++ (DB : Entry_DB;
++ Identifier: Unbounded_UTF8_String) return Entry_View is
++ C : Cursor := DB.Entries.Find (Identifier);
++ begin
++ if C = No_Element then
++ return No_Entry_View;
++ else
++ return DB.Entries.Constant_Reference (C).Element;
++ end if;
++ end Query_Entry;
++
++ procedure Delete_Entry
++ (DB : in out Entry_DB;
++ Identifier : Unbounded_UTF8_String) is
++ begin
++ DB.Entries.Exclude (Identifier);
++ end Delete_Entry;
++
++ procedure Iterate_Entries
++ (DB : Entry_DB;
++ Action : access procedure (Identifier : Unbounded_UTF8_String; Entr : Entry_View))
++ is
++ procedure Process (Position: Cursor)
++ is
++ begin
++ Action (Key (Position), DB.Entries.Constant_Reference (Position).Element);
++ end;
++ begin
++ DB.Entries.Iterate (Process'Access);
++ end Iterate_Entries;
++
++ procedure Clear_DB (DB : in out Entry_DB) is
++ begin
++ DB.Entries.Clear;
++ end Clear_DB;
++
++ function Load_Entries
++ (File : Virtual_File;
++ DB : in out Entry_DB) return Load_Diagnostic_Arr
++ is
++ Result : Read_Result := Load_File (+ (Full_Name (File)));
++ begin
++ if Result.Success then
++ declare
++ Identifier : Unbounded_UTF8_String;
++ Annotations : TOML_Value;
++ Kind : Unbounded_UTF8_String;
++ File : Virtual_File;
++ Span_V : TOML_Value;
++ Start_Sloc : Source_Location;
++ End_Sloc : Source_Location;
++ File_Prefix : Unbounded_UTF8_String;
++ Diag_Arr : Load_Diagnostic_Arr (1..Result.Value.Length);
++ V : TOML_Value;
++ begin
++ for I in 1..Result.Value.Length loop
++ V := Result.Value.Item (I);
++ Identifier := V.Get ("Identifier").As_Unbounded_String;
++ Annotations := V.Get ("Annotations");
++ Kind := V.Get ("Kind").As_Unbounded_String;
++ File := Create (Filesystem_String (V.Get ("File").As_String));
++ Span_V := V.Get ("Location");
++ Start_Sloc := Location (Span_V.Get ("Start_Sloc"));
++ End_Sloc := Location (Span_V.Get ("End_Sloc"));
++ File_Prefix := V.Get ("File_Prefix").As_Unbounded_String;
++ declare
++ Diag : Load_Diagnostic_Arr := Add_Or_Update_Entry (
++ DB, Identifier, Annotations, Kind, File, (
++ Start_Sloc => (Line => Start_Sloc.Line, Column => Start_Sloc.Column),
++ End_Sloc => (Line => End_Sloc.Line, Column => End_Sloc.Column)
++ ),
++ File_Prefix);
++ begin
++ if Diag'Length = 0 then
++ Diag_Arr (I) := Null_Unbounded_String;
++ else
++ Diag_Arr (I) := Diag (Diag'First);
++ end if;
++ end;
++ end loop;
++ return Diag_Arr;
++ end;
++ else
++ return (1..1 => Result.Message);
++ end if;
++ end Load_Entries;
++
++ procedure Write_Entries
++ (DB : Entry_DB;
++ File : Virtual_File) is
++ A : TOML_Value := Create_Array;
++ procedure Fill_Array (Position: Cursor)
++ is
++ V : TOML_Value;
++ E : Constant_Reference_Type := DB.Entries.Constant_Reference (Position);
++ Location, Start_Sloc, End_Sloc : TOML_Value;
++ begin
++ Set (V, "Identifier", Create_String (Key (Position)));
++ Set (V, "Annotations", E.Annotations);
++ Set (V, "Kind", Create_String (E.Kind));
++ Set (V, "File", Create_String (+Full_Name (E.File)));
++ Set (Start_Sloc, "Line", Create_Integer (Any_Integer (E.Location.Start_Sloc.Line)));
++ Set (Start_Sloc, "Column", Create_Integer (Any_Integer (E.Location.Start_Sloc.Column)));
++ Set (Location, "Start_Sloc", Start_Sloc);
++ Set (End_Sloc, "Line", Create_Integer (Any_Integer (E.Location.End_Sloc.Line)));
++ Set (End_Sloc, "Column", Create_Integer (Any_Integer (E.Location.End_Sloc.Column)));
++ Set (Location, "End_Sloc", End_Sloc);
++ Set (V, "Location", Location);
++ Set (V, "File_Prefix", Create_String (E.File_Prefix));
++ Append (A, V);
++ end;
++ F : File_Type;
++ begin
++ DB.Entries.Iterate (Fill_Array'Access);
++ begin
++ Open (F, Out_File, +Full_Name (File));
++ exception
++ when E : Name_Error | Use_Error =>
++ Create (F, Out_File, +Full_Name (File));
++ end;
++ Dump_To_File (A, F);
++ Close (F);
++ end Write_Entries;
++
++ function Match_Entries
++ (Files : File_Array;
++ DB : Entry_DB;
++ Purpose_Prefix: String) return Match_Result_Vec is
++
++ Result : Match_Result_Vec;
++
++ procedure Process (Position: Cursor)
++ is
++ EV : Constant_Reference_Type := DB.Entries.Constant_Reference (Position);
++ begin
++ if To_String (EV.File_Prefix) = Purpose_Prefix then
++ for F of Files loop
++ if EV.File = F then
++ Result.Append (Match_Result'(
++ Success => True,
++ File => EV.File,
++ Identifier => Key (Position),
++ Location => EV.Location,
++ Annotation => EV.Annotations));
++ end if;
++ end loop;
++ end if;
++ end;
++ begin
++ DB.Entries.Iterate (Process'Access);
++ if Result.Length = 0 then
++ Result.Append (Match_Result'(
++ Success => False,
++ Diagnostic => Null_Unbounded_String)
++ );
++ end if;
++ return Result;
++ end Match_Entries;
++
++ procedure Sort (Match_Result : in out Match_Result_Vec)
++ is
++ begin
++ null;
++ end;
++
++ function Format_Diagnostic
++ (Diagnostic : Load_Diagnostic) return String
++ is
++ begin
++ return To_String (Diagnostic);
++ end;
++
++end Stable_Sloc;
Index: pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc.ads
diff -u /dev/null pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc.ads:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_stable__sloc_stable__sloc.ads Fri Nov 28 21:03:12 2025
@@ -0,0 +1,126 @@
+$NetBSD: patch-tools_gnatcov_stable__sloc_stable__sloc.ads,v 1.1 2025/11/28 21:03:12 dkazankov Exp $
+
+Create source file for stable_sloc package
+
+--- /dev/null
++++ tools/gnatcov/stable_sloc/stable_sloc.ads
+@@ -0,0 +1,119 @@
++with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
++with Ada.Strings.Unbounded.Hash;
++with Ada.Containers.Vectors;
++with Ada.Containers.Hashed_Maps;
++with GNATCOLL.VFS; use GNATCOLL.VFS;
++with TOML; use TOML;
++
++package Stable_Sloc is
++
++ type Sloc is record
++ Line, Column : Natural;
++ end record;
++
++ function Image (S : Sloc) return String;
++
++ type Sloc_Span is record
++ Start_Sloc, End_Sloc : Sloc;
++ end record;
++
++ function Image (S : Sloc_Span) return String;
++
++ type Entry_Type is record
++ Annotations : TOML_Value;
++ Kind : Unbounded_UTF8_String;
++ File : Virtual_File;
++ Location : Sloc_Span;
++ File_Prefix : Unbounded_UTF8_String;
++ end record;
++
++ type Entry_View is access all Entry_Type;
++
++ No_Entry_View : Entry_View := null;
++
++ type Entry_DB is private;
++
++ type Match_Result (Success : Boolean := True) is record
++ case Success is
++ when False =>
++ Diagnostic : Unbounded_UTF8_String;
++ when True =>
++ File : Virtual_File;
++ Identifier : Unbounded_UTF8_String;
++ Location : Sloc_Span;
++ Annotation : TOML_Value;
++ end case;
++ end record;
++
++ package Match_Result_Vectors is new Ada.Containers.Vectors (Index_Type => Positive, Element_Type => Match_Result);
++ subtype Match_Result_Vec is Match_Result_Vectors.Vector;
++
++ function Is_Empty (DB : Entry_DB) return Boolean;
++
++ subtype Load_Diagnostic is Unbounded_UTF8_String;
++ type Load_Diagnostic_Arr is array (Positive range <>) of Load_Diagnostic;
++
++ function Add_Or_Update_Entry
++ (DB : in out Entry_DB;
++ Identifier : Unbounded_UTF8_String;
++ Annotation : TOML_Value;
++ Kind : Unbounded_UTF8_String;
++ File : Virtual_File;
++ Span : Sloc_Span;
++ File_Prefix : Unbounded_UTF8_String) return Load_Diagnostic_Arr;
++
++ procedure Replace_Entry
++ (Target_DB : in out Entry_DB;
++ Source_DB : Entry_DB;
++ Target_Id : Unbounded_UTF8_String;
++ Source_Id : Unbounded_UTF8_String);
++
++ function Query_Entry
++ (DB : Entry_DB;
++ Identifier: Unbounded_UTF8_String) return Entry_View;
++
++ procedure Delete_Entry
++ (DB : in out Entry_DB;
++ Identifier : Unbounded_UTF8_String);
++
++ procedure Iterate_Entries
++ (DB : Entry_DB;
++ Action : access procedure (Identifier : Unbounded_UTF8_String; Entr : Entry_View));
++
++ procedure Clear_DB (DB : in out Entry_DB);
++
++ function Load_Entries
++ (File : Virtual_File;
++ DB : in out Entry_DB) return Load_Diagnostic_Arr;
++
++ procedure Write_Entries
++ (DB : Entry_DB;
++ File : Virtual_File);
++
++ function Match_Entries
++ (Files : File_Array;
++ DB : Entry_DB;
++ Purpose_Prefix: String) return Match_Result_Vec;
++
++ procedure Sort (Match_Result : in out Match_Result_Vec);
++
++ function Format_Diagnostic
++ (Diagnostic : Load_Diagnostic) return String;
++
++private
++
++ use Ada.Containers;
++
++ package Entry_Maps is new Ada.Containers.Hashed_Maps (
++ Key_Type => Unbounded_UTF8_String,
++ Element_Type => Entry_Type,
++ Hash => Ada.Strings.Unbounded.Hash,
++ Equivalent_Keys => "=");
++
++ use Entry_Maps;
++
++ type Entry_DB is record
++ Entries : Map;
++ end record;
++
++end Stable_Sloc;
Index: pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_trace__adapters_trace32_Makefile
diff -u /dev/null pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_trace__adapters_trace32_Makefile:1.1
--- /dev/null Fri Nov 28 21:03:12 2025
+++ pkgsrc/devel/gnatcoverage/patches/patch-tools_gnatcov_trace__adapters_trace32_Makefile Fri Nov 28 21:03:12 2025
@@ -0,0 +1,15 @@
+$NetBSD: patch-tools_gnatcov_trace__adapters_trace32_Makefile,v 1.1 2025/11/28 21:03:12 dkazankov Exp $
+
+Add options for gprbuild
+
+--- tools/gnatcov/trace_adapters/trace32/Makefile.orig 2025-06-02 17:05:39.000000000 +0300
++++ tools/gnatcov/trace_adapters/trace32/Makefile
+@@ -33,7 +33,7 @@
+ -largs $(LD_FLAGS) \
+ -cargs:c++ $(CXXFLAGS) \
+ $(EXTRA_ADAFLAGS) \
+- -gargs
++ -gargs $(GPRBUILD_OPTIONS)
+
+ bin: force
+ $(GPRBUILD) $(BIN_COMMON_BUILD_ARGS) -XPART=lib64
Home |
Main Index |
Thread Index |
Old Index