diff options
Diffstat (limited to 'dev-embedded')
| -rw-r--r-- | dev-embedded/arduino-ctags/arduino-ctags-20161123.ebuild | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/dev-embedded/arduino-ctags/arduino-ctags-20161123.ebuild b/dev-embedded/arduino-ctags/arduino-ctags-20161123.ebuild deleted file mode 100644 index 2e0a463f1c00..000000000000 --- a/dev-embedded/arduino-ctags/arduino-ctags-20161123.ebuild +++ /dev/null @@ -1,30 +0,0 @@ -# Copyright 1999-2018 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -COMMITHASH="abc8fca7499f44c725122881cd380a88c37abe0e" - -DESCRIPTION="Arduino private fork of dev-util/ctags" -HOMEPAGE="https://github.com/arduino/ctags" -SRC_URI="https://github.com/arduino/ctags/archive/${COMMITHASH}.tar.gz -> ${P}.tar.gz" - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="amd64 x86" - -S="${WORKDIR}/ctags-${COMMITHASH}" - -src_configure() { - econf \ - --disable-readlib \ - --disable-etags \ - --enable-tmpdir="${EPREFIX}"/tmp -} - -src_install() { - # This package compiles into a "ctags" executable, but don't want to clash into - # actually legitimate ctags implementations. - mv ctags arduino-ctags - dobin arduino-ctags -} |