diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2016-04-03 22:07:28 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2016-04-03 22:24:36 +0100 |
| commit | bdf8483c7e14f6ebe1fb5cf8c79ce290688f3278 (patch) | |
| tree | 700c4a8282bfbcdde82311803c34cd7f283d4d93 /sci-mathematics/agda/files | |
| parent | x11-wm/xmonad: use pkg_postinst from directly inherited eclass (diff) | |
| download | gentoo-bdf8483c7e14f6ebe1fb5cf8c79ce290688f3278.tar.gz gentoo-bdf8483c7e14f6ebe1fb5cf8c79ce290688f3278.tar.bz2 gentoo-bdf8483c7e14f6ebe1fb5cf8c79ce290688f3278.zip | |
sci-mathematics/agda: allow transformers-compat-0.4
Package-Manager: portage-2.2.28
Diffstat (limited to 'sci-mathematics/agda/files')
| -rw-r--r-- | sci-mathematics/agda/files/agda-make_install.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/sci-mathematics/agda/files/agda-make_install.patch b/sci-mathematics/agda/files/agda-make_install.patch deleted file mode 100644 index 0d008acd436b..000000000000 --- a/sci-mathematics/agda/files/agda-make_install.patch +++ /dev/null @@ -1,14 +0,0 @@ ---- 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} - |