head	1.3;
access;
symbols
	pkgsrc-2026Q1:1.3.0.4
	pkgsrc-2026Q1-base:1.3
	pkgsrc-2025Q4:1.3.0.2
	pkgsrc-2025Q4-base:1.3
	pkgsrc-2025Q3:1.1.0.2
	pkgsrc-2025Q3-base:1.1;
locks; strict;
comment	@# @;


1.3
date	2025.09.24.05.54.54;	author dkazankov;	state Exp;
branches;
next	1.2;
commitid	Jpy9JSx1JZyhGVbG;

1.2
date	2025.09.22.18.26.02;	author dkazankov;	state Exp;
branches;
next	1.1;
commitid	J7dABa3N6oKWTJbG;

1.1
date	2025.07.10.15.47.58;	author dkazankov;	state Exp;
branches;
next	;
commitid	ZF31bfbPfX3cpd2G;


desc
@@


1.3
log
@ada-adasat-25: fix huge /tmp waste during testing
@
text
@$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
Fix huge /tmp waste during testing

--- Makefile.orig	2024-01-03 19:00:52.000000000 +0200
+++ Makefile
@@@@ -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
 
@@@@ -11,17 +15,29 @@@@
 	gprbuild -k -P adasat.gpr -p -j$(PROCESSORS) \
 		--relocate-build-tree="$(BUILD_DIR)" \
 		-XLIBRARY_TYPE=$(LIBRARY_TYPE) \
-		-XBUILD_MODE=$(BUILD_MODE)
+		-XBUILD_MODE=$(BUILD_MODE) \
+		$(GPRBUILD_OPTIONS)
 
 .PHONY: all-libs
 all-libs:
 	for kind in $(ALL_LIBRARY_TYPES) ; do \
-		gprbuild -k -P adasat.gpr -p -j$(PROCESSORS) \
+		gprbuild -k -P adasat.gpr $(GPRBUILD_OPTIONS) \
 			--relocate-build-tree="$(BUILD_DIR)" \
 			-XLIBRARY_TYPE=$$kind \
 			-XBUILD_MODE=$(BUILD_MODE) ; \
 	done
 
+.PHONY: install-lib
+install-lib:
+	gprinstall -P adasat.gpr -p -f \
+		-XLIBRARY_TYPE=$(LIBRARY_TYPE) \
+		-XBUILD_MODE=$(BUILD_MODE) \
+		--relocate-build-tree="$(BUILD_DIR)" \
+		--prefix="$(INSTALL_DIR)" \
+		--build-name=$(LIBRARY_TYPE) \
+		--build-var=LIBRARY_TYPE ; \
+		$(GPRINSTALL_OPTIONS) \
+
 .PHONY: install
 install:
 	for kind in $(ALL_LIBRARY_TYPES) ; do \
@@@@ -32,6 +48,7 @@@@
 			--prefix="$(INSTALL_DIR)" \
 			--build-name=$$kind \
 			--build-var=LIBRARY_TYPE ; \
+			$(GPRINSTALL_OPTIONS) \
 	done
 
 .PHONY: test
@@@@ -43,5 +60,5 @@@@
 
 .PHONY: test
 test: lib
-	python3 testsuite/testsuite.py
+	$(PYTHON) testsuite/testsuite.py --dev-temp=$(shell pwd)/testsuite/temp
 
@


1.2
log
@ada-adasat-25: make tests available
@
text
@d1 1
a1 1
$NetBSD: patch-Makefile,v 1.1 2025/07/10 15:47:58 dkazankov Exp $
d6 1
d66 1
a66 1
+	$(PYTHON) testsuite/testsuite.py
@


1.1
log
@math/ada-adasat-25: Add new package version 25.0.0

Implementation of a DPLL-based SAT solver in Ada, release 25
@
text
@d1 1
a1 1
$NetBSD: patch-Makefile,v 1.0 2024/08/12 23:00:00 dkazankov Exp $
d3 1
d9 2
a10 1
@@@@ -4,6 +4,9 @@@@
d13 2
a14 1
 
d17 1
a17 1
+
d20 1
a20 2
 .PHONY: lib
@@@@ -11,17 +14,29 @@@@
d52 1
a52 1
@@@@ -32,6 +47,7 @@@@
d60 7
@