|
Lines 2-22
Link Here
|
| 2 |
# $FreeBSD$ |
2 |
# $FreeBSD$ |
| 3 |
|
3 |
|
| 4 |
PORTNAME= clasp |
4 |
PORTNAME= clasp |
| 5 |
PORTVERSION= 3.1.3 |
5 |
DISTVERSION= 3.3.3 |
| 6 |
CATEGORIES= math devel |
6 |
CATEGORIES= math devel |
| 7 |
MASTER_SITES= SOURCEFORGE/potassco/${PORTNAME}/${PORTVERSION} |
7 |
MASTER_SITES= https://github.com/potassco/clasp/releases/download/v${DISTVERSION}/ |
| 8 |
EXTRACT_SUFX= -source.tar.gz |
8 |
EXTRACT_SUFX= -source.tar.gz |
| 9 |
|
9 |
|
| 10 |
MAINTAINER= vsevolod@FreeBSD.org |
10 |
MAINTAINER= vsevolod@FreeBSD.org |
| 11 |
COMMENT= Answer set solver for (extended) normal logic programs |
11 |
COMMENT= Answer set solver for (extended) normal logic programs |
| 12 |
|
12 |
|
|
|
13 |
LICENSE= MIT |
| 14 |
LICENSE_FILE= ${WRKSRC}/LICENSE |
| 15 |
|
| 13 |
BROKEN_sparc64= Fails to build: internal compiler error |
16 |
BROKEN_sparc64= Fails to build: internal compiler error |
| 14 |
|
17 |
|
| 15 |
USES= cmake:outsource |
18 |
USES= cmake:outsource |
|
|
19 |
USE_LDCONFIG= ${PREFIX}/lib/clasp-${DISTVERSION} ${PREFIX}/lib/potassco-1.0 |
| 16 |
|
20 |
|
| 17 |
PLIST_FILES= bin/${PORTNAME} |
21 |
CMAKE_ARGS= -DCLASP_INSTALL_LIB:BOOL=ON \ |
|
|
22 |
-DBUILD_SHARED_LIBS:BOOL=ON |
| 18 |
|
23 |
|
| 19 |
do-install: |
24 |
PLIST_SUB= DISTVERSION=${DISTVERSION} PVER=1.0 |
| 20 |
${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/bin/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME} |
|
|
| 21 |
|
25 |
|
| 22 |
.include <bsd.port.mk> |
26 |
.include <bsd.port.mk> |