blob: 74c07982ee6b13feef53f036af753569ba17dddf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
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()
|
GitWeb