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

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

Module Name:    pkgsrc
Committed By:   dkazankov
Date:           Wed Sep 24 05:54:54 UTC 2025

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

Log Message:
ada-adasat-25: fix huge /tmp waste during testing


To generate a diff of this commit:
cvs rdiff -u -r1.2 -r1.3 pkgsrc/math/ada-adasat-25/distinfo
cvs rdiff -u -r1.2 -r1.3 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/distinfo
diff -u pkgsrc/math/ada-adasat-25/distinfo:1.2 pkgsrc/math/ada-adasat-25/distinfo:1.3
--- pkgsrc/math/ada-adasat-25/distinfo:1.2      Mon Sep 22 18:26:02 2025
+++ pkgsrc/math/ada-adasat-25/distinfo  Wed Sep 24 05:54:54 2025
@@ -1,6 +1,6 @@
-$NetBSD: distinfo,v 1.2 2025/09/22 18:26:02 dkazankov Exp $
+$NetBSD: distinfo,v 1.3 2025/09/24 05:54:54 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) = 99bfff21aceffcd3868e2b57eb08553414ef44d5
+SHA1 (patch-Makefile) = 64294cb29d45efc4441c8b4dd67a1f822aaeb18e

Index: pkgsrc/math/ada-adasat-25/patches/patch-Makefile
diff -u pkgsrc/math/ada-adasat-25/patches/patch-Makefile:1.2 pkgsrc/math/ada-adasat-25/patches/patch-Makefile:1.3
--- pkgsrc/math/ada-adasat-25/patches/patch-Makefile:1.2        Mon Sep 22 18:26:02 2025
+++ pkgsrc/math/ada-adasat-25/patches/patch-Makefile    Wed Sep 24 05:54:54 2025
@@ -1,8 +1,9 @@
-$NetBSD: patch-Makefile,v 1.2 2025/09/22 18:26:02 dkazankov Exp $
+$NetBSD: patch-Makefile,v 1.3 2025/09/24 05:54:54 dkazankov Exp $
 
 Make python bin settable
 Add gprbuild and gprinstall options
 Make install target for a library
+Fix huge /tmp waste during testing
 
 --- Makefile.orig      2024-01-03 19:00:52.000000000 +0200
 +++ Makefile
@@ -62,5 +63,5 @@ Make install target for a library
  .PHONY: test
  test: lib
 -      python3 testsuite/testsuite.py
-+      $(PYTHON) testsuite/testsuite.py
++      $(PYTHON) testsuite/testsuite.py --dev-temp=$(shell pwd)/testsuite/temp