# 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()