CVS commit: pkgsrc/math

To: pkgsrc-changes%NetBSD.org@localhost
Subject: CVS commit: pkgsrc/math
From: "Dmytro Kazankov" <dkazankov%netbsd.org@localhost>
Date: Mon, 8 Jun 2026 07:39:44 +0000

Module Name:    pkgsrc
Committed By:   dkazankov
Date:           Mon Jun  8 07:39:44 UTC 2026

Modified Files:
        pkgsrc/math: Makefile
Added Files:
        pkgsrc/math/ada-adasat26: DESCR Makefile PLIST buildlink3.mk distinfo
            inplace.mk
        pkgsrc/math/ada-adasat26/patches: patch-Makefile

Log Message:
ada-adasat26: add new package version 26.0.0

In fact, there are no changes compared to version 25.2,
the package is needed for unification with the rest of the packages
in the version line.


To generate a diff of this commit:
cvs rdiff -u -r1.634 -r1.635 pkgsrc/math/Makefile
cvs rdiff -u -r0 -r1.1 pkgsrc/math/ada-adasat26/DESCR \
    pkgsrc/math/ada-adasat26/Makefile pkgsrc/math/ada-adasat26/PLIST \
    pkgsrc/math/ada-adasat26/buildlink3.mk pkgsrc/math/ada-adasat26/distinfo \
    pkgsrc/math/ada-adasat26/inplace.mk
cvs rdiff -u -r0 -r1.1 pkgsrc/math/ada-adasat26/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/Makefile
diff -u pkgsrc/math/Makefile:1.634 pkgsrc/math/Makefile:1.635
--- pkgsrc/math/Makefile:1.634  Fri Apr  3 01:05:38 2026
+++ pkgsrc/math/Makefile        Mon Jun  8 07:39:43 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.634 2026/04/03 01:05:38 markd Exp $
+# $NetBSD: Makefile,v 1.635 2026/06/08 07:39:43 dkazankov Exp $
 
 COMMENT=       Mathematics
 
@@ -152,6 +152,7 @@ SUBDIR+=    aamath
 SUBDIR+=       abs
 SUBDIR+=       ada-adasat-24
 SUBDIR+=       ada-adasat-25
+SUBDIR+=       ada-adasat26
 SUBDIR+=       admesh
 SUBDIR+=       algae
 SUBDIR+=       amath

Added files:

