CVS commit: pkgsrc/math/cvc5

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Fri Jul  3 20:36:34 UTC 2026

Modified Files:
        pkgsrc/math/cvc5: Makefile

Log Message:
Pass LD_LIBRARY_PATH to TEST_ENV.


To generate a diff of this commit:
cvs rdiff -u -r1.2 -r1.3 pkgsrc/math/cvc5/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/cvc5/Makefile
diff -u pkgsrc/math/cvc5/Makefile:1.2 pkgsrc/math/cvc5/Makefile:1.3
--- pkgsrc/math/cvc5/Makefile:1.2       Thu Jul  2 23:52:13 2026
+++ pkgsrc/math/cvc5/Makefile   Fri Jul  3 20:36:34 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.2 2026/07/02 23:52:13 alnsn Exp $
+# $NetBSD: Makefile,v 1.3 2026/07/03 20:36:34 alnsn Exp $
 
 DISTNAME=      cvc5-1.3.4
 CATEGORIES=    math
@@ -21,14 +21,9 @@ CMAKE_CONFIGURE_ARGS+=       -DUSE_POLY=ON
 
 DEPENDS+=      ${PYPKGPREFIX}-pyparsing>=3.0.9:../../devel/py-pyparsing
 
-# Tests take a long time to finish, you can instead
-# run them inside a sandboxed shell and pass -j N:
-# make build-env
-# cd cmake-pkgsrc-build
-# export LD_LIBRARY_PATH=$(pwd)/src:$(pwd)/src/parser:$(pwd)/src/main
-# ctest -j 32
-# ^D
-#TEST_TARGET=  test
+TEST_TARGET=   test
+CVC5_BUILD_SRC=        ${WRKSRC}/${CMAKE_BUILD_DIR}/src
+TEST_ENV+=     LD_LIBRARY_PATH=${CVC5_BUILD_SRC}:${CVC5_BUILD_SRC}/parser:${CVC5_BUILD_SRC}/main
 
 .include "../../devel/cmake/build.mk"
 .include "../../lang/python/tool.mk"