CVS commit: pkgsrc/math/cvc5

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

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Thu Jul  2 23:52:13 UTC 2026

Modified Files:
        pkgsrc/math/cvc5: Makefile

Log Message:
Add LD_LIBRARY_PATH to testing instruction.

This improves success rate to 99%.

$ export LD_LIBRARY_PATH=$(pwd)/src:$(pwd)/src/parser:$(pwd)/src/main
$ ctest -j32
...
99% tests passed, 1 tests failed out of 4291

Label Time Summary:
api capi      =   0.18 sec*proc (7 tests)
api cppapi    =   4.69 sec*proc (70 tests)
regress0      = 815.38 sec*proc (2540 tests)
regress1      = 709.94 sec*proc (1468 tests)
regress2      = 211.87 sec*proc (145 tests)
regress3      = 1082.17 sec*proc (51 tests)
regress4      = 663.37 sec*proc (10 tests)

Total Test time (real) = 347.30 sec

The following tests did not run:
        ... 52 skipped regress0 tests ...

The following tests FAILED:
        4157 - regress3/bags/reduce_constants_dup.smt2 (Failed)  regress3


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 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.1 pkgsrc/math/cvc5/Makefile:1.2
--- pkgsrc/math/cvc5/Makefile:1.1       Thu Jul  2 23:20:47 2026
+++ pkgsrc/math/cvc5/Makefile   Thu Jul  2 23:52:13 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.1 2026/07/02 23:20:47 alnsn Exp $
+# $NetBSD: Makefile,v 1.2 2026/07/02 23:52:13 alnsn Exp $
 
 DISTNAME=      cvc5-1.3.4
 CATEGORIES=    math
@@ -23,9 +23,10 @@ DEPENDS+=    ${PYPKGPREFIX}-pyparsing>=3.0.
 
 # Tests take a long time to finish, you can instead
 # run them inside a sandboxed shell and pass -j N:
-# make install
 # make build-env
-# cd cmake-pkgsrc-build && ctest -j 32
+# cd cmake-pkgsrc-build
+# export LD_LIBRARY_PATH=$(pwd)/src:$(pwd)/src/parser:$(pwd)/src/main
+# ctest -j 32
 # ^D
 #TEST_TARGET=  test