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