CVS commit: pkgsrc/math/yices2

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Mon Jan 27 20:32:17 UTC 2025

Modified Files:
        pkgsrc/math/yices2: Makefile

Log Message:
yices2: only build the dynamic files that are actually installed

Fixes build failure (because libgmp.a is not compiled -fPIE).


To generate a diff of this commit:
cvs rdiff -u -r1.5 -r1.6 pkgsrc/math/yices2/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/yices2/Makefile
diff -u pkgsrc/math/yices2/Makefile:1.5 pkgsrc/math/yices2/Makefile:1.6
--- pkgsrc/math/yices2/Makefile:1.5     Tue Jun  6 12:41:53 2023
+++ pkgsrc/math/yices2/Makefile Mon Jan 27 20:32:17 2025
@@ -1,10 +1,10 @@
-# $NetBSD: Makefile,v 1.5 2023/06/06 12:41:53 riastradh Exp $
+# $NetBSD: Makefile,v 1.6 2025/01/27 20:32:17 wiz Exp $
 
-PKGNAME=       yices2-2.6.1
 DISTNAME=      Yices-${PKGVERSION}
-GITHUB_TAG=    ${DISTNAME}
+PKGNAME=       yices2-2.6.1
 CATEGORIES=    math
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=SRI-CSL/}
+GITHUB_TAG=    ${DISTNAME}
 
 MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
 HOMEPAGE=      https://yices.csl.sri.com/
@@ -17,6 +17,7 @@ USE_TOOLS+=           autoconf bash gmake
 USE_LANGUAGES=         c
 GNU_CONFIGURE=         yes
 USE_GNU_CONFIGURE_HOST=        no
+BUILD_TARGET=          obj lib bin
 TEST_TARGET=           check
 
 REPLACE_BASH+= tests/regress/check.sh