diff options
Diffstat (limited to 'sci-mathematics/agda/files')
| -rw-r--r-- | sci-mathematics/agda/files/50agda2-gentoo.el | 10 | ||||
| -rw-r--r-- | sci-mathematics/agda/files/agda-2.2.6-emacs.patch | 27 |
2 files changed, 37 insertions, 0 deletions
diff --git a/sci-mathematics/agda/files/50agda2-gentoo.el b/sci-mathematics/agda/files/50agda2-gentoo.el new file mode 100644 index 000000000000..fd1367f727e6 --- /dev/null +++ b/sci-mathematics/agda/files/50agda2-gentoo.el @@ -0,0 +1,10 @@ +;;; 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))) + diff --git a/sci-mathematics/agda/files/agda-2.2.6-emacs.patch b/sci-mathematics/agda/files/agda-2.2.6-emacs.patch new file mode 100644 index 000000000000..c9d0493f8a80 --- /dev/null +++ b/sci-mathematics/agda/files/agda-2.2.6-emacs.patch @@ -0,0 +1,27 @@ +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 |