diff options
Diffstat (limited to 'sci-mathematics/agda/files/agda-make_install.patch')
| -rw-r--r-- | sci-mathematics/agda/files/agda-make_install.patch | 14 |
1 files changed, 14 insertions, 0 deletions
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} + |