[PR PATCH] New package: souffle-2.4.1

[PR PATCH] New package: souffle-2.4.1

[MIvanchev]

[-- Attachment #1: Type: text/plain, Size: 668 bytes --]

There is a new pull request by MIvanchev against master on the void-packages repository

https://github.com/MIvanchev/void-packages ci-souffle
https://github.com/void-linux/void-packages/pull/51767

New package: souffle-2.4.1
#### Testing the changes
- I tested the changes in this PR: **YES**

#### New package
- This new package conforms to the [package requirements](https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#package-requirements): **YES**

#### Local build testing
- I built this PR locally for my native architecture, (X86_64-GLIBC)


A patch file from https://github.com/void-linux/void-packages/pull/51767.patch is attached

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-ci-souffle-51767.patch --]
[-- Type: text/x-diff, Size: 1616 bytes --]

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
+}

Re: New package: souffle-2.4.1

[github-actions]

[-- Attachment #1: Type: text/plain, Size: 305 bytes --]

New comment by github-actions[bot] on void-packages repository

https://github.com/void-linux/void-packages/pull/51767#issuecomment-2466546107

Comment:
Pull Requests become stale 90 days after last activity and are closed 14 days after that.  If this pull request is still relevant bump it or assign it.

Re: New package: souffle-2.4.1

[MIvanchev]

[-- Attachment #1: Type: text/plain, Size: 148 bytes --]

New comment by MIvanchev on void-packages repository

https://github.com/void-linux/void-packages/pull/51767#issuecomment-2466709404

Comment:
Bump

Re: New package: souffle-2.4.1

[github-actions]

[-- Attachment #1: Type: text/plain, Size: 305 bytes --]

New comment by github-actions[bot] on void-packages repository

https://github.com/void-linux/void-packages/pull/51767#issuecomment-2646024440

Comment:
Pull Requests become stale 90 days after last activity and are closed 14 days after that.  If this pull request is still relevant bump it or assign it.

Re: New package: souffle-2.4.1

[MIvanchev]

[-- Attachment #1: Type: text/plain, Size: 149 bytes --]

New comment by MIvanchev on void-packages repository

https://github.com/void-linux/void-packages/pull/51767#issuecomment-2646155608

Comment:
Bump.

Re: New package: souffle-2.4.1

[github-actions]

[-- Attachment #1: Type: text/plain, Size: 305 bytes --]

New comment by github-actions[bot] on void-packages repository

https://github.com/void-linux/void-packages/pull/51767#issuecomment-2869346086

Comment:
Pull Requests become stale 90 days after last activity and are closed 14 days after that.  If this pull request is still relevant bump it or assign it.

Re: [PR PATCH] [Closed]: New package: souffle-2.4.1

[github-actions]

[-- Attachment #1: Type: text/plain, Size: 510 bytes --]

There's a closed pull request on the void-packages repository

New package: souffle-2.4.1
https://github.com/void-linux/void-packages/pull/51767

Description:
#### Testing the changes
- I tested the changes in this PR: **YES**

#### New package
- This new package conforms to the [package requirements](https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#package-requirements): **YES**

#### Local build testing
- I built this PR locally for my native architecture, (X86_64-GLIBC)