From 9ca1bfe953be13aa16102f7eed156eb5dbc6106d Mon Sep 17 00:00:00 2001
From: Mihail Ivanchev <contact@ivanchev.net>
Date: Sun, 28 Jul 2024 10:01:06 +0200
Subject: [PATCH] New package: souffle-2.4.1

---
 srcpkgs/souffle/template | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 srcpkgs/souffle/template

diff --git a/srcpkgs/souffle/template b/srcpkgs/souffle/template
new file mode 100644
index 00000000000000..5aee1e5a604ee0
--- /dev/null
+++ b/srcpkgs/souffle/template
@@ -0,0 +1,30 @@
+# Template file for 'souffle'
+pkgname=souffle
+version=2.4.1
+revision=1
+build_style=cmake
+configure_args="-DCMAKE_BUILD_TYPE=Release \
+ -DSOUFFLE_GIT=OFF \
+ -DSOUFFLE_VERSION=${version} \
+ -DPACKAGE_VERSION=${version}"
+hostmakedepends="python3 flex"
+makedepends="ncurses-devel zlib-devel sqlite-devel libffi-devel libgomp-devel"
+short_desc="Variant of Datalog for tool designers crafting analyses in Horn clauses"
+maintainer="Mihail Ivanchev <contact@ivanchev.net>"
+license="UPL-1.0"
+homepage="https://github.com/souffle-lang/souffle"
+distfiles="https://github.com/souffle-lang/souffle/archive/refs/tags/${version}.tar.gz"
+checksum=08d9b19cb4a8f570ac75dea73016b6a326d87ac28fccd4afeba217ace2071587
+
+case "$XBPS_TARGET_MACHINE" in
+	i686*) broken="It's currently unclear whether Souffle is supported on i686: https://github.com/souffle-lang/souffle/issues/2502" ;;
+esac
+
+post_patch() {
+	# https://github.com/souffle-lang/souffle/issues/2503
+	vsed -i tests/syntactic/CMakeLists.txt -e 's/positive_test(cpp_keywords)/#&/'
+}
+
+post_install() {
+	vlicense LICENSE
+}