From 016cd42226d46cd99460a7b98d2c51626685a906 Mon Sep 17 00:00:00 2001 From: fabrizio Date: Mon, 31 Oct 2011 14:26:18 +0100 Subject: [PATCH] no copy of learning algorithms subdirectories --- packages/cplint/Makefile.in | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/packages/cplint/Makefile.in b/packages/cplint/Makefile.in index d3ae95201..f8955c1a5 100644 --- a/packages/cplint/Makefile.in +++ b/packages/cplint/Makefile.in @@ -146,7 +146,8 @@ CPLINT_DOCS=\ CPLINT_LEARNING_PROGRAMS=\ $(CPLINT_SRCDIR)/em \ - $(CPLINT_SRCDIR)/rib + $(CPLINT_SRCDIR)/rib \ + $(CPLINT_SRCDIR)/slipcase all: $(SOBJS) @@ -176,7 +177,7 @@ install: all for h in $(CPLINT_SEMANTICS_PROGRAMS); do $(INSTALL_DATA) $$h $(DESTDIR)$(SHAREDIR); done $(INSTALL_PROGRAM) $(SOBJS) $(DESTDIR)$(YAPLIBDIR) $(INSTALL_PROGRAM) approx/simplecuddLPADs/LPADBDD $(SHAREDIR) - cp -R $(CPLINT_LEARNING_PROGRAMS) $(DESTDIR)$(SHAREDIR)/cplint + #cp -R $(CPLINT_LEARNING_PROGRAMS) $(DESTDIR)$(SHAREDIR)/cplint cp $(CPLINT_SRCDIR)/em/*.pl $(DESTDIR)$(SHAREDIR)/cplint/ cp $(CPLINT_SRCDIR)/rib/*.pl $(DESTDIR)$(SHAREDIR)/cplint/ cp $(CPLINT_SRCDIR)/slipcase/*.pl $(DESTDIR)$(SHAREDIR)/cplint/