Index: pkgsrc/math/ada-adasat26/DESCR
diff -u /dev/null pkgsrc/math/ada-adasat26/DESCR:1.1
--- /dev/null   Mon Jun  8 07:39:44 2026
+++ pkgsrc/math/ada-adasat26/DESCR      Mon Jun  8 07:39:43 2026
@@ -0,0 +1,7 @@
+Implementation of a DPLL-based SAT solver in Ada
+
+Main features:
+- Conflict analysis and backjumping
+- Two-watched literals scheme
+- Built-in support for At-Most-One constraints
+- Custom theories
Index: pkgsrc/math/ada-adasat26/Makefile
diff -u /dev/null pkgsrc/math/ada-adasat26/Makefile:1.1
--- /dev/null   Mon Jun  8 07:39:44 2026
+++ pkgsrc/math/ada-adasat26/Makefile   Mon Jun  8 07:39:43 2026
@@ -0,0 +1,62 @@
+# $NetBSD: Makefile,v 1.1 2026/06/08 07:39:43 dkazankov Exp $
+
+DISTNAME=      ${GITHUB_PROJECT}-${PKGVERSION_NOREV}
+PKGNAME=       ada-adasat-${GNAT_NAME}-26.0.0
+CATEGORIES=    math devel
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=AdaCore/}
+GITHUB_PROJECT=        AdaSAT
+GITHUB_TAG=    v${PKGVERSION_NOREV}
+
+MAINTAINER=    dkazankov%NetBSD.org@localhost
+HOMEPAGE=      https://github.com/AdaCore/AdaSAT
+COMMENT=       Implementation of a DPLL-based SAT solver in Ada, release 26
+LICENSE=       apache-2.0
+
+USE_TOOLS+=    gmake
+
+USE_LANGUAGES= ada
+
+USE_GCC_RUNTIME=       yes
+
+.include "../../mk/bsd.prefs.mk"
+
+GCC_REQD+=     15
+
+PLIST_VARS+=                   shlibs
+
+USE_PKGSRC_GCC_RUNTIME?=       no
+.if ${USE_PKGSRC_GCC_RUNTIME:tl} == "yes"
+PLIST.shlibs=                  yes
+BUILD_TARGET=                  all-libs
+INSTALL_TARGET=                        install
+.else
+BUILD_TARGET=                  lib
+INSTALL_TARGET=                        install-lib
+LIBRARY_TYPE=                  static
+MAKE_FLAGS+=                   LIBRARY_TYPE=${LIBRARY_TYPE}
+INSTALL_MAKE_FLAGS+=           LIBRARY_TYPE=${LIBRARY_TYPE}
+.endif
+
+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>=26.0:../../devel/py-e3-testsuite
+
+GENERATE_PLIST+= \
+       cd ${DESTDIR}${PREFIX} && \
+       ${FIND} ${GNAT_PKGBASE} \( -type f -or -type l \) -print | ${SORT};
+
+PRINT_PLIST_AWK+=      /\.relocatable\/|\.static-pic\/|lib\/.*\.so.*/ { $$0 = "$${PLIST.shlibs}" $$0 }
+
+.include "../../devel/gprbuild/buildlink3.mk"
+
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/math/ada-adasat26/PLIST
diff -u /dev/null pkgsrc/math/ada-adasat26/PLIST:1.1
--- /dev/null   Mon Jun  8 07:39:44 2026
+++ pkgsrc/math/ada-adasat26/PLIST      Mon Jun  8 07:39:43 2026
@@ -0,0 +1,82 @@
+@comment $NetBSD: PLIST,v 1.1 2026/06/08 07:39:43 dkazankov Exp $
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-builders.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-builders.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-decisions.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-decisions.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-dpll.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-dpll.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-formulas.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-formulas.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-helpers.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-helpers.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-internals.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-theory.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-vectors.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-vectors.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-builders.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-builders.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-decisions.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-decisions.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-dpll.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-dpll.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-formulas.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-formulas.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-helpers.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-helpers.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-internals.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-theory.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-vectors.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-vectors.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-builders.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat-builders.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-decisions.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat-decisions.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-dpll.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat-dpll.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-formulas.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat-formulas.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-helpers.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat-helpers.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-internals.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-theory.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-vectors.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat-vectors.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-builders.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-decisions.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-dpll.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-formulas.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-helpers.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-internals.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-theory.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-vectors.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/libadasat.so
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-builders.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-decisions.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-dpll.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-formulas.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-helpers.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-internals.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-theory.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-vectors.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/libadasat.a
+${GNAT_PKGBASE}/lib/adasat.static/adasat-builders.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-decisions.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-dpll.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-formulas.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-helpers.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-internals.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-theory.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-vectors.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat.ali
+${GNAT_PKGBASE}/lib/adasat.static/libadasat.a
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/libadasat.so
+${GNAT_PKGBASE}/share/gpr/adasat.gpr
+${GNAT_PKGBASE}/share/gpr/manifests/adasat
Index: pkgsrc/math/ada-adasat26/buildlink3.mk
diff -u /dev/null pkgsrc/math/ada-adasat26/buildlink3.mk:1.1
--- /dev/null   Mon Jun  8 07:39:44 2026
+++ pkgsrc/math/ada-adasat26/buildlink3.mk      Mon Jun  8 07:39:43 2026
@@ -0,0 +1,20 @@
+# $NetBSD: buildlink3.mk,v 1.1 2026/06/08 07:39:43 dkazankov Exp $
+
+BUILDLINK_TREE+=       ada-adasat26
+
+.if !defined(ADA_ADASAT26_BUILDLINK3_MK)
+ADA_ADASAT26_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.ada-adasat26+=   ada-adasat-${GNAT_NAME}>=26.0.0
+BUILDLINK_PKGSRCDIR.ada-adasat26?=             ../../math/ada-adasat26
+BUILDLINK_DEPMETHOD.ada-adasat26?=             build
+
+BUILDLINK_CONTENTS_FILTER.ada-adasat26=        \
+       ${EGREP} "${GNAT_PKGBASE}/include/.*$$|${GNAT_PKGBASE}/lib/.*$$|${GNAT_PKGBASE}/share/gpr/.*$$"
+
+BUILDLINK_FNAME_TRANSFORM.ada-adasat26+=       \
+       -e "s|${BUILDLINK_DIR}/${GNAT_PKGBASE}/|${BUILDLINK_DIR}/|g"
+
+.endif
+
+BUILDLINK_TREE+=       -ada-adasat26
Index: pkgsrc/math/ada-adasat26/distinfo
diff -u /dev/null pkgsrc/math/ada-adasat26/distinfo:1.1
--- /dev/null   Mon Jun  8 07:39:44 2026
+++ pkgsrc/math/ada-adasat26/distinfo   Mon Jun  8 07:39:43 2026
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2026/06/08 07:39:43 dkazankov Exp $
+
+BLAKE2s (AdaSAT-26.0.0.tar.gz) = f2fa6b6e03b22ad6be3ecd822ca25daaddbade482f8a9b25562caa947d32d3e5
+SHA512 (AdaSAT-26.0.0.tar.gz) = f1fa4fd0bce7275175849e3107eab1ff23db08b6890ccb1f2702ad7467d539ad1cf614c6d5652bfd8dff15927d3439f8e5c9f2ce8b398ada5990d6ce2bdfea9b
+Size (AdaSAT-26.0.0.tar.gz) = 30714 bytes
+SHA1 (patch-Makefile) = 64294cb29d45efc4441c8b4dd67a1f822aaeb18e
Index: pkgsrc/math/ada-adasat26/inplace.mk
diff -u /dev/null pkgsrc/math/ada-adasat26/inplace.mk:1.1
--- /dev/null   Mon Jun  8 07:39:44 2026
+++ pkgsrc/math/ada-adasat26/inplace.mk Mon Jun  8 07:39:43 2026
@@ -0,0 +1,83 @@
+# $NetBSD: inplace.mk,v 1.1 2026/06/08 07:39:43 dkazankov Exp $
+#
+# Include this file to extract library source into the WRKSRC of
+# another package.
+#
+# Package-settable variables:
+#
+# CREATE_INPLACE_BUILD_TARGETS
+#      List of build targets that need to be created
+#      Possible values: static-pic, relocatable.
+#
+# System-defined variables:
+#
+# INPLACE_BUILD_TARGETS
+#      A list of build targets which can be used as dependency to build
+#      inplaced libraries.
+
+post-fetch: fetch-inplace-adasat
+
+post-extract: extract-inplace-adasat
+
+.PHONY: fetch-inplace-adasat
+fetch-inplace-adasat:
+       @${STEP_MSG} Fetching in-place adasat
+       ${RUN}cd ../../math/ada-adasat26 && \
+               ${MAKE} WRKDIR=${WRKSRC}/.devel.adasat \
+                       EXTRACT_DIR=${WRKSRC} \
+                       WRKSRC='$${EXTRACT_DIR}/$${DISTNAME}' \
+                       SKIP_DEPENDS=YES \
+                       checksum
+
+.PHONY: extract-inplace-adasat
+extract-inplace-adasat:
+       @${STEP_MSG} Extracting in-place adasat
+       ${RUN}cd ../../math/ada-adasat26 && \
+               ${MAKE} WRKDIR=${WRKSRC}/.devel.adasat \
+                       EXTRACT_DIR=${WRKSRC} \
+                       WRKSRC='$${EXTRACT_DIR}/$${DISTNAME}' \
+                       SKIP_DEPENDS=YES \
+                       patch
+       ${RUN}${MV} ${WRKSRC}/AdaSAT-* ${WRKSRC}/adasat
+
+.if defined(CREATE_INPLACE_BUILD_TARGETS)
+
+USE_TOOLS+=            gmake
+
+.  if !empty(CREATE_INPLACE_BUILD_TARGETS:Mrelocatable)
+
+INPLACE_BUILD_TARGETS+=        build-inplace-relocatable-adasat
+
+.PHONY: build-inplace-relocatable-adasat
+build-inplace-relocatable-adasat:
+       @${STEP_MSG} Building in-place relocatable AdaSAT
+       ${RUN}cd ${WRKSRC}/adasat && \
+       ${PKGSRC_SETENV} ${MAKE_ENV}  \
+           ${MAKE_PROGRAM} ${MAKE_FLAGS} ${BUILD_MAKE_FLAGS} BUILD_MODE=prod LIBRARY_TYPE=relocatable \
+           -f Makefile lib && \
+       ${PKGSRC_SETENV} ${INSTALL_ENV} ${MAKE_ENV} \
+           ${MAKE_PROGRAM} ${MAKE_FLAGS} ${INSTALL_MAKE_FLAGS} \
+           INSTALL_DIR=${BUILDLINK_DIR} BUILD_MODE=prod LIBRARY_TYPE=relocatable \
+           -f Makefile install-lib
+
+.  endif
+
+.  if !empty(CREATE_INPLACE_BUILD_TARGETS:Mstatic-pic)
+
+INPLACE_BUILD_TARGETS+=        build-inplace-static-pic-adasat
+
+.PHONY: build-inplace-static-pic-adasat
+build-inplace-static-pic-adasat:
+       @${STEP_MSG} Building in-place static-pic AdaSAT
+       ${RUN}cd ${WRKSRC}/adasat && \
+       ${PKGSRC_SETENV} ${MAKE_ENV}  \
+           ${MAKE_PROGRAM} ${MAKE_FLAGS} ${BUILD_MAKE_FLAGS} BUILD_MODE=prod LIBRARY_TYPE=static-pic \
+           -f Makefile lib && \
+       ${PKGSRC_SETENV} ${INSTALL_ENV} ${MAKE_ENV} \
+           ${MAKE_PROGRAM} ${MAKE_FLAGS} ${INSTALL_MAKE_FLAGS} \
+           INSTALL_DIR=${BUILDLINK_DIR} BUILD_MODE=prod LIBRARY_TYPE=static-pic \
+           -f Makefile install-lib
+
+.  endif
+
+.endif

Index: pkgsrc/math/ada-adasat26/patches/patch-Makefile
diff -u /dev/null pkgsrc/math/ada-adasat26/patches/patch-Makefile:1.1
--- /dev/null   Mon Jun  8 07:39:44 2026
+++ pkgsrc/math/ada-adasat26/patches/patch-Makefile     Mon Jun  8 07:39:44 2026
@@ -0,0 +1,67 @@
+$NetBSD: patch-Makefile,v 1.1 2026/06/08 07:39:44 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
+

Prev by Date: CVS commit: pkgsrc/doc
Next by Date: CVS commit: pkgsrc/doc
Previous by Thread: CVS commit: pkgsrc/doc
Next by Thread: CVS commit: pkgsrc/doc
Indexes:

Home | Main Index | Thread Index | Old Index