forked from gentoo/gentoo
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
dev-embedded/arduino-ctags: new package
This package is needed for the bump of dev-embedded/arduino to 1.8.5. It uses its own private fork of ctags and when using dev-util/ctags, arduino produces non-functioning executables. Bug: https://bugs.gentoo.org/525882 Package-Manager: Portage-2.3.19, Repoman-2.3.6
- Loading branch information
Showing
3 changed files
with
48 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
DIST arduino-ctags-20161123.tar.gz 490200 BLAKE2B f51b18a0db420124c5fed2b320c16d9eeb96fce6d0f118cf43a8177f88400daaeb83437c3993353c16b73781961c7476e782e66891582f4b3dc5301c73da64dc SHA512 ae5bde92c3dd0b9a179bc1df998f20312c4ab8b2c9c1840dbe543d23fb4531b9e5524f1399d9922ed9b2de4582bdb74635f7ec576a42c808d152c3fbb84f9687 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,30 @@ | ||
# Copyright 1999-2018 Gentoo Foundation | ||
# 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 | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,17 @@ | ||
<?xml version="1.0" encoding="UTF-8"?> | ||
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> | ||
<pkgmetadata> | ||
<maintainer type="project"> | ||
<email>[email protected]</email> | ||
<name>Embedded Gentoo</name> | ||
</maintainer> | ||
<upstream> | ||
<remote-id type="github">arduino/ctags</remote-id> | ||
</upstream> | ||
<longdescription> | ||
Arduino's build process includes a preprocessing phase that involves ctags, | ||
but not any version of ctags, *Arduino's* ctags, a private fork that | ||
Arduino maintains. We can't use dev-util/ctags because it causes Arduino | ||
to produce corrupt executables. | ||
</longdescription> | ||
</pkgmetadata> |