Subject: CVS commit: pkgsrc/math/yices2
From: Thomas Klausner
Date: 2025-01-27 21:32:17
Message id: 20250127203217.6ADBBFBE0@cvs.NetBSD.org
Log Message:
yices2: only build the dynamic files that are actually installed

Fixes build failure (because libgmp.a is not compiled -fPIE).
Files:
RevisionActionfile
1.6modifypkgsrc/math/yices2/Makefile