View | Details | Raw Unified | Return to bug 225130 | Differences between
and this patch

Collapse All | Expand All

(-)math/clasp/Makefile (-6 / +10 lines)
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=	lib/clasp-${DISTVERSION} 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>
(-)math/clasp/distinfo (-2 / +3 lines)
Lines 1-2 Link Here
1
SHA256 (clasp-3.1.3-source.tar.gz) = f08684eadfa5ae5efa5c06439edc361b775fc55b7c1a9ca862eda8f5bf7e5f1f
1
TIMESTAMP = 1515832792
2
SIZE (clasp-3.1.3-source.tar.gz) = 520291
2
SHA256 (clasp-3.3.3-source.tar.gz) = 952d1dd7a0f79a846e0c09a4edc8a03b9bf2f9e33cb67a2ef371257d438910f3
3
SIZE (clasp-3.3.3-source.tar.gz) = 821639
(-)math/clasp/Makefile (-6 / +10 lines)
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>
(-)math/clasp/distinfo (-2 / +3 lines)
Lines 1-2 Link Here
1
SHA256 (clasp-3.1.3-source.tar.gz) = f08684eadfa5ae5efa5c06439edc361b775fc55b7c1a9ca862eda8f5bf7e5f1f
1
TIMESTAMP = 1515832792
2
SIZE (clasp-3.1.3-source.tar.gz) = 520291
2
SHA256 (clasp-3.3.3-source.tar.gz) = 952d1dd7a0f79a846e0c09a4edc8a03b9bf2f9e33cb67a2ef371257d438910f3
3
SIZE (clasp-3.3.3-source.tar.gz) = 821639

Return to bug 225130