blob: 6b79534278890eebbd313b06964d62ac0b79b849 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# Created by: Vsevolod Stakhov <vsevolod@FreeBSD.org>
# $FreeBSD$
PORTNAME= clasp
PORTVERSION= 3.1.0
CATEGORIES= math devel
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
MASTER_SITE_SUBDIR= potassco/${PORTNAME}/${PORTVERSION}
EXTRACT_SUFX= -source.tar.gz
MAINTAINER= vsevolod@FreeBSD.org
COMMENT= Answer set solver for (extended) normal logic programs
USES= cmake:outsource
PLIST_FILES= bin/${PORTNAME}
do-install:
${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/bin/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
.include <bsd.port.mk>
|
