diff options
| author |   Alexandre Buisse <nattfodd@gentoo.org> | 2006-07-12 13:21:35 +0000 |
|---|---|---|
| committer | Alexandre Buisse <nattfodd@gentoo.org> | 2006-07-12 13:21:35 +0000 |
| commit | c4af995ea31f265a5e71168696536e54a27f36c3 (patch) | |
| tree | f9c09ef94e821b416a4c4bdd3856aa8732783eac /sci-mathematics/agda/files | |
| parent | QA: Added pcmcia to IUSE, as it is used by linux-mod.eclass. (diff) | |
| download | gentoo-2-c4af995ea31f265a5e71168696536e54a27f36c3.tar.gz gentoo-2-c4af995ea31f265a5e71168696536e54a27f36c3.tar.bz2 gentoo-2-c4af995ea31f265a5e71168696536e54a27f36c3.zip | |
Initial commit
(Portage version: 2.1.1_pre2-r6)
Diffstat (limited to 'sci-mathematics/agda/files')
| -rw-r--r-- | sci-mathematics/agda/files/50agda-gentoo.el | 10 | ||||
| -rw-r--r-- | sci-mathematics/agda/files/agda-make_install.patch | 14 | ||||
| -rw-r--r-- | sci-mathematics/agda/files/digest-agda-20050601 | 3 |
3 files changed, 27 insertions, 0 deletions
diff --git a/sci-mathematics/agda/files/50agda-gentoo.el b/sci-mathematics/agda/files/50agda-gentoo.el new file mode 100644 index 000000000000..dfafe7ed765c --- /dev/null +++ b/sci-mathematics/agda/files/50agda-gentoo.el @@ -0,0 +1,10 @@ +;;; agda site-lisp configuration + +(add-to-list 'load-path "@SITELISP@") +(autoload 'agda-mode "agda-mode.el" + "Major mode for Agda files" t) +(unless (assoc "\\.agda" auto-mode-alist) + (setq auto-mode-alist + (nconc '(("\\.agda" . agda-mode) + ("\\.alfa" . agda-mode)) auto-mode-alist))) + diff --git a/sci-mathematics/agda/files/agda-make_install.patch b/sci-mathematics/agda/files/agda-make_install.patch new file mode 100644 index 000000000000..0d008acd436b --- /dev/null +++ b/sci-mathematics/agda/files/agda-make_install.patch @@ -0,0 +1,14 @@ +--- Agda-1.1-cvs20050601/src/Makefile.in.old 2006-07-12 14:47:06.000000000 +0200 ++++ Agda-1.1-cvs20050601/src/Makefile.in 2006-07-12 14:47:25.000000000 +0200 +@@ -74,10 +74,9 @@ + + install_bin: emacsagda agdachecker + ${INSTALL} -d ${destdir}/bin/ ++ ${INSTALL} -d ${bindir} + cp emacsagda ${destdir}/bin/emacsagda-${VERSION} +- -rm ${destdir}/bin/emacsagda + (cd ${destdir}/bin; ln -s emacsagda-${VERSION} emacsagda) +- -(cd ${bindir}; ln -s ${destdir}/bin/emacsagda emacsagda) + # No more energy to create variants + ${INSTALL} agdachecker ${bindir} + diff --git a/sci-mathematics/agda/files/digest-agda-20050601 b/sci-mathematics/agda/files/digest-agda-20050601 new file mode 100644 index 000000000000..afb2a5c03880 --- /dev/null +++ b/sci-mathematics/agda/files/digest-agda-20050601 @@ -0,0 +1,3 @@ +MD5 0fad57e47dd4bd608fe1152b27c497c6 Agda-1.1-cvs20050601.tar.gz 411993 +RMD160 562cd4314f22f8763caa6b1ff025f96924a7fce6 Agda-1.1-cvs20050601.tar.gz 411993 +SHA256 75f7efc479f664e0cd12680af40082e93410fc130f9a2881663d54c2853b5814 Agda-1.1-cvs20050601.tar.gz 411993 |