blob: 3ba776e2bad0d6ee13be3c17c35beb773ca28b8e (
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
86
87
88
89
90
91
92
93
94
95
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()
|
GitWeb