diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-08-11 18:04:34 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-08-11 18:41:31 +0200 |
| commit | 3ac293cf6b53cb3d557d67a4e79c9dd38866dd1c (patch) | |
| tree | f6c3bd597de763398d4f233507ebed2ceaa259d9 | |
| parent | app-emacs/bnf-mode: drop old 0.4.5_pre20220102 (diff) | |
| download | gentoo-3ac293cf6b53cb3d557d67a4e79c9dd38866dd1c.tar.gz gentoo-3ac293cf6b53cb3d557d67a4e79c9dd38866dd1c.tar.bz2 gentoo-3ac293cf6b53cb3d557d67a4e79c9dd38866dd1c.zip | |
app-emacs/boogie-friends: drop old 0.1_p20210703
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
| -rw-r--r-- | app-emacs/boogie-friends/Manifest | 1 | ||||
| -rw-r--r-- | app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild | 46 |
2 files changed, 0 insertions, 47 deletions
diff --git a/app-emacs/boogie-friends/Manifest b/app-emacs/boogie-friends/Manifest index 87f2628d03e9..f68b97ec04aa 100644 --- a/app-emacs/boogie-friends/Manifest +++ b/app-emacs/boogie-friends/Manifest @@ -1,2 +1 @@ -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_p20210703.ebuild b/app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild deleted file mode 100644 index 00b3e7f9f68a..000000000000 --- a/app-emacs/boogie-friends/boogie-friends-0.1_p20210703.ebuild +++ /dev/null @@ -1,46 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -COMMIT=1e3b6a8aee9fa7c113468838c5b647080caf3703 - -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/${COMMIT}.tar.gz -> ${P}.tar.gz" -S="${WORKDIR}/${PN}-${COMMIT}/emacs" - -LICENSE="MIT" -SLOT="0" -KEYWORDS="~amd64" -RESTRICT="test" # cask and dafny are needed for tests - -RDEPEND=" - app-emacs/company-mode - app-emacs/dash - app-emacs/flycheck - app-emacs/yasnippet -" -BDEPEND="${RDEPEND}" - -PATCHES=( "${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 -} |