diff options
Diffstat (limited to 'sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild')
-rw-r--r-- | sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild | 88 |
1 files changed, 88 insertions, 0 deletions
diff --git a/sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild b/sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild new file mode 100644 index 0000000..93628db --- /dev/null +++ b/sci-mathematics/bedwyr/bedwyr-1.4_alpha9.ebuild @@ -0,0 +1,88 @@ +# Copyright 1999-2013 Quentin Heath +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI=4 + +inherit eutils autotools + +SLOT="1" +MY_PV="${PV/_/-}" +TARBALL_NAME="${PN}-${MY_PV}" + +DESCRIPTION="Bedwyr, the not-so-sound logician" +HOMEPAGE="http://slimmer.gforge.inria.fr/bedwyr/" +SRC_URI="https://gforge.inria.fr/frs/download.php/32337/${TARBALL_NAME}.tbz" + +LICENSE="GPL-2" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt vim-syntax +rlwrap ledit debug doc" + +DEPEND=">=dev-lang/ocaml-3.11.0[ocamlopt?] +doc? ( app-text/texlive[extra] dev-tex/hevea dev-tex/mathpartir ) +>=sys-devel/autoconf-2.60 +!sci-mathematics/ndcore" +RDEPEND="${DEPEND} +rlwrap? ( app-misc/rlwrap ) +ledit? ( app-misc/ledit ) +vim-syntax? ( >=app-editors/vim-7 )" + +S="${WORKDIR}/${TARBALL_NAME}" + + +#pkg_setup() + +#src_unpack() + +src_prepare() { + epatch "${FILESDIR}/${TARBALL_NAME}-handle-empty-wildcard-lists.patch" + eautoconf +} + +src_configure() { + # TODO at some point, use the emacs, tac and spec flags + local myconf="--no-create" + econf $myconf \ + $(use_enable ocamlopt nativecode) \ + $(use_enable debug) \ + $(use_enable doc) \ + $(use_with vim-syntax vimfiles) +} + +src_compile() { + emake -j1 + use doc && emake -j1 doc +} + +src_test() { + emake -j1 test +} + +src_install() { + emake -j1 DESTDIR="${D}" install + + # fix manpage renaming + rm "${D}/usr/share/man/man1/bedwyr.byte.1.gz" + ln -s "${D}/usr/share/man/man1/bedwyr.1.bz2" bedwyr.byte.1.bz2 + rm "${D}/usr/share/man/man1/bedwyr.native.1.gz" + ln -s "${D}/usr/share/man/man1/bedwyr.1.bz2" bedwyr.native1.bz2 +} + +#pkg_preinst() + +pkg_postinst() { + einfo "Refer to quickstart.html and refman/index.html." + einfo "Any feedack is welcome." + + use rlwrap && einfo \ + "Add \"alias bedwyr='rlwrap -c -Cbedwyr -D2 -g'\\''^(n|y)$'\\'' -m \ +-pgreen -q'\\''\\\"'\\'' bedwyr'\" to ~/.alias." + use ledit && einfo \ + "Add \"alias bedwyr='ledit -h ~/.bedwyr_history bedwyr'\" to ~/.alias." +} + +#pkg_prerm() + +#pkg_postrm() + +#pkg_config() |