blob: 0d008acd436b299ca075de7ab5c15b14a1ff75d4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
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}
|
GitWeb
