blob: 1a112595582e461bb3ce8c89b589d23d4d4012e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
# $NetBSD: Makefile,v 1.4 2020/07/13 19:45:45 alnsn Exp $
PKGNAME= yices2-2.6.1
DISTNAME= Yices-${PKGVERSION}
GITHUB_TAG= ${DISTNAME}
CATEGORIES= math
MASTER_SITES= ${MASTER_SITE_GITHUB:=SRI-CSL/}
MAINTAINER= pkgsrc-users@NetBSD.org
HOMEPAGE= https://yices.csl.sri.com/
COMMENT= Yices 2 SMT solver
LICENSE= gnu-gpl-v3
BUILD_DEPENDS+= gperf-[0-9]*:../../devel/gperf
USE_TOOLS+= autoconf bash gmake
USE_LANGUAGES= c
GNU_CONFIGURE= yes
USE_GNU_CONFIGURE_HOST= no
TEST_TARGET= check
REPLACE_BASH+= tests/regress/check.sh
WRKSRC= ${WRKDIR}/yices2-${DISTNAME}
pre-configure:
cd ${WRKSRC} && autoconf
pre-install:
cd ${WRKSRC} && make dist
.include "../../devel/gmp/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
|
