summaryrefslogtreecommitdiff
path: root/math/aspcud/Makefile
blob: 73bcd8f8fbc2b3cf028d0de0ebc1daa5a2727730 (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
# Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org>
# $FreeBSD$

PORTNAME=	aspcud
PORTVERSION=	1.9.4
DISTVERSIONPREFIX=     v
PORTREVISION=	5
CATEGORIES=	math ports-mgmt sysutils

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 python:run
USE_GITHUB=	yes
GH_ACCOUNT=	potassco

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

.include <bsd.port.mk>