|
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 42-55
Link Here
|
| 42 |
} |
42 |
} |
| 43 |
|
43 |
|
| 44 |
src_install() { |
44 |
src_install() { |
| 45 |
emake ROOT="${D}" install || die "make install failed" |
45 |
emake -C src ROOT="${D}" install || die "make install failed" |
| 46 |
dosym /usr/lib/EmacsAgda/bin/emacsagda /usr/bin/emacsagda |
46 |
dosym /usr/lib/EmacsAgda/bin/emacsagda /usr/bin/emacsagda |
| 47 |
dosym /usr/bin/emacsagda /usr/bin/agda |
47 |
dosym /usr/bin/emacsagda /usr/bin/agda |
| 48 |
|
48 |
|
| 49 |
if use emacs; then |
49 |
if use emacs; then |
| 50 |
cd "${S}/elisp" |
50 |
elisp-install ${PN} elisp/agda-mode.el || die |
| 51 |
elisp-install ${PN} *.el |
51 |
elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die |
| 52 |
elisp-site-file-install "${FILESDIR}"/${SITEFILE} |
|
|
| 53 |
fi |
52 |
fi |
| 54 |
} |
53 |
} |
| 55 |
|
54 |
|
