Summary: | sci-mathematics/agda-1.0.2-r2 should unconditionally depend on emacs | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Ulrich Müller <ulm> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | emacs, haskell |
Priority: | High | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: | proposed fix for ebuild |
Description
Ulrich Müller
![]() Looks like this package won't build at all without GNU Emacs being present. Therefore, the emacs USE flag should be removed and the dependency on emacs made mandatory. Created attachment 246875 [details, diff]
proposed fix for ebuild
in cvs. thanks. |