pkgsrc-Changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: pkgsrc/lang/souffle



Module Name:    pkgsrc
Committed By:   wiz
Date:           Mon Apr 27 10:32:03 UTC 2026

Modified Files:
        pkgsrc/lang/souffle: DESCR Makefile

Log Message:
souffle: add missing tool

Fix pkglint while here


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/lang/souffle/DESCR \
    pkgsrc/lang/souffle/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/lang/souffle/DESCR
diff -u pkgsrc/lang/souffle/DESCR:1.1 pkgsrc/lang/souffle/DESCR:1.2
--- pkgsrc/lang/souffle/DESCR:1.1       Sat Apr 25 22:03:11 2026
+++ pkgsrc/lang/souffle/DESCR   Mon Apr 27 10:32:03 2026
@@ -1,3 +1,3 @@
-Souffle� is a variant of Datalog for tool designers crafting analyses
-in Horn clauses. Souffle� synthesizes a native parallel C++ program
+Souffle is a variant of Datalog for tool designers crafting analyses
+in Horn clauses. Souffle synthesizes a native parallel C++ program
 from a logic specification.
Index: pkgsrc/lang/souffle/Makefile
diff -u pkgsrc/lang/souffle/Makefile:1.1 pkgsrc/lang/souffle/Makefile:1.2
--- pkgsrc/lang/souffle/Makefile:1.1    Sat Apr 25 22:03:11 2026
+++ pkgsrc/lang/souffle/Makefile        Mon Apr 27 10:32:03 2026
@@ -1,16 +1,16 @@
-# $NetBSD: Makefile,v 1.1 2026/04/25 22:03:11 alnsn Exp $
+# $NetBSD: Makefile,v 1.2 2026/04/27 10:32:03 wiz Exp $
 
-DISTNAME=       souffle-2.5
-GITHUB_TAG=     ${PKGVERSION_NOREV}
+DISTNAME=      souffle-2.5
+GITHUB_TAG=    ${PKGVERSION_NOREV}
 CATEGORIES=    lang
-MASTER_SITES=   ${MASTER_SITE_GITHUB:=souffle-lang/}
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=souffle-lang/}
 
 MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
 HOMEPAGE=      https://souffle-lang.github.io/
-COMMENT=       Souffle is a variant of Datalog
+COMMENT=       Variant of Datalog
 LICENSE=       upl-1.0
 
-USE_TOOLS+=            flex bison pkg-config
+USE_TOOLS+=            flex bison pkg-config git
 USE_LANGUAGES=         c c++
 USE_CXX_FEATURES+=     c++17
 PTHREAD_AUTO_VARS=     yes



Home | Main Index | Thread Index | Old Index