blob: 16fd9f6b21b7a462379358c0fa252e3ec6a0b14d (
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= 2.1.3
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} ${INSTALL_WRKSRC}/bin/${PORTNAME} ${PREFIX}/bin/${PORTNAME}
.include <bsd.port.mk>
|
