# Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org>
# $FreeBSD: head/math/aspcud/Makefile 467711 2018-04-18 13:57:42Z jbeich $

PORTNAME=	aspcud
PORTVERSION=	1.9.1
DISTVERSIONSUFFIX=	-source
PORTREVISION=	9
CATEGORIES=	math ports-mgmt sysutils
MASTER_SITES=	SOURCEFORGE/potassco/${PORTNAME}/${PORTVERSION}

MAINTAINER=	vsevolod@FreeBSD.org
COMMENT=	Advanced solver for package dependencies

LICENSE=	GPLv3

BUILD_DEPENDS=	re2c:devel/re2c
LIB_DEPENDS=	libboost_thread.so:devel/boost-libs
RUN_DEPENDS=	gringo:math/gringo \
		clasp:math/clasp \
		bash:shells/bash

USES=	compiler:c++11-lang cmake:outsource python:run

CMAKE_ARGS+=	-DCMAKE_INSTALL_MANDIR=${MANPREFIX}/man

.include <bsd.port.mk>
