# $NetBSD$

DISTNAME=	clasp-3.3.4-source
PKGNAME=	${DISTNAME:S/-source//}
CATEGORIES=	math devel
MASTER_SITES=	${MASTER_SITE_GITHUB:=potassco/}
GITHUB_RELEASE=	v3.3.4

MAINTAINER=	jihbed.research@gmail.com
HOMEPAGE=	https://potassco.sourceforge.net/
COMMENT=	Answer set solver for (extended) normal logic programs
LICENSE=	mit

WRKSRC=		${WRKDIR}/clasp-3.3.4
USE_CMAKE=	yes
USE_LANGUAGES=	c c++

.include "../../mk/bsd.pkg.mk"