svn commit: r539611 - head/math/clasp
Vsevolod Stakhov
vsevolod at FreeBSD.org
Fri Jun 19 14:02:11 UTC 2020
Author: vsevolod
Date: Fri Jun 19 14:02:10 2020
New Revision: 539611
URL: https://svnweb.freebsd.org/changeset/ports/539611
Log:
- Update to 3.3.5
- Convert to USE_GITHUB
- Add libpotassco submodule
- Add license
PR: 225130
Reported by: yuri
Modified:
head/math/clasp/Makefile
head/math/clasp/distinfo
Modified: head/math/clasp/Makefile
==============================================================================
--- head/math/clasp/Makefile Fri Jun 19 14:01:43 2020 (r539610)
+++ head/math/clasp/Makefile Fri Jun 19 14:02:10 2020 (r539611)
@@ -2,17 +2,24 @@
# $FreeBSD$
PORTNAME= clasp
-PORTVERSION= 3.1.3
+PORTVERSION= 3.3.5
+DISTVERSIONPREFIX= v
CATEGORIES= math devel
-MASTER_SITES= SOURCEFORGE/potassco/${PORTNAME}/${PORTVERSION}
-EXTRACT_SUFX= -source.tar.gz
MAINTAINER= vsevolod at 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
+
+USE_GITHUB= yes
+GH_ACCOUNT= potassco
+GH_PROJECT= ${PORTNAME}
+GH_TUPLE= potassco:libpotassco:6e31cff:other/libpotassco
PLIST_FILES= bin/${PORTNAME}
Modified: head/math/clasp/distinfo
==============================================================================
--- head/math/clasp/distinfo Fri Jun 19 14:01:43 2020 (r539610)
+++ head/math/clasp/distinfo Fri Jun 19 14:02:10 2020 (r539611)
@@ -1,2 +1,5 @@
-SHA256 (clasp-3.1.3-source.tar.gz) = f08684eadfa5ae5efa5c06439edc361b775fc55b7c1a9ca862eda8f5bf7e5f1f
-SIZE (clasp-3.1.3-source.tar.gz) = 520291
+TIMESTAMP = 1592574784
+SHA256 (potassco-clasp-v3.3.5_GH0.tar.gz) = faae82371f0e590225171217bfaa010e4712ca4edf42d6cbc5268460705af70e
+SIZE (potassco-clasp-v3.3.5_GH0.tar.gz) = 621349
+SHA256 (potassco-libpotassco-6e31cff_GH0.tar.gz) = 3f98761b7d5d141532130d391e2a19b6d4283341660f9572adb61bd2c3bbb56f
+SIZE (potassco-libpotassco-6e31cff_GH0.tar.gz) = 210065
More information about the svn-ports-all
mailing list