diff options
Diffstat (limited to 'sci-mathematics/bedwyr/bedwyr-1.3_rc2.ebuild')
-rw-r--r-- | sci-mathematics/bedwyr/bedwyr-1.3_rc2.ebuild | 96 |
1 files changed, 96 insertions, 0 deletions
diff --git a/sci-mathematics/bedwyr/bedwyr-1.3_rc2.ebuild b/sci-mathematics/bedwyr/bedwyr-1.3_rc2.ebuild new file mode 100644 index 0000000..3ba776e --- /dev/null +++ b/sci-mathematics/bedwyr/bedwyr-1.3_rc2.ebuild @@ -0,0 +1,96 @@ +# Copyright 1999-2012 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI=4 + +inherit eutils autotools + +MY_PV="${PV/_/-}" +TARBALL_NAME="bedwyr-${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/30289/${TARBALL_NAME}.tar.bz2" + +LICENSE="GPL-2" +SLOT="1" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt vim-syntax emacs -tac -spec +rlwrap ledit debug doc" + +DEPEND=">=dev-lang/ocaml-3.10.0[ocamlopt?] +doc? ( virtual/latex-base dev-texlive/texlive-latexextra dev-tex/hevea ) +sys-devel/autoconf +~sci-mathematics/ndcore-${PV}[ocamlopt?]" +RDEPEND="${DEPEND} +rlwrap? ( app-misc/rlwrap ) +ledit? ( app-misc/ledit ) +vim-syntax? ( >=app-editors/vim-7 ) +emacs? ( virtual/emacs ) +tac? ( sci-mathematics/tac ) +spec? ( sci-mathematics/spec )" + +S="${WORKDIR}/${TARBALL_NAME}" + + +#pkg_setup() + +#src_unpack () { +# unpack ${A} +# rpm_src_unpack ${A} +#} + +src_prepare() { + eautoconf +} + +src_configure() { +# local myconf="--prefix=${EPREFIX}/media/devel/chroot" + local myconf="" + + econf $myconf \ + $(use_enable ocamlopt nativecode) \ + $(use_enable debug) \ + $(use_enable doc) +# ./configure \ +# --prefix=/usr/local \ +# --infodir=/usr/share/info \ +# --mandir=/usr/share/man || die +} + +src_compile() { + emake TARGET="${PN}" + emake TARGET="${PN}" doc +} + +src_test() { + emake TARGET="${PN}" test +} + +src_install() { + emake TARGET="${PN}" DESTDIR="${D}" install + #emake \ + # prefix="${D}"/usr/local \ + # mandir="${D}"/usr/share/man \ + # infodir="${D}"/usr/share/info \ + # libdir="${D}"/usr/$(get_libdir) \ + # install || die + #einstall || die "install failed" +} + +#pkg_preinst() + +pkg_postinst() { + einfo "Please read the doc. And don't hesitate to comment." + + use rlwrap && einfo "Add \"alias bedwyr='rlwrap bedwyr'\" to ~/.alias" \ + && einfo "to ease use (readline version)." + use ledit && einfo "Add \"alias bedwyr='ledit -h ~/.bedwyr_history bedwyr'\"" \ + && einfo "to ~/.alias to ease use (ledit version)." +} + +#pkg_prerm() + +#pkg_postrm() + +#pkg_config() |