From owner-svn-ports-all@freebsd.org Fri Jun 19 14:02:11 2020 Return-Path: Delivered-To: svn-ports-all@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 963DC34C553; Fri, 19 Jun 2020 14:02:11 +0000 (UTC) (envelope-from vsevolod@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 49pL8g3YsTz47nd; Fri, 19 Jun 2020 14:02:11 +0000 (UTC) (envelope-from vsevolod@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 759D31C261; Fri, 19 Jun 2020 14:02:11 +0000 (UTC) (envelope-from vsevolod@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id 05JE2B0o096068; Fri, 19 Jun 2020 14:02:11 GMT (envelope-from vsevolod@FreeBSD.org) Received: (from vsevolod@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id 05JE2B9o096066; Fri, 19 Jun 2020 14:02:11 GMT (envelope-from vsevolod@FreeBSD.org) Message-Id: <202006191402.05JE2B9o096066@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: vsevolod set sender to vsevolod@FreeBSD.org using -f From: Vsevolod Stakhov Date: Fri, 19 Jun 2020 14:02:11 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r539611 - head/math/clasp X-SVN-Group: ports-head X-SVN-Commit-Author: vsevolod X-SVN-Commit-Paths: head/math/clasp X-SVN-Commit-Revision: 539611 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.33 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 19 Jun 2020 14:02:11 -0000 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@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