* [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda/files: agda-2.3.0.1-emacs.patch
@ 2012-03-25 13:55 Mark Wright (gienah)
0 siblings, 0 replies; only message in thread
From: Mark Wright (gienah) @ 2012-03-25 13:55 UTC (permalink / raw
To: gentoo-commits
gienah 12/03/25 13:55:20
Added: agda-2.3.0.1-emacs.patch
Log:
Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI=4, [profile?] for haskell lib depends.
(Portage version: 2.1.10.51/cvs/Linux x86_64)
Revision Changes Path
1.1 sci-mathematics/agda/files/agda-2.3.0.1-emacs.patch
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/files/agda-2.3.0.1-emacs.patch?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/files/agda-2.3.0.1-emacs.patch?rev=1.1&content-type=text/plain
Index: agda-2.3.0.1-emacs.patch
===================================================================
--- Agda-2.3.0.1-orig/Agda.cabal 2012-03-12 21:09:34.000000000 +1100
+++ Agda-2.3.0.1/Agda.cabal 2012-03-26 00:07:55.476482395 +1100
@@ -40,7 +40,6 @@
doc/release-notes/*.txt
data-dir: src/data
data-files: Agda.css
- emacs-mode/*.el
EpicInclude/AgdaPrelude.e
EpicInclude/stdagda.c
EpicInclude/stdagda.h
@@ -326,16 +325,3 @@
if impl(ghc >= 7.2)
ghc-options: -fwarn-identities
ghc-prof-options: -auto-all
-
-executable agda-mode
- hs-source-dirs: src/agda-mode
- main-is: Main.hs
- other-modules: Paths_Agda
- if flag(use-locale)
- build-depends: base >= 4.2 && < 4.6
- else
- build-depends: base == 4.1.*,
- utf8-string == 0.3.*
- build-depends: filepath >= 1.1 && < 1.4,
- process >= 1.0.1.0 && < 1.2,
- directory >= 1.0 && < 1.2
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2012-03-25 13:55 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-03-25 13:55 [gentoo-commits] gentoo-x86 commit in sci-mathematics/agda/files: agda-2.3.0.1-emacs.patch Mark Wright (gienah)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox