===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.187
retrieving revision 1.188
diff -u -p -r1.187 -r1.188
--- OpenXM/src/Makefile	2020/01/08 17:29:26	1.187
+++ OpenXM/src/Makefile	2020/03/05 00:29:44	1.188
@@ -1,4 +1,4 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.186 2019/11/12 11:00:04 kondoh Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.187 2020/01/08 17:29:26 ohara Exp $
 
 OpenXM_HOME=..
 OpenXM_contrib2=../../OpenXM_contrib2
@@ -370,7 +370,7 @@ install-for-debug:
 	(cd kan96xx; ${MAKE} install-for-debug)
 	(cd kxx; ${MAKE} install-for-debug)
 	(cd k097; ${MAKE} install-for-debug)
-	(cd ${BINDIR}; rm -f asir; ln -s ../../OpenXM_contrib2/asir2018/asir .)
+	(cd ${BINDIR}; rm -f asir; ln -s ../../OpenXM_contrib2/asir2018/.libs/asir .)
 	(cd ${BINDIR}; rm -f ox_pari; ln -s ../../OpenXM/src/ox_pari/ox_pari .)
 
 fetch: