From 8ee9cc2d492f7b085104798d5a34bd9545a4844b Mon Sep 17 00:00:00 2001 From: Fabrizio Riguzzi Date: Thu, 9 Sep 2010 17:27:28 +0200 Subject: [PATCH] fixed a bug in make install (loop) with --enable-cplint --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 7fa6f5002..318f9939f 100755 --- a/Makefile.in +++ b/Makefile.in @@ -577,7 +577,7 @@ install_unix: startup.yss libYap.a $(INSTALL) config.h $(DESTDIR)$(INCLUDEDIR)/config.h $(INSTALL) parms.h $(DESTDIR)$(INCLUDEDIR)/parms.h @ENABLE_CPLINT@ (cd packages/cplint; $(MAKE) install) - @ENABLE_CPLINT@ (cd packages/cplint/simplecuddLPADs; $(MAKE) install) + @ENABLE_CPLINT@ (cd packages/cplint/approx/simplecuddLPADs; $(MAKE) install) @USE_CUDD@ (cd packages/ProbLog/simplecudd; $(MAKE) install)