blob: 49586fb7b387a3b027d668b099620c9ef81c52fb (
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
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
EAPI=5
# ebuild generated by hackport 0.4.6.9999
CABAL_FEATURES="bin lib profile haddock hoogle hscolour"
inherit haskell-cabal elisp-common
MY_PN="Agda"
MY_P="${MY_PN}-${PV}"
DESCRIPTION="A dependently typed functional programming language and proof assistant"
HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz"
LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE="+cpphs +stdlib emacs"
RDEPEND=">=dev-haskell/binary-0.7.2.1:=[profile?] <dev-haskell/binary-0.8:=[profile?]
>=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile?]
>=dev-haskell/data-hash-0.2.0.0:=[profile?] <dev-haskell/data-hash-0.3:=[profile?]
>=dev-haskell/edit-distance-0.2.1.2:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?]
>=dev-haskell/equivalence-0.2.5:=[profile?] <dev-haskell/equivalence-0.4:=[profile?]
>=dev-haskell/geniplate-mirror-0.6.0.6:=[profile?] <dev-haskell/geniplate-mirror-0.8:=[profile?]
>=dev-haskell/hashable-1.2.1.0:=[profile?] <dev-haskell/hashable-1.3:=[profile?]
>=dev-haskell/haskeline-0.7.1.3:=[profile?] <dev-haskell/haskeline-0.8:=[profile?]
>=dev-haskell/haskell-src-exts-1.16.0.1:=[profile?] <dev-haskell/haskell-src-exts-1.18:=[profile?]
>=dev-haskell/parallel-3.2.0.4:=[profile?] <dev-haskell/parallel-3.3:=[profile?]
>=dev-haskell/quickcheck-2.8:2=[profile?] <dev-haskell/quickcheck-2.9:2=[profile?]
>=dev-haskell/strict-0.3.2:=[profile?] <dev-haskell/strict-0.4:=[profile?]
>=dev-haskell/text-0.11.3.1:=[profile?] <dev-haskell/text-1.3:=[profile?]
>=dev-haskell/transformers-compat-0.3.3.3:=[profile?]
>=dev-haskell/unordered-containers-0.2.5.0:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?]
>=dev-haskell/void-0.5.4:=[profile?] <dev-haskell/void-0.9:=[profile?]
>=dev-haskell/xhtml-3000.2.1:=[profile?] <dev-haskell/xhtml-3000.3:=[profile?]
>=dev-haskell/zlib-0.4.0.1:=[profile?]
>=dev-lang/ghc-7.6.2:=
>=dev-haskell/hashtables-1.0.1.8:=[profile?] <dev-haskell/hashtables-1.3:=[profile?]
>=dev-haskell/mtl-2.1.1:=[profile?] <dev-haskell/mtl-2.3:=[profile?]
>=dev-haskell/transformers-0.3:=[profile?] <dev-haskell/transformers-0.5:=[profile?]
"
RDEPEND+="
emacs? ( app-emacs/haskell-mode
virtual/emacs )
"
PDEPEND="stdlib? ( =sci-mathematics/agda-stdlib-${PV} )"
DEPEND="${RDEPEND}
dev-haskell/alex
>=dev-haskell/cabal-1.16.0
dev-haskell/happy
cpphs? ( dev-haskell/cpphs )
"
RDEPEND+="!sci-mathematics/agda-executable"
SITEFILE="50${PN}2-gentoo.el"
S="${WORKDIR}/${MY_P}"
src_prepare() {
epatch "${FILESDIR}"/${P}-hashtables.patch
sed -e '/.*emacs-mode.*$/d' \
-i "${S}/${MY_PN}.cabal" \
|| die "Could not remove agda-mode from ${MY_PN}.cabal"
sed -e '/^executable agda-mode$/a \ \ buildable: False' \
-i "${S}/${MY_PN}.cabal" \
|| die "Could not remove agda-mode executable from ${MY_PN}.cabal"
cabal_chdeps \
'zlib >= 0.4.0.1 && < 0.6.1' 'zlib >= 0.4.0.1' \
'transformers-compat >= 0.3.3.3 && < 0.5' 'transformers-compat >= 0.3.3.3' \
'build-tools: cpphs >= 1.19 && < 1.20' 'build-tools: cpphs >= 1.19' \
'alex >= 3.1.0 && < 3.2' 'alex >= 3.1.0'
}
src_configure() {
haskell-cabal_src_configure \
$(cabal_flag cpphs cpphs)
}
src_compile() {
if use emacs; then
BYTECOMPFLAGS="-L ./src/data/emacs-mode"
elisp-compile src/data/emacs-mode/*.el \
|| die "Failed to compile emacs mode"
fi
haskell-cabal_src_compile
}
src_test() {
export LD_LIBRARY_PATH="${S}/dist/build${LD_LIBRARY_PATH+:}${LD_LIBRARY_PATH}"
dist/build/agda/agda --test +RTS -M1g || die
}
src_install() {
local add="${ED}"/usr/share/"${P}/ghc-$(ghc-version)"
haskell-cabal_src_install
export LD_LIBRARY_PATH="${S}/dist/build${LD_LIBRARY_PATH+:}${LD_LIBRARY_PATH}"
# generate Primitive.agdai, emulate Setup.hs postinst phase
Agda_datadir="${add}" \
"${ED}"/usr/bin/agda "${add}"/lib/prim/Agda/Primitive.agda \
|| die "Failed to build 'Primitive.agdai'"
if use emacs; then
elisp-install ${PN} src/data/emacs-mode/*.el \
|| die "Failed to install emacs mode"
elisp-site-file-install "${FILESDIR}/${SITEFILE}" \
|| die "Failed to install elisp site file"
fi
}
pkg_postinst() {
haskell-cabal_pkg_postinst
if use emacs; then
elisp-site-regen
fi
}
pkg_postrm() {
haskell-cabal_pkg_postrm
if use emacs; then
elisp-site-regen
fi
}
|
GitWeb