diff options
Diffstat (limited to 'dev-lang/maude/maude-3.1.ebuild')
| -rw-r--r-- | dev-lang/maude/maude-3.1.ebuild | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/dev-lang/maude/maude-3.1.ebuild b/dev-lang/maude/maude-3.1.ebuild deleted file mode 100644 index 2fa97a9809b1..000000000000 --- a/dev-lang/maude/maude-3.1.ebuild +++ /dev/null @@ -1,65 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit autotools - -MY_P="${P^}" - -DESCRIPTION="High-level specification language for equational and logic programming" -HOMEPAGE="https://maude.cs.uiuc.edu/" -SRC_URI=" - https://maude.cs.illinois.edu/w/images/d/d3/${MY_P}.tar.gz - https://maude.cs.illinois.edu/w/images/0/0a/Full-${MY_P}.zip - doc? ( https://maude.cs.illinois.edu/w/images/6/62/${MY_P}-manual.pdf ) - examples? ( https://maude.cs.illinois.edu/w/images/4/4f/${MY_P}-manual-book-examples.zip )" - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux" -IUSE="doc examples" - -RDEPEND=" - dev-libs/gmp:0=[cxx(+)] - dev-libs/libsigsegv - dev-libs/libtecla - sci-libs/buddy" -DEPEND="${RDEPEND}" -BDEPEND="app-arch/unzip - sys-devel/bison - sys-devel/flex" - -PATCHES=( - "${FILESDIR}/${PN}-2.6-search-datadir.patch" - "${FILESDIR}/${PN}-2.7-AR.patch" - "${FILESDIR}/${PN}-3.1-prll.patch" -) - -src_prepare() { - default - eautoreconf -} - -src_configure() { - local myconf=( - --datadir="${EPREFIX}/usr/share/${PN}" - --without-yices2 - ) - econf "${myconf[@]}" -} - -src_install() { - default - - # install full maude - insinto /usr/share/${PN} - newins "${WORKDIR}"/full-maude${PV//./}.maude full-maude.maude - - # install docs and examples - use doc && dodoc "${DISTDIR}"/${MY_P}-manual.pdf - if use examples; then - dodoc -r "${WORKDIR}"/examples - docompress -x /usr/share/doc/${PF}/examples - fi -} |