[gentoo-commits] gentoo-x86 commit in sci-mathematics/agda/files: 50agda2-gentoo.el agda-2.2.6-emacs.patch

[gentoo-commits] gentoo-x86 commit in sci-mathematics/agda/files: 50agda2-gentoo.el agda-2.2.6-emacs.patch

[Sebastien Fabbro (bicatali)]

bicatali    10/09/14 19:53:51

  Added:                50agda2-gentoo.el agda-2.2.6-emacs.patch
  Log:
  Version bump, ebuild originally from markusle (bug #303973). Also forced emacs on dependencies (thanks to ulm, bug #336741)
  
  (Portage version: 2.2_rc81/cvs/Linux x86_64)

Revision  Changes    Path
1.1                  sci-mathematics/agda/files/50agda2-gentoo.el

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/files/50agda2-gentoo.el?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/files/50agda2-gentoo.el?rev=1.1&content-type=text/plain

Index: 50agda2-gentoo.el
===================================================================
;;; agda site-lisp configuration

(add-to-list 'load-path "@SITELISP@")
(autoload 'agda2-mode "agda2.el"
          "Major mode for Agda files" t)
(unless (assoc "\\.agda" auto-mode-alist)
  (setq auto-mode-alist
        (nconc '(("\\.agda" . agda2-mode)
                 ("\\.alfa" . agda2-mode)) auto-mode-alist)))




1.1                  sci-mathematics/agda/files/agda-2.2.6-emacs.patch

file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/files/agda-2.2.6-emacs.patch?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/agda/files/agda-2.2.6-emacs.patch?rev=1.1&content-type=text/plain

Index: agda-2.2.6-emacs.patch
===================================================================
diff -Naur Agda-2.2.6/Agda.cabal Agda-2.2.6.new/Agda.cabal
--- Agda-2.2.6/Agda.cabal	2009-12-23 10:39:57.000000000 -0500
+++ Agda-2.2.6.new/Agda.cabal	2010-02-12 10:52:07.000000000 -0500
@@ -40,7 +40,6 @@
                     doc/release-notes/*.txt
 data-dir:           src/data
 data-files:         Agda.css
-                    emacs-mode/*.el
 
 source-repository head
   type:     darcs
@@ -274,15 +273,3 @@
                    -fwarn-warnings-deprecations -fwarn-deprecated-flags
                    -fwarn-dodgy-foreign-imports
                    -fwarn-wrong-do-bind -fwarn-dodgy-exports
-
-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.*
-  else
-    build-depends: base == 4.1.*,
-                   utf8-string == 0.3.*
-  build-depends:   filepath >= 1.1 && < 2,
-                   process >= 1.0.1.0 && < 2