# $NetBSD: Makefile,v 1.1.1.1 2019/08/24 22:09:16 alnsn Exp $

PKGNAME=	yices2-2.6.1
DISTNAME=	Yices-${PKGVERSION}
GITHUB_TAG=	${DISTNAME}
CATEGORIES=	math
MASTER_SITES=	${MASTER_SITE_GITHUB:=SRI-CSL/}

MAINTAINER=	alnsn@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 gmake
USE_LANGUAGES=	c
GNU_CONFIGURE=	yes
USE_GNU_CONFIGURE_HOST=	no

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"