1 files changed, 85 insertions, 0 deletions
diff --git a/sci-mathematics/bedwyr/bedwyr-1.4_beta9.ebuild b/sci-mathematics/bedwyr/bedwyr-1.4_beta9.ebuild
new file mode 100644
index 0000000..74c0798
--- /dev/null
+++ b/sci-mathematics/bedwyr/bedwyr-1.4_beta9.ebuild
@@ -0,0 +1,85 @@
+# Copyright 2012-2015 Quentin Heath
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI=4
+
+inherit eutils autotools
+
+SLOT="1"
+MY_PV1="${PV/_alpha/~alpha}"
+MY_PV2="${MY_PV1/_beta/~beta}"
+MY_PV3="${MY_PV2/_/-}"
+TARBALL_NAME="${PN}-${MY_PV3}"
+
+DESCRIPTION="Bedwyr, the not-so-sound logician"
+HOMEPAGE="http://slimmer.gforge.inria.fr/bedwyr/"
+SRC_URI="http://slimmer.gforge.inria.fr/releases/debian/pool/main/b/bedwyr/bedwyr_1.4~beta9.orig.tar.gz"
+
+LICENSE="GPL-2"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt vim-syntax +rlwrap ledit debug doc test"
+
+DEPEND=">=dev-lang/ocaml-3.11.0[ocamlopt?]
+doc? ( app-text/texlive[extra] dev-tex/hevea dev-tex/mathpartir app-text/ghostscript-gpl )
+test? ( dev-ml/ounit )
+dev-ml/xmlm
+>=sys-devel/autoconf-2.60"
+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}/..."
+	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."
+}
+
+#pkg_prerm()
+
+#pkg_postrm()
+
+#pkg_config()