From b33f788daa287999f4a499be231e0ec329069339 Mon Sep 17 00:00:00 2001 From: "K.I.A.Derouiche" Date: Fri, 6 Nov 2020 21:50:58 +0100 Subject: [PATCH] wip/clasp: update to 3.3.5 --- clasp/Makefile | 16 +++++++++------- clasp/distinfo | 8 ++++---- 2 files changed, 13 insertions(+), 11 deletions(-) diff --git a/clasp/Makefile b/clasp/Makefile index f3b41c3cb0..7888d7294e 100644 --- a/clasp/Makefile +++ b/clasp/Makefile @@ -1,18 +1,20 @@ # $NetBSD$ -DISTNAME= clasp-3.3.4-source +GITHUB_PROJECT= clasp +DISTNAME= clasp-3.3.5-source PKGNAME= ${DISTNAME:S/-source//} -CATEGORIES= math devel +CATEGORIES= devel MASTER_SITES= ${MASTER_SITE_GITHUB:=potassco/} -GITHUB_RELEASE= v3.3.4 +GITHUB_RELEASE= v3.3.5 MAINTAINER= jihbed.research@gmail.com -HOMEPAGE= http://potassco.sourceforge.net/ -COMMENT= Answer set solver for (extended) normal logic programs +HOMEPAGE= https://potassco.org/clasp/ +COMMENT= Answer set solver for normal and disjunctive logic programs LICENSE= mit -WRKSRC= ${WRKDIR}/clasp-3.3.4 -USE_CMAKE= yes +WRKSRC= ${WRKDIR}/clasp-3.3.5 + USE_LANGUAGES= c c++ +USE_CMAKE= yes .include "../../mk/bsd.pkg.mk" diff --git a/clasp/distinfo b/clasp/distinfo index 3e9e41f9c3..13766a838f 100644 --- a/clasp/distinfo +++ b/clasp/distinfo @@ -1,6 +1,6 @@ $NetBSD$ -SHA1 (clasp-3.3.4-source.tar.gz) = 866d312137a38e4703bfe39c167e784f71574af0 -RMD160 (clasp-3.3.4-source.tar.gz) = a09294bad38cb27eb095d98dc91be93319f701b2 -SHA512 (clasp-3.3.4-source.tar.gz) = 7cfb2c9470ac8f7a57b48038e600b02e8b04cd4e923a6c59b58d75dbe114feb41c577688b4945f97c646e975fcf2c3e23578a12e3c97eec4639f558f5fe8595c -Size (clasp-3.3.4-source.tar.gz) = 826644 bytes +SHA1 (clasp-3.3.5-source.tar.gz) = f6eb209a033a67dd2803f9230f0b3f9399163ced +RMD160 (clasp-3.3.5-source.tar.gz) = e5671f78ddc05e049dbfceaad84547d458286206 +SHA512 (clasp-3.3.5-source.tar.gz) = 2b0a877271a92adbb3c16ce0de6b36b9bd5054098e668cee7beb79c4d8eace24a5ecc20e053ba30d8a6b7b0942e229f685b2a71918fe14699a5e1819033b8d79 +Size (clasp-3.3.5-source.tar.gz) = 831051 bytes