|
Line
Link Here
|
| 0 |
-- agda-1.0.2-r2.ebuild~ |
0 |
++ agda-1.0.2-r2.ebuild |
|
Lines 14-22
Link Here
|
| 14 |
LICENSE="MIT" |
14 |
LICENSE="MIT" |
| 15 |
SLOT="0" |
15 |
SLOT="0" |
| 16 |
KEYWORDS="~amd64 ~x86" |
16 |
KEYWORDS="~amd64 ~x86" |
| 17 |
IUSE="emacs" |
17 |
IUSE="" |
| 18 |
|
18 |
|
| 19 |
RDEPEND="emacs? ( virtual/emacs app-emacs/haskell-mode )" |
19 |
RDEPEND="virtual/emacs |
|
|
20 |
app-emacs/haskell-mode" |
| 20 |
DEPEND="${RDEPEND} |
21 |
DEPEND="${RDEPEND} |
| 21 |
dev-lang/ghc |
22 |
dev-lang/ghc |
| 22 |
dev-haskell/mtl" |
23 |
dev-haskell/mtl" |
|
Lines 46-61
Link Here
|
| 46 |
dosym /usr/lib/EmacsAgda/bin/emacsagda /usr/bin/emacsagda |
47 |
dosym /usr/lib/EmacsAgda/bin/emacsagda /usr/bin/emacsagda |
| 47 |
dosym emacsagda /usr/bin/agda |
48 |
dosym emacsagda /usr/bin/agda |
| 48 |
|
49 |
|
| 49 |
if use emacs; then |
50 |
elisp-install ${PN} elisp/agda-mode.el || die |
| 50 |
elisp-install ${PN} elisp/agda-mode.el || die |
51 |
elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die |
| 51 |
elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die |
|
|
| 52 |
fi |
| 53 |
} |
52 |
} |
| 54 |
|
53 |
|
| 55 |
pkg_postinst() { |
54 |
pkg_postinst() { |
| 56 |
use emacs && elisp-site-regen |
55 |
elisp-site-regen |
| 57 |
} |
56 |
} |
| 58 |
|
57 |
|
| 59 |
pkg_postrm() { |
58 |
pkg_postrm() { |
| 60 |
use emacs && elisp-site-regen |
59 |
elisp-site-regen |
| 61 |
} |
60 |
} |
