[gentoo-commits] repo/gentoo:master commit in: app-emacs/boogie-friends/, app-emacs/boogie-friends/files/

[Maciej Barć]

commit:     a2cda2615547ec5365becb55ef6bd4596cce31cf
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Oct 30 11:15:34 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Oct 30 11:29:58 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a2cda261

app-emacs/boogie-friends: bump to 0.1_p20220922

2022.09.22 snapshot

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 app-emacs/boogie-friends/Manifest                  |  1 +
 .../boogie-friends-0.1_p20220922.ebuild            | 49 ++++++++++++++++++++++
 .../files/boogie-friends-flycheck-dfy-exe.patch    | 11 +++++
 3 files changed, 61 insertions(+)

diff --git a/app-emacs/boogie-friends/Manifest b/app-emacs/boogie-friends/Manifest
index 14232b33f7ef..87f2628d03e9 100644
--- a/app-emacs/boogie-friends/Manifest
+++ b/app-emacs/boogie-friends/Manifest
@@ -1 +1,2 @@
 DIST boogie-friends-0.1_p20210703.tar.gz 410267 BLAKE2B dd00a175e1a5f11916b35f852e90b4cbb6f5f59947075efd1b12b5bea341731a0cba3ba7f42d515d2b8600a96d52d1f2b51ee4fe68274df5e00993443ebc4ecd SHA512 23488a452bd1baa1bc562efe3f7b53b94d58e4bc542a6c3d7c1baa255d379dd056c0cb4168e1d79caaaf746426f612aa5dea1e545931c549dcd0fa3f50751324
+DIST boogie-friends-0.1_p20220922.tar.gz 411351 BLAKE2B ca5b500f009254ee07199c538c0372756599b1ba89e735ee19a007233a181b6cad148eda13a8c1e7ebd604e882808e2daa8743b3cdcb0f5f71d46f3f2a91cb5f SHA512 4d76a31335dd795617106421dbc9c4833e93831fb9235d34a371aac7c1f68920798b43d9034ff3ca99e8bb20d645c5b7134d60cd46fc111ff2f92984613f8b4a

diff --git a/app-emacs/boogie-friends/boogie-friends-0.1_p20220922.ebuild b/app-emacs/boogie-friends/boogie-friends-0.1_p20220922.ebuild
new file mode 100644
index 000000000000..df8519fe6a52
--- /dev/null
+++ b/app-emacs/boogie-friends/boogie-friends-0.1_p20220922.ebuild
@@ -0,0 +1,49 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=8d1bafab5dffc3c63324b5306503943e67497ddc
+
+inherit elisp
+
+DESCRIPTION="Emacs tools for interacting with Boogie, Dafny and Z3 (SMT2)"
+HOMEPAGE="https://github.com/boogie-org/boogie-friends/"
+SRC_URI="https://github.com/boogie-org/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz"
+S="${WORKDIR}/${PN}-${H}/emacs"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64"
+RESTRICT="test"  # broken tests - no "tests.dfy" file
+
+RDEPEND="
+	app-emacs/company-mode
+	app-emacs/dash
+	app-emacs/flycheck
+	app-emacs/yasnippet
+"
+BDEPEND="${RDEPEND}"
+
+PATCHES=(
+	"${FILESDIR}"/${PN}-flycheck-dfy-exe.patch
+	"${FILESDIR}"/${PN}-paths.patch
+)
+
+ELISP_REMOVE="boogie-friends-pkg.el"
+SITEFILE="50${PN}-gentoo.el"
+
+DOCS=( ../README.md pictures )
+
+src_prepare() {
+	elisp_src_prepare
+
+	sed -i "s|@SITEETC@|${EPREFIX}${SITEETC}/${PN}|" ./boogie-friends.el || die
+}
+
+src_install() {
+	elisp_src_install
+
+	insinto "${SITEETC}/${PN}"
+	doins -r etc
+}

diff --git a/app-emacs/boogie-friends/files/boogie-friends-flycheck-dfy-exe.patch b/app-emacs/boogie-friends/files/boogie-friends-flycheck-dfy-exe.patch
new file mode 100644
index 000000000000..4f297a247244
--- /dev/null
+++ b/app-emacs/boogie-friends/files/boogie-friends-flycheck-dfy-exe.patch
@@ -0,0 +1,11 @@
+--- a/dafny-mode.el
++++ b/dafny-mode.el
+@@ -553,7 +553,7 @@ open Dafny buffers."
+ 
+ (flycheck-define-command-checker 'dafny
+   "Flycheck checker for the Dafny programming language."
+-  :command '("Dafny" (eval (boogie-friends-compute-prover-args)) source-inplace)
++  :command '("dafny" (eval (boogie-friends-compute-prover-args)) source-inplace)
+   :error-patterns boogie-friends-error-patterns
+   :error-filter #'dafny-error-filter
+   :predicate #'dafny-predicate