|
Lines 16-25
Link Here
|
| 16 |
KEYWORDS="~x86 ~amd64" |
16 |
KEYWORDS="~x86 ~amd64" |
| 17 |
IUSE="emacs" |
17 |
IUSE="emacs" |
| 18 |
|
18 |
|
| 19 |
DEPEND="dev-lang/ghc |
19 |
RDEPEND="emacs? ( virtual/emacs app-emacs/haskell-mode )" |
| 20 |
dev-haskell/mtl |
20 |
DEPEND="${RDEPEND} |
| 21 |
emacs? ( virtual/emacs )" |
21 |
dev-lang/ghc |
| 22 |
RDEPEND="" |
22 |
dev-haskell/mtl" |
| 23 |
|
23 |
|
| 24 |
SITEFILE="50${PN}-gentoo.el" |
24 |
SITEFILE="50${PN}-gentoo.el" |
| 25 |
|
25 |
|
|
Lines 39-55
Link Here
|
| 39 |
#if use doc ; then |
39 |
#if use doc ; then |
| 40 |
# emake html |
40 |
# emake html |
| 41 |
#fi |
41 |
#fi |
|
|
42 |
if use emacs; then |
| 43 |
elisp-compile elisp/agda-mode.el || die |
| 44 |
fi |
| 42 |
} |
45 |
} |
| 43 |
|
46 |
|
| 44 |
src_install() { |
47 |
src_install() { |
| 45 |
emake ROOT="${D}" install || die "make install failed" |
48 |
emake -C src ROOT="${D}" install || die "make install failed" |
| 46 |
dosym /usr/lib/EmacsAgda/bin/emacsagda /usr/bin/emacsagda |
49 |
dosym /usr/lib/EmacsAgda/bin/emacsagda /usr/bin/emacsagda |
| 47 |
dosym /usr/bin/emacsagda /usr/bin/agda |
50 |
dosym /usr/bin/emacsagda /usr/bin/agda |
| 48 |
|
51 |
|
| 49 |
if use emacs; then |
52 |
if use emacs; then |
| 50 |
cd "${S}/elisp" |
53 |
elisp-install ${PN} elisp/agda-mode.{el,elc} || die |
| 51 |
elisp-install ${PN} *.el |
54 |
elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die |
| 52 |
elisp-site-file-install "${FILESDIR}"/${SITEFILE} |
|
|
| 53 |
fi |
55 |
fi |
| 54 |
} |
56 |
} |
| 55 |
|
57 |
|
