CVS commit: pkgsrc/math/ada-adasat-25

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

Module Name:    pkgsrc
Committed By:   dkazankov
Date:           Mon Sep 22 18:26:02 UTC 2025

Modified Files:
        pkgsrc/math/ada-adasat-25: Makefile distinfo
        pkgsrc/math/ada-adasat-25/patches: patch-Makefile

Log Message:
ada-adasat-25: make tests available


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/ada-adasat-25/Makefile \
    pkgsrc/math/ada-adasat-25/distinfo
cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/ada-adasat-25/patches/patch-Makefile

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

Modified files:

Index: pkgsrc/math/ada-adasat-25/Makefile
diff -u pkgsrc/math/ada-adasat-25/Makefile:1.1 pkgsrc/math/ada-adasat-25/Makefile:1.2
--- pkgsrc/math/ada-adasat-25/Makefile:1.1      Thu Jul 10 15:47:58 2025
+++ pkgsrc/math/ada-adasat-25/Makefile  Mon Sep 22 18:26:02 2025
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.1 2025/07/10 15:47:58 dkazankov Exp $
+# $NetBSD: Makefile,v 1.2 2025/09/22 18:26:02 dkazankov Exp $
 
 DISTNAME=      ${GITHUB_PROJECT}-${PKGVERSION_NOREV}
 PKGNAME=       adasat-${GNAT_NAME}-25.0.0
@@ -40,6 +40,17 @@ INSTALL_MAKE_FLAGS+=         LIBRARY_TYPE=${LIB
 MAKE_FLAGS+=                   BUILD_MODE=prod
 INSTALL_MAKE_FLAGS+=           INSTALL_DIR=${DESTDIR}${GNAT_PREFIX}
 
+.if ${PKGSRC_RUN_TEST:tl} == "yes"
+.include "../../lang/python/tool.mk"
+.endif
+
+TEST_TARGET=   test
+
+TEST_MAKE_FLAGS+=      PYTHON=${TOOL_PYTHONBIN} GPR_PROJECT_PATH=${WRKSRC}
+
+TEST_DEPENDS+= ${PYPKGPREFIX}-e3-core>=22.6.0:../../devel/py-e3-core
+TEST_DEPENDS+= ${PYPKGPREFIX}-e3-testsuite>=25.0:../../devel/py-e3-testsuite
+
 GENERATE_PLIST+= \
        cd ${DESTDIR}${PREFIX} && \
        ${FIND} ${GNAT_PKGBASE} \( -type f -or -type l \) -print | ${SORT};
Index: pkgsrc/math/ada-adasat-25/distinfo
diff -u pkgsrc/math/ada-adasat-25/distinfo:1.1 pkgsrc/math/ada-adasat-25/distinfo:1.2
--- pkgsrc/math/ada-adasat-25/distinfo:1.1      Thu Jul 10 15:47:58 2025
+++ pkgsrc/math/ada-adasat-25/distinfo  Mon Sep 22 18:26:02 2025
@@ -1,6 +1,6 @@
-$NetBSD: distinfo,v 1.1 2025/07/10 15:47:58 dkazankov Exp $
+$NetBSD: distinfo,v 1.2 2025/09/22 18:26:02 dkazankov Exp $
 
 BLAKE2s (AdaSAT-25.0.0.tar.gz) = 82395941685f2006742a211de0129b62097c90c87a47a93da9adbf1ca951f55a
 SHA512 (AdaSAT-25.0.0.tar.gz) = 7781a683c5aef9efa9a6b57e82070184c02d734fcf448aa5aa79d9aaa3b40d181d87d7487d9c204f7dcd584a3d2dc1c9ebc027e82b2532c3418c25a2395fd9af
 Size (AdaSAT-25.0.0.tar.gz) = 30707 bytes
-SHA1 (patch-Makefile) = c3f9108306b7d1812d5fbf8a1663ea75d92d1987
+SHA1 (patch-Makefile) = 99bfff21aceffcd3868e2b57eb08553414ef44d5

Index: pkgsrc/math/ada-adasat-25/patches/patch-Makefile
diff -u pkgsrc/math/ada-adasat-25/patches/patch-Makefile:1.1 pkgsrc/math/ada-adasat-25/patches/patch-Makefile:1.2
--- pkgsrc/math/ada-adasat-25/patches/patch-Makefile:1.1        Thu Jul 10 15:47:58 2025
+++ pkgsrc/math/ada-adasat-25/patches/patch-Makefile    Mon Sep 22 18:26:02 2025
@@ -1,21 +1,23 @@
-$NetBSD: patch-Makefile,v 1.1 2025/07/10 15:47:58 dkazankov Exp $
+$NetBSD: patch-Makefile,v 1.2 2025/09/22 18:26:02 dkazankov Exp $
 
+Make python bin settable
 Add gprbuild and gprinstall options
 Make install target for a library
 
 --- Makefile.orig      2024-01-03 19:00:52.000000000 +0200
 +++ Makefile
-@@ -4,6 +4,9 @@
+@@ -3,6 +3,10 @@
+ PROCESSORS ?= 0
  BUILD_DIR ?= .
  INSTALL_DIR ?= .
- 
++PYTHON ?= python3
++
 +GPRBUILD_OPTIONS ?= -p -j$(PROCESSORS)
 +GPRINSTALL_OPTIONS ?= 
-+
+ 
  ALL_LIBRARY_TYPES = static static-pic relocatable
  
- .PHONY: lib
-@@ -11,17 +14,29 @@
+@@ -11,17 +15,29 @@
        gprbuild -k -P adasat.gpr -p -j$(PROCESSORS) \
                --relocate-build-tree="$(BUILD_DIR)" \
                -XLIBRARY_TYPE=$(LIBRARY_TYPE) \
@@ -47,7 +49,7 @@ Make install target for a library
  .PHONY: install
  install:
        for kind in $(ALL_LIBRARY_TYPES) ; do \
-@@ -32,6 +47,7 @@
+@@ -32,6 +48,7 @@
                        --prefix="$(INSTALL_DIR)" \
                        --build-name=$$kind \
                        --build-var=LIBRARY_TYPE ; \
@@ -55,3 +57,10 @@ Make install target for a library
        done
  
  .PHONY: test
+@@ -43,5 +60,5 @@
+ 
+ .PHONY: test
+ test: lib
+-      python3 testsuite/testsuite.py
++      $(PYTHON) testsuite/testsuite.py
+