summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2020-01-14 17:21:13 +0100
committerMichał Górny <mgorny@gentoo.org>2020-01-14 17:21:13 +0100
commitd354c9f9cf786087f213421b42f9c9930f5cd0c4 (patch)
tree1e3bb6b407cc1ea2cf67d9207d876e3c1e4034b7 /dev-lang/opendylan-bin/opendylan-bin-2014.1.ebuild
parentdev-util/cmt: Remove last-rited pkg (diff)
downloadgentoo-d354c9f9cf786087f213421b42f9c9930f5cd0c4.tar.gz
gentoo-d354c9f9cf786087f213421b42f9c9930f5cd0c4.tar.bz2
gentoo-d354c9f9cf786087f213421b42f9c9930f5cd0c4.zip
dev-lang/opendylan-bin: Remove last-rited pkg
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-lang/opendylan-bin/opendylan-bin-2014.1.ebuild')
-rw-r--r--dev-lang/opendylan-bin/opendylan-bin-2014.1.ebuild33
1 files changed, 0 insertions, 33 deletions
diff --git a/dev-lang/opendylan-bin/opendylan-bin-2014.1.ebuild b/dev-lang/opendylan-bin/opendylan-bin-2014.1.ebuild
deleted file mode 100644
index 4ddfd8439d60..000000000000
--- a/dev-lang/opendylan-bin/opendylan-bin-2014.1.ebuild
+++ /dev/null
@@ -1,33 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-DESCRIPTION="OpenDylan language runtime environment (prebuilt)"
-
-MY_PN="opendylan"
-MY_P="${MY_PN}-${PV}"
-HOMEPAGE="http://opendylan.org"
-SRC_URI="amd64? ( http://opendylan.org/downloads/${MY_PN}/${PV}/${MY_P}-x86_64-linux.tar.bz2 )
- x86? ( http://opendylan.org/downloads/${MY_PN}/${PV}/${MY_P}-x86-linux.tar.bz2 )"
-LICENSE="Opendylan"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-
-IUSE=""
-
-DEPEND="dev-libs/boehm-gc"
-RDEPEND="${DEPEND}"
-
-S=${WORKDIR}/${MY_P}
-
-src_configure() { :; }
-src_compile() { :; }
-
-src_install() {
- # this is a precompiled tarball
- mkdir -p "${D}/opt/${MY_P}"
- cp -ar "${S}"/* "${D}/opt/${MY_P}" || die "Failed to copy stuff"
- mkdir -p "${D}/etc/env.d/opendylan"
- echo "export PATH=/opt/opendylan-${PV}/bin:\$PATH" > "${D}/etc/env.d/opendylan/99-opendylan-bin" || die "Failed to add env settings"
-}