Index: math/clasp/Makefile
===================================================================
--- math/clasp/Makefile	(revision 458697)
+++ math/clasp/Makefile	(working copy)
@@ -2,21 +2,25 @@
 # $FreeBSD$
 
 PORTNAME=	clasp
-PORTVERSION=	3.1.3
+DISTVERSION=	3.3.3
 CATEGORIES=	math devel
-MASTER_SITES=	SOURCEFORGE/potassco/${PORTNAME}/${PORTVERSION}
+MASTER_SITES=	https://github.com/potassco/clasp/releases/download/v${DISTVERSION}/
 EXTRACT_SUFX=	-source.tar.gz
 
 MAINTAINER=	vsevolod@FreeBSD.org
 COMMENT=	Answer set solver for (extended) normal logic programs
 
+LICENSE=	MIT
+LICENSE_FILE=	${WRKSRC}/LICENSE
+
 BROKEN_sparc64=	Fails to build: internal compiler error
 
-USES=	cmake:outsource
+USES=		cmake:outsource
+USE_LDCONFIG=	lib/clasp-${DISTVERSION} lib/potassco-1.0
 
-PLIST_FILES=	bin/${PORTNAME}
+CMAKE_ARGS=	-DCLASP_INSTALL_LIB:BOOL=ON \
+		-DBUILD_SHARED_LIBS:BOOL=ON
 
-do-install:
-	${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/bin/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
+PLIST_SUB=	DISTVERSION=${DISTVERSION} PVER=1.0
 
 .include <bsd.port.mk>
Index: math/clasp/distinfo
===================================================================
--- math/clasp/distinfo	(revision 458697)
+++ math/clasp/distinfo	(working copy)
@@ -1,2 +1,3 @@
-SHA256 (clasp-3.1.3-source.tar.gz) = f08684eadfa5ae5efa5c06439edc361b775fc55b7c1a9ca862eda8f5bf7e5f1f
-SIZE (clasp-3.1.3-source.tar.gz) = 520291
+TIMESTAMP = 1515832792
+SHA256 (clasp-3.3.3-source.tar.gz) = 952d1dd7a0f79a846e0c09a4edc8a03b9bf2f9e33cb67a2ef371257d438910f3
+SIZE (clasp-3.3.3-source.tar.gz) = 821639
Index: math/clasp/Makefile
===================================================================
--- math/clasp/Makefile	(revision 458697)
+++ math/clasp/Makefile	(working copy)
@@ -2,21 +2,25 @@
 # $FreeBSD$
 
 PORTNAME=	clasp
-PORTVERSION=	3.1.3
+DISTVERSION=	3.3.3
 CATEGORIES=	math devel
-MASTER_SITES=	SOURCEFORGE/potassco/${PORTNAME}/${PORTVERSION}
+MASTER_SITES=	https://github.com/potassco/clasp/releases/download/v${DISTVERSION}/
 EXTRACT_SUFX=	-source.tar.gz
 
 MAINTAINER=	vsevolod@FreeBSD.org
 COMMENT=	Answer set solver for (extended) normal logic programs
 
+LICENSE=	MIT
+LICENSE_FILE=	${WRKSRC}/LICENSE
+
 BROKEN_sparc64=	Fails to build: internal compiler error
 
-USES=	cmake:outsource
+USES=		cmake:outsource
+USE_LDCONFIG=	${PREFIX}/lib/clasp-${DISTVERSION} ${PREFIX}/lib/potassco-1.0
 
-PLIST_FILES=	bin/${PORTNAME}
+CMAKE_ARGS=	-DCLASP_INSTALL_LIB:BOOL=ON \
+		-DBUILD_SHARED_LIBS:BOOL=ON
 
-do-install:
-	${INSTALL_PROGRAM} ${INSTALL_WRKSRC}/bin/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
+PLIST_SUB=	DISTVERSION=${DISTVERSION} PVER=1.0
 
 .include <bsd.port.mk>
Index: math/clasp/distinfo
===================================================================
--- math/clasp/distinfo	(revision 458697)
+++ math/clasp/distinfo	(working copy)
@@ -1,2 +1,3 @@
-SHA256 (clasp-3.1.3-source.tar.gz) = f08684eadfa5ae5efa5c06439edc361b775fc55b7c1a9ca862eda8f5bf7e5f1f
-SIZE (clasp-3.1.3-source.tar.gz) = 520291
+TIMESTAMP = 1515832792
+SHA256 (clasp-3.3.3-source.tar.gz) = 952d1dd7a0f79a846e0c09a4edc8a03b9bf2f9e33cb67a2ef371257d438910f3
+SIZE (clasp-3.3.3-source.tar.gz) = 821639