summaryrefslogtreecommitdiff
path: root/app-emacs
diff options
context:
space:
mode:
Diffstat (limited to 'app-emacs')
-rw-r--r--app-emacs/Manifest.gzbin62607 -> 62606 bytes
-rw-r--r--app-emacs/boogie-friends/Manifest7
-rw-r--r--app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild (renamed from app-emacs/boogie-friends/boogie-friends-20210703.ebuild)0
-rw-r--r--app-emacs/boogie-friends/boogie-friends-0.1_p20220922.ebuild49
-rw-r--r--app-emacs/boogie-friends/files/boogie-friends-flycheck-dfy-exe.patch11
5 files changed, 65 insertions, 2 deletions
diff --git a/app-emacs/Manifest.gz b/app-emacs/Manifest.gz
index 0370c5f13b96..d000f9e6c115 100644
--- a/app-emacs/Manifest.gz
+++ b/app-emacs/Manifest.gz
Binary files differ
diff --git a/app-emacs/boogie-friends/Manifest b/app-emacs/boogie-friends/Manifest
index ddb30d86b500..31be6fe34454 100644
--- a/app-emacs/boogie-friends/Manifest
+++ b/app-emacs/boogie-friends/Manifest
@@ -1,5 +1,8 @@
AUX 50boogie-friends-gentoo.el 468 BLAKE2B aa47d15fbff7c60b4997a1d857066cc0451217d035a59c65f291afd13093df64001aa3619e5b10bc0f8424d0469e5882737b2c875e16f78b2b0235d6fe7b2191 SHA512 051ded39d076ffd0c10bf22a27e58f066c61e022fa62c2da00436be140a6f5b2cf32a371911761994ca0d16dea06a6a0b5e960f890cf3cf939a46e910c65797d
+AUX boogie-friends-flycheck-dfy-exe.patch 465 BLAKE2B b7f67a31d7842c974ba8d12edfd7a0d50f6d77b2b6c07548835a1f114e0bc3c07deb7315de2febdfb8a79341ef1da13a53d13fe26be0b2582b1739b12db5ebc5 SHA512 934f28a70f5e29ab1b44cef3d8aa21a349705da10c7bdee180605cdf96f0243bf79ae8953cfb2bdddd5ecabc046de8738717c0884f3c792a3ab7c20a1d0a8576
AUX boogie-friends-paths.patch 451 BLAKE2B 5a964d94d6e2c7d491942d9ca7a6cd9ed84efd678a3db73e9dabbe64dbc11311f7ecd1b4711c0507cfde503d60f3607ebe13d6402fb30f796da8c7c3ba2f4fca SHA512 1697d0268c624f47e0f89314a51cedd63cd42d6cb0b0184118307258dd3e01ece26185386b152f67520c364f568bac296161ce4e46d6a3397da6cb5f555dfbd5
-DIST boogie-friends-20210703.tar.gz 410267 BLAKE2B dd00a175e1a5f11916b35f852e90b4cbb6f5f59947075efd1b12b5bea341731a0cba3ba7f42d515d2b8600a96d52d1f2b51ee4fe68274df5e00993443ebc4ecd SHA512 23488a452bd1baa1bc562efe3f7b53b94d58e4bc542a6c3d7c1baa255d379dd056c0cb4168e1d79caaaf746426f612aa5dea1e545931c549dcd0fa3f50751324
-EBUILD boogie-friends-20210703.ebuild 970 BLAKE2B f1420420e41a01e769d7a63ec3170f03f24d48279962d3c43d37bd3b75f9d7c45a0c2e5e9d62be9ba8eb1ed2071aba66f8b3c7930caf332fe57805242fdce5e1 SHA512 ea33ddffc2620e6479f2b1632dfcc247b944958f9b9f60f229166cb4475aabd0671855eac06bda9aaa6d2dac505bffddc5f577b81114daa24e0ff7a7b1c4ecc0
+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
+EBUILD boogie-friends-0.1_p20210703.ebuild 970 BLAKE2B f1420420e41a01e769d7a63ec3170f03f24d48279962d3c43d37bd3b75f9d7c45a0c2e5e9d62be9ba8eb1ed2071aba66f8b3c7930caf332fe57805242fdce5e1 SHA512 ea33ddffc2620e6479f2b1632dfcc247b944958f9b9f60f229166cb4475aabd0671855eac06bda9aaa6d2dac505bffddc5f577b81114daa24e0ff7a7b1c4ecc0
+EBUILD boogie-friends-0.1_p20220922.ebuild 1014 BLAKE2B 03cbbe906bfaa172f7bd0a07d334c7a6547016002301a91b01680ee9ec308442cedfffaf151fc7bf114ad68c362992ec05c00e8310014f881f99a78ffffe857f SHA512 27d4b86d21580bf3848690a7efeb8f003b298b2293d28cebf310c3c87cae05ebf5a41e4aa6e93322e373959eef232ca9f67790058ffbfee97317127d12887012
MISC metadata.xml 667 BLAKE2B a08efa1145ce0d914e3e588bdf8c8380318ba958709cf725422d5ab66f9a170421babaf874db640c7589499baac3354e6355a9f0cbafb21c77dadaa4ca89bfb2 SHA512 307a812a135acd79f9bb4efb22a1ae1e7010b797afab63486ff7468cfd4da10113d845e863857d4a6b7c95204b18ee69126e961bc93ed6103f2bdf3c4e8534a3
diff --git a/app-emacs/boogie-friends/boogie-friends-20210703.ebuild b/app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild
index 76b9981351b5..76b9981351b5 100644
--- a/app-emacs/boogie-friends/boogie-friends-20210703.ebuild
+++ b/app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild
